12 Jan
2009
12 Jan
'09
10:30 a.m.
Am Montag, 5. Januar 2009 01:53 schrieb ajb@spamcop.net:
I'm curious if anyone has tried restructuring MTL with coproducts rather than transformers. Coproducts seem more "natural", if slightly harder to write.
Don’t know about coproducts but it sounds interesting. ;-) Do coproducts provide a way to compose different kinds of effects (state transformations, environment dependencies, etc.)? I always found it a bit annoying that types like StateT don’t cover just one concept but two: a specific effect (state transformations in this case) and composition of effects. Best wishes, Wolfgang