we

There's a blog post about the report: www.belshe.com/2010/03/31/how-to-tune-a-porsche/  

I wonder how the authors would respond to that.

http://www.cs.nott.ac.uk/~gmh/book.html#slides

It's so cool to hear Erik saying that explicit recursion can be abstracted. I can't wait to see you mention the paper "Functional programming with bananas, lenses, envelopes and barbed wire"!

The factorial function defined with the (n+k) pattern will not go into an infinite loop when given a negative number. (n+k) patterns only match with numbers >=k. So you would rather get an exception about non-exhaustive patterns.

Great lecture.

Although functional programming can do multi-dispatching better, it has its own weaknesses in the expression problem.

I like how you digress and discuss about topics not typically seen in textbooks. Regarding intellisense, I think we can limit the candidate functions to those imported.