@yoshuawuyts No, people will not wrap all their functions in a class block. That's silly! @Vjeux
-
@Vjeux And yes, local type inference or better wins. No need to over-annotate.@yoshuawuyts
@BrendanEich @Vjeux I've done just enough Haskell to see why a strict type system makes sense. Wish we could get rid of JSdoc signatures.
-
-
@yoshuawuyts Confusion: Haskell has "non-strict" (lazy) evalution. But I grok you. Haskell demands writing the proof for the program.@Vjeux -
@yoshuawuyts Pet peeve moment: No need for "strong","strict", &c. in front of "type system". Soundness is implied by those two words.@Vjeux - 4 more replies
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.