tomstuart

30 ms·

331.
by tomstuart 17y ago
It depends what you mean by "type theory", but you're right. See Pierce for a more practical introduction. "Proofs and Types" is more fundamental and focuses on the interplay between the operational semantics of the underlying language and
332.
by tomstuart 17y ago
I strongly recommend "Proofs and Types" ( http://www.PaulTaylor.EU/stable/Proofs%2BTypes.html ), which has the added advantage of being free.
333.
by tomstuart 17y ago
Jesus Quintana.
334.
by tomstuart 17y ago
Occasionally I am in desperate need of a similar service: I might need a particular kind of screwdriver, for example, and therefore want to know the nearest store that sells exactly that item (and ideally has it in stock). As far as I can t
335.
by tomstuart 17y ago
It's a well-known word for Earth in English, too.
336.
by tomstuart 17y ago
More relevant now than ever, but note that these slides are ~4 years old.
337.
by tomstuart 17y ago
Serious question: do people still use Subversion? Everyone I know has moved to some kind of DVCS, with Git being the clear frontrunner. Are there large, dark pockets of Subversion users still out there?
338.
by tomstuart 17y ago
The simplest program that outputs these numbers is the program that outputs these numbers, so it doesn't output anything next.
339.
by tomstuart 17y ago
Slides are at http://experthuman.com/files/thinking-functionally-in-ruby.p... if you'd prefer. Apologies for the point in the video where I answer in the affirmative a question about whether foldr is "the same as" foldl over the reversed
340.
Thinking Functionally in Ruby [video](skillsmatter.com)
4 points by tomstuart 17y ago|1 comments
341.
by tomstuart 17y ago
Not sure they should've let Patrick Bateman narrate the video. "This is Sussudio, a great, great song, a personal favorite."
342.
by tomstuart 17y ago
Yeah, this turns me right off too. Largely because I wouldn't want to work with people who found this kind of thing cute. A job ad with well-written English is much more impressive.
343.
by tomstuart 17y ago
I'm guessing the ultimate punchline is going to be Customer Development: http://www.slideshare.net/sblank/customer-development-at-sta...