语法框架（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存储库被一分为二：

1. gf-芯-GF编译器、shell和运行时
2. 绿色荧光灯-资源文法库

以前的存储库现在已存档，不再更新。拆分使用这个脚本该脚本的输出是在这里.