[Haskell-cafe] a beginner question: decorate-op-undecorate
stephen.tetley at gmail.com
Sat Feb 6 03:29:16 EST 2010
Changing to an explicit sum type rather than using Either might
subsequent functions that process a Binding cleaner:
data Binding = BoundVar Var Value
| PossiblyBound Var [Value]
Naturally you might want to consider a better constructor name than
As an open question to the list - the above change can be seen as a
'denormalisation' of the data type (adding redundancy), does anyone
know of a reference that covers such things?
The only thing I can think of close is David S. Wile's "Abstract
syntax from concrete syntax"...
More information about the Haskell-Cafe