I keep hearing how type systems are supposed to help us work on large projects, but every "advanced" typed language I've ever encountered has very slow compile times that scale super-linearly with project size.
-
-
Replying to @BrandonBloom
Ocaml has fast compile times. I think this phenomenon, while real, is mostly because people build fancy type systems and advanced AOT compilers together, even though there's not a principled connection.
1 reply 1 retweet 13 likes -
I'm reasonably sure now that there's no reason that, say, a dependent type checker, has to be slow. But at the moment we're more interested in the research side (that is, what we can do with fancy types) than the engineering necessary to make them work really well.
1 reply 0 retweets 5 likes
Replying to @edwinbrady @samth and
See for examplehttps://github.com/AndrasKovacs/smalltt …
0 replies
0 retweets
3 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.