Re:The Ergonomics of Type Checking (2016)
by iitalics on Saturday October 28, 2017 @08:52PM
(#15577495)
> I wish I had a language that did optional typing
> they exist, but I don't use them.
:/
The author's thoughts (I want to write dynamically to get the code working, but then make it static afterwards) are nearly the exact thing I've heard from Matthias Felleisen when he talks about the motivation behind Typed Racket.
> they exist, but I don't use them.
:/
The author's thoughts (I want to write dynamically to get the code working, but then make it static afterwards) are nearly the exact thing I've heard from Matthias Felleisen when he talks about the motivation behind Typed Racket.