Static typing is a Faustian bargain, but I think I’m slowly starting to prefer it over dynamic typing
@ReinH I’ve been looking at (but not using) dependent types, specifically in Idris
-
-
@bascule Cool. Also check out TaPL if you haven't yet. http://www.cis.upenn.edu/~bcpierce/tapl/ -
@bascule There's also Advanced Topics in TaPL which digs into dependent types more.
End of conversation
New conversation -
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.