a mincaml port written in Rust
| mincaml | mincaml-rs | description | 概要 |
|---|---|---|---|
syntax.ml |
syntax/src/lib.rs |
syntax definition | 構文定義 |
lexer.mll |
parser/src/lexer |
lexer implementation | 字句解析器 |
parser.mly |
parser/src/parser |
parser implementation | 構文解析器 |
type.ml |
ty/src/lib.rs |
type definition for ast | 構文木のための型定義 |
typing.ml |
typing/src/lib.rs |
type inference | 型推論 |
| - | ir_typed_ast/ |
typed syntax tree | 型推論後の構文木 |
kNormal.ml |
ir_knorm/src/{syntax, lowering}.rs |
K-normalisation | K 正規化 |
alpha.ml |
typing/src/name_res.rs, ir_knorm/src/alpha_rename.rs |
name resolution, alpha renaming | 名前解決 (α変換) |
beta.ml |
ir_knorm_passes/src/beta_convert.rs |
β-reduction | β簡約 |
assoc.ml |
ir_knorm_passes/src/let_flatten.rs |
A-normalisation | A 正規化 |
inline.ml |
ir_knorm_passes/src/inlining.rs |
inlining | インライン化 |
constFold.ml |
ir_knorm_passes/src/constant_fold.rs |
constant folding | 定数畳み込み |
elim.ml |
ir_knorm_passes/src/eliminate_unused.rs |
Elimination of Unnecessary Definitions | 不要な束縛の除去 |
closure.ml |
ir_closure/src/{syntax, lowering}.rs |
closure conversion | クロージャ変換 |
main.ml |
main/src/main.rs |
main entrypoint | main 関数 |
Licensed under either of
- Apache License, Version 2.0 (LICENSE-APACHE or http://www.apache.org/licenses/LICENSE-2.0)
- MIT license (LICENSE-MIT or http://opensource.org/licenses/MIT)
at your option.
Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in the work by you, as defined in the Apache-2.0 license, shall be dual licensed as above, without any additional terms or conditions.