文件名称：Formality-Core:形式证明和编程语言的规范
文件大小：54KB
文件格式：ZIP
更新时间：2024-05-15 01:58:56
programming-language lambda-calculus type-system funcional-programming formality
形式核心 一种轻量级的证明语言。 安装 Formality-Core具有多个参考实现。 当前，最容易安装的使用JavaScript。 首先，在系统中 。 然后，在命令行上键入： npm -g formality-core 。 如果一切顺利，则应该可以通过fm命令访问该语言。 使用 要使用它，请保存一个.fm文件。 例如，将以下文件另存为main.fm ： main : -> A -> A (x) x 并键入fm main 。 这应该输出： Type-checking main.fm: main : -> A -> A All terms check. Evaluating `main`: (x) x 您也可以将.fm文件编译为JavaScript。 首先，运行fm生成.fmc 。 然后，运行fmcjs main 。 您也可以使用fm
【文件预览】：
Formality-Core-master
----Whitepaper.md(25KB)
----LICENSE(1KB)
----README.md(1KB)
----javascript()
--------FormalityToJS.js(8KB)
--------FormalityInet.js(15KB)
--------FormalityOptx.js(7KB)
--------FormalityComp.js(6KB)
--------FormalityCore.js(15KB)
--------FormalityLang.js(41KB)
--------Formality.js(334B)
--------FormalitySynt.js(27KB)
--------bin()
--------package.json(451B)
----fm_in_fm_test.js(530B)
----python()
--------FormalityCore.py(9KB)
--------example.py(229B)
----haskell()
--------FormalityCore.hs(25KB)