3 ms·
Guy L. Steele: "Don't you think it is ironic that type theorists who want to talk about strongly typed languages talk to themselves with an untyped language" h
by ceving 3y ago
Guy L. Steele: "Don't you think it is ironic that type theorists who want to talk about strongly typed languages talk to themselves with an untyped language"
https://youtu.be/dCuZkaaou0Q?feature=shared&t=539 https://youtu.be/dCuZkaaou0Q?feature=shared&t=539
- ozr 3y agoThere's been innumerable runtime errors, both tiny and world-altering, as a result.
- mrkeen 3y agoNo I don't. Now go and rewrite your dynamic language's runtime in a dynamic language.
- hayley-patton 3y agoGladly! https://github.com/robert-strandh/SICL https://github.com/robert-strandh/SICL (which I wrote a decent chunk of the compiler backend of.)