文件名称：cubiml-demo:一种简单的类似于ML的编程语言，带有子类型和完整类型推断
文件大小：307KB
文件格式：ZIP
更新时间：2024-05-04 11:08:09
programming-language type-inference Rust
Cubiml是一种简单的类似于ML的编程语言，具有子类型和完整类型推断。 您可以在的浏览器中在线尝试。 Cubiml使用三次均一化，这是一种基于类型化的更快，更简单的类型推断算法。 Cubiml并非旨在独自使用，而是用作实现三次二元化的教程，因此具有故意最小的功能集。
用法
您可以在浏览器中通过在线试用cubiml。
Cubiml快速浏览
Cubiml语法大部分是Ocaml语法的子集。 如果您不熟悉Ocaml语法，请查看下面的指南。
有条件的
在cubiml中， if是表达式，而不是语句。 一般形式是if
【文件预览】：
cubiml-demo-master
----rustfmt.toml(16B)
----pkg()
--------cubiml_demo_bg.wasm(892KB)
--------cubiml_demo.js(5KB)
----Cargo.toml(800B)
----src()
--------spans.rs(4KB)
--------main.rs(620B)
--------grammar.lalr(8KB)
--------utils.rs(466B)
--------ast.rs(2KB)
--------codegen.rs(10KB)
--------lib.rs(3KB)
--------js.rs(10KB)
--------core.rs(10KB)
--------typeck.rs(23KB)
--------reachability.rs(2KB)
----README.md(16KB)
----LICENSE_MIT(1KB)
----tests()
--------web.rs(251B)
----demo.js(8KB)
----.gitignore(90B)
----LICENSE_APACHE(9KB)
----demo.html(293B)