An implementation of Gradual Typing for Functional Languages.
I started writing this on International Cat Day and decided to name the repo meow
;).
Some meow-difications from the paper:
- "meow", "πΊ", "πΈ", "πΉ", "π»", "πΌ", "π½", "π", "πΏ", "πΎ" are aliases for the
?
type - "meow", "πΊ", "πΈ", "πΉ", "π»", "πΌ", "π½", "π", "πΏ", "πΎ" are also commands! They print out a random cat emoji ;)
You will need sedlex and menhirLib to build the project (in addition to the OCaml toolchain of course, >= 14.4.0).
Evaluate file:
dune exec bin/main.exe -- examples/<name-of-file>
Only run the typechecker
dune exec bin/main.exe -- examples/<name-of-file> --typecheck
Dump Cast AST
dune exec bin/main.exe -- examples/<name-of-file> --dump-cast