跳到内容

语法框架/gf-core

存储库文件导航

GF徽标

语法框架(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. 绿色荧光灯-资源文法库

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