Static typing is a Faustian bargain, but I think I’m slowly starting to prefer it over dynamic typing
@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 -
-
-
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.