文件名称：FormCoreJS:基于自相关类型的最小纯函数式语言
文件大小：27KB
文件格式：ZIP
更新时间：2024-05-17 14:57:11
JavaScript
FormCoreJS FormCore的纯JavaScript，无依赖项，700-LOC实现，这是一种具有归纳推理功能的最小证明语言。 它是的核心。 它可以编译为超快速JavaScript和Haskell。 其他后端即将推出。 用法 使用npm i -g formcore-js 。 键入fmc -h以查看可用的命令。 fmc file.fmc ：检查file.fmc所有类型 fmc file.fmc --js main ：编译main上file.fmc给JavaScript 作为图书馆： var {fmc} = require("formcore-js"); fmc.report(` id : @(A: *) @(x: A) A = #A #x x; `); 什么是FormCore？ FormCore是基于自相关类型的最小纯函数式语言。 本质上，它是能够通过归纳推理证明定理的
【文件预览】：
FormCoreJS-master
----FormCore.js(19KB)
----package.json(525B)
----FmcToJs.js(64KB)
----example.fmc(634B)
----libs.js(125B)
----FmcToHs.js(24KB)
----main.js(2KB)
----README.md(5KB)