Sun Nov 24 23:04:59 EST 2019
The epid idea
Replaces pattern matching with functions, and thus makes things
I.e. in some sense, the tags are "pre-matched".
EDIT: I heard this expressed before: replace pattern matching by
folds. That is generic folds, where each constructor is associated to
a case. Supposedly that would make things compositional.
I think this here is the same idea: patter matching is replaced by
constructor lookup. And all we do really is emulate the sum part of
an algebraic type.
EDIT: It is actually very similar to ws.erl objects. This is truly a