@clementd @yoeight @mandubian You mean the type system that unnecessarily and trivially allows incorrect programs?
@mandubian @yoeight @clementd No it definitely isn't. You have bought into a common fallacy.
-
-
-
@mandubian@yoeight@clementd No I only believe things that are true. - Show 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.