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