If CS education balanced Church with Turing (machines), there might be less misunderstanding. Type systems do not violate Rice's theorem.
-
-
Replying to @copumpkin
@copumpkin Where is the misunderstanding, besides "everywhere"?1 reply 0 retweets 0 likes
Replying to @copumpkin
@copumpkin inspired in our ways, like being saved from null by a data type? :)
2:37 PM - 16 Sep 2012
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.