Tony Morris

@djspiewak @debasishg what do you mean by "catamorphic encoding"? i can has gist plz?

@mergeconflict @djspiewak @debasishg fold vs. pattern matching.

@jsuereth I understand that. I'm asking e.g. what would Either look like without case classes? /cc @djspiewak @debasishg

@mergeconflict @jsuereth @debasishg http://pastebin.com/nXv6UHZ3 

@djspiewak @mergeconflict @jsuereth @debasishg So using a virtual fold method instead of pattern matching, then?

@crstry @mergeconflict @jsuereth @debasishg Yes. That is the catamorphic encoding of an ADT.

@djspiewak @crstry @mergeconflict @jsuereth It's inefficiency is due to the overhead of closures on the JVM ? Subtyping will be faster ?

@debasishg @crstry @mergeconflict @jsuereth .@nuttycom came up with a clever hack to avoid *some* of this overhead, but not all.