catamporphisms

What is a catamorphism and can it be implemented in C# 3.0?

I'm trying to learn about catamorphisms and I've read the Wikipedia article and the first couple posts in the series of the topic for F# on the Inside F# blog. I understand that it's a generalization of folds (i.e., mapping a structure of many values to one value, including a list of values to another list). And I gather that the fold-...

Scala type inference question

I was just pottering about with Tony Morris' excellent exercise on catamorphisms, when I was pondering what was happening in the following situation... def cata[X](some: A => X, none: => X): X Let me now call this method as follows: def isDefined: Boolean = cata( _ => true, false) I was wondering whether the type inferencer determi...