3 ms·
Matthias Felleisen, one of the developers of Racket, recently gave a talk about the motivation behind typed Racket; it can be found here: https://www.youtube.co
by jhck 10y ago
Matthias Felleisen, one of the developers of Racket, recently gave a talk about the motivation behind typed Racket; it can be found here: https://www.youtube.com/watch?v=XTl7Jn_kmio https://www.youtube.com/watch?v=XTl7Jn_kmio
- metaobject 10y agoI wonder if you could do something like prototype in dynamic (original, if you will) racket and then release in typed racket for performance/safety reasons.
- Profan 10y agoI think that was one of the purposes of Rackets typesystem, to fit idiomatic Racket code well enough that you wouldn't have to rewrite most of it to introduce static typing to a Racket program.
- stchang 10y agoMinor correction, Matthias created Racket.
- hellofunk 10y agoExcellent talk. Nice to see it a Clojure conference. The points near the end about contracts vs. types was enlightening.