If CS education balanced Church with Turing (machines), there might be less misunderstanding. Type systems do not violate Rice's theorem.
-
-
@dibblego I was inspired by Zed, but there have been many other similar instances -
@copumpkin inspired in our ways, like being saved from null by a data type? :)
End of conversation
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.