Well then, the expression problem. The guys who created scala and OCaml have opinions about this, no surprise (why not OOP and typeclasses? http://stackoverfl

Well then, the expression problem. The guys who created scala and OCaml have opinions about this, no surprise (why not OOP and typeclasses? http://stackoverflow.com/questions/2807629/handling-incremental-data-modeling-changes-in-functional-programming http://stackoverflow.com/questions/2807629/handling-incremen... (message 20) http://groups.google.com/group/scala-debate/browse_frm/thread/96193eacf013a103/ http://groups.google.com/group/scala-debate/browse_frm/threa... http://lambda-the-ultimate.org/node/4400 http://lambda-the-ultimate.org/node/4400 --------------- and "ADT" i think real world haskell is correct in reservign this for abstract data types http://book.realworldhaskell.org/read/defining-types-streamlining-functions.html#deftypes.adt http://book.realworldhaskell.org/read/defining-types-streaml...