自作言語
第1世代コンパイラは F# で実装する
code: fact.mylang
fn fact(n: number) -> number {
if n > 0 then n * fact(n - 1) else 1
}
Rust のような構文
JavaScript (ES Modules) にコンパイルして実行する
静的型付け
メソッド呼び出し構文
code: min.
代数的データ型、レコード、タプル、パターンマッチ
型パラメータ、トレイト
コンピュテーション式