stand-in-language:一种简单的完全纯函数式语言，最终具有强大的静态检查和优化功能

站立语言 不可转换的完整语言，可帮助您推断终止时间和其他指标 具有简单语法的虚拟机是从简单类型的lambda演算演化而来的，最终将具有强大的静态检查和优化的后端。 警告 该项目正在积极发展中。 不要指望错误和一般的麻烦，如果不存在任何问题，请通过创建一个新问题通知我们。 快速开始 克隆此存储库并更改目录： $ git clone https://github.com/sfultong/stand-in-language.git $ cd stand-in-language ： $ curl https://nixos.org/nix/install | sh 输入Nix外壳。 这将建立一个环境，所有外部的依赖关系将可用（如cabal建筑）： $ nix-shell shell.nix 构建proyect： $ cabal v2-build 运行tictactoe示例并开始与朋友一起玩：