"You're going to write it in Haskell? Isn't that a bit mainstream for you?" - these students have got to know me quite well, apparently.
@silverspoon I like to say a type is a means of classifying related values. But if you ask 100 people you'll get at least 101 definitions.
-
-
@edwinbrady yes, this why I started to turn to literature, and it turns out that there aren't that many quotable definitions -
@silverspoon I quite like "A type is a collection of computational entities that share some common property" from CPL http://theory.stanford.edu/people/jcm/books.html … - 1 more reply
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.