prog

Typed racket

5 2018-11-03 10:06

>>4
Basically what >>3 said.

The size of your executable is due to the fact that racket has to embed all the compile-time dependencies of typed racket.

With constructs like eval (or user input) it's not enough to check types at compile-time.