Static typing is a Faustian bargain, but I think I’m slowly starting to prefer it over dynamic typing
@ReinH Rust is my first real, legitimate interaction with modern type inference. I wish rustc had better error messages but seems ok
-
-
@bascule Recommend you try something like Agda, Idris, or Coq just to get an idea of what is out there on the edges of type system power. -
@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.