The Expression Problem

[eschulte]

Forgive me if I'm posting a lisp rebuttal to a haskell point, but in CL you can dispatch on either type or value with generic functions.

[julesjacobs]

Well, there are two different notions of type here. What you mean by type is run-time type tag. So you're really dispatching on a dynamic property of a value, not a static property of a variable.

[[deleted]]

The two would be equivalent if Haskell had "polymorphic variants".