Currently Teika has two typing modes, inference and checking, as in a traditional bidirectional type system, but because Teika will support unification this can be done in a single mode, by having everything be in checked mode. This is also similar to how OCaml does typing in general.
Warning
This is still broken and will be fixed in a future PR.
Goals
A checker with a single typing mode.
Context
Currently Teika has two typing modes, inference and checking, as in a traditional bidirectional type system, but because Teika will support unification this can be done in a single mode, by having everything be in checked mode. This is also similar to how OCaml does typing in general.
Warning
This is still broken and will be fixed in a future PR.