No type system is better than an unsound type system. We expect software to be honest and not lie.
Replying to @AliceLikesBob
.@AliceLikesBob Yeah, worded badly. I mean if you have an unsound type system it would be better to have no type system at all.
12:25 AM - 6 Nov 2013
0 replies
1 retweet
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.