How many of our JS bugs could have been caught by a type system? Only all of them. But it's probably not worth it.
-
-
Replying to @johnnycbadde
@johnnycbadde@purefn isn't that another silly one with broken variance, a fact proved in Coq, a decent type system?4 replies 0 retweets 0 likes
Replying to @johnnycbadde
@johnnycbadde @purefn Yes and I too once thought that punching a 9 year old was morally superior to punching a 7 year old.
2:34 PM - 11 Dec 2013
0 replies
0 retweets
0 likes
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.