4 ms·
Life goal: outlive dynamic type checking.
by dogfishbar 6y ago
Life goal: outlive dynamic type checking.
- rscho 6y agoWelcome to Racket, then: https://www.google.com/url?sa=t&source=web&rct=j&url=https://www.ccs.neu.edu/home/stchang/pubs/ckg-popl2017.pdf&ved=2ahUKEwiwy8212LbuAhUP_KQKHc9PCLsQFjAAegQIARAB&usg=AOvVaw2dG6VNUS-pOHGw0ojEVXpJ https://www.google.com/url?sa=t&source=web&rct=j&url=https:/...
- gus_massa 6y agoThe Racket distribution has many languages, so you can use Typed Racket instead https://docs.racket-lang.org/ts-guide/quick.html https://docs.racket-lang.org/ts-guide/quick.html