Lil' Fun Langs

LOC Host HM ADTs Match Cl. Target Hirrolot's CoC src ~70 OCaml ✗ ✗ ✗ ✓ Interpreter Harrop MiniML src ~100 OCaml ✗ ✗ ✗ ✗ LLVM → native Algorithm W src ~300 Haskell ✓ ✗ ✗ ✗ Type checker only tomprimozic/type-systems src ~300 OCaml ✓ ✗ ✗ ✗ Type checker only lambda-calculus-hs src ~200–900 Haskell ✗ ✓ ✓ ✓ Interpreter THIH src ~429 Haskell ✓ ✓ ✓ ✗ Type checker only Simple-sub src ~500 Scala ✓ ✗ ✗ ✓ Typ

[tybalt]

小さい言語実装のリスト