@bascule optional typing
-
-
-
@stevedekorte I am a big fan of gradual typing. Start more agile/dynamic for agility, then pave the cowpaths -
@bascule so what do you think about Dart? /c@stevedekorte -
@jc00ke@stevedekorte I’d probably rather use TypeScript, especially when TS* has dependent types /cc@ReinH -
@bascule@jc00ke@stevedekorte@ReinH TypeScript has subtyping and polymorphism without a notion of variance, which seems troubling -
@bschroed@jc00ke@stevedekorte@ReinH TypeScript also lacks non-nullable types :(
End of conversation
New conversation -
-
-
@bascule Yes, embrace the dark side. -
@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 -
-
-
@bascule it’s like that point w/ a shell script when you say “Ok, this needs to be in ruby/python/etc” only for ruby/python/etc.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@bascule C# is quite a pleasure to write, lots of features from scripted languages, but i can’t stand brackets.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.