[<<][softarch][>>][..]

Sun Nov 24 23:04:59 EST 2019

The epid idea

Replaces pattern matching with functions, and thus makes things
compositional.

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
unifier!

[Reply][About]

[<<][softarch][>>][..]