"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.
-
-
Replying to @edwinbrady
@edwinbrady@_minuteman3 When are you visiting us here in Dublin Edwin? :D1 reply 0 retweets 0 likes -
Replying to @silverSpoon
@silverspoon I was there over Christmas but that doesn't help very much…@_minuteman31 reply 0 retweets 0 likes -
Replying to @edwinbrady
@edwinbrady lol, no, but when you are about again :D@_minuteman31 reply 0 retweets 0 likes -
Replying to @silverSpoon
@silverspoon No idea at the minute but I'll let you know next time I'm around…@_minuteman32 replies 0 retweets 0 likes -
Replying to @edwinbrady
@edwinbrady very OT, but what do you think is a good definition of "Type" in PL, the only one I found so far is Cardelli's1 reply 0 retweets 0 likes -
Replying to @silverSpoon
@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.1 reply 0 retweets 0 likes -
Replying to @edwinbrady
@edwinbrady yes, this why I started to turn to literature, and it turns out that there aren't that many quotable definitions1 reply 0 retweets 0 likes
@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 …
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.