3 ms·
Typed Racket's static-dynamic is due to its module system: modules allow for seperate compilation, and the type-checker accepts accepts fully typed modules, not
by mahmud 14y ago
Typed Racket's static-dynamic is due to its module system: modules allow for seperate compilation, and the type-checker accepts accepts fully typed modules, not mix-code fragments.
However, Siek's Gradual Typing does handle mix-type expressions at finer-grain.
- samth 14y agoYou can use the `with-type` form to embed typed expressions in larger untyped modules in Racket. Also, submodules let you accomplish more of this as well, without needing to put your modules in separate files.