语法框架(GF) 语法框架是一种基于类型理论的语法形式主义。它包括: 一种专用编程语言 语言的编译程序 通用语法处理器 编译器从用户提供的文件中读取GF语法通用语法处理器使用语法执行各种任务: 一代 解析 翻译 类型检查 计算 释义 随机生成 语法编辑 GF特别关注语法的四个方面: 多语言(不同语言的并行语法) 语义(良好形式的语义条件,表达式的语义特性) 语法工程(模块化、抽象、库) 在用其他语言(C、C++、Haskell、Java、JavaScript)编写的程序中的可嵌入性 编译和安装 从源代码安装GF的最简单方法是使用以下命令: 电缆安装 或: 烟囱安装 请注意,如果您不幸运使用Cabal 3.0或更高版本,则使用所谓的尼克斯风格命令。将这些用于GF开发是疼痛。每次更改源代码中的内容时,Cabal将为GF生成一个新文件夹,以查找GF库和GF云。在中的每个更改后重新安装所有内容编译器,或者保持理智,停止使用cabal-install。相反,您可以: runghc Setup.hs配置runghc Setup.hs内部版本sudo runghc Setup.hs安装 该脚本将全局安装GF依赖项。唯一的解决方案我发现尼克斯的疯狂是激进的: “没有人,没有问题”(。 有关更多信息,包括指向预编译二进制文件的链接,请参阅下载页面. 关于此存储库 2018年7月25日GF存储库被一分为二: gf-芯-GF编译器、shell和运行时 绿色荧光灯-资源文法库 以前的存储库现在已存档,不再更新。拆分使用这个脚本该脚本的输出是在这里.