[Haskell-cafe] Dispatching user code at runtime, injecting appropriate typeclass instances into user code scope
permeakra at gmail.com
Thu May 16 07:52:17 UTC 2019
reflection is about selecting a type instance of a typeclass that is known
to exist over type. Completely different thing.
Monads ... I guess, using monadic context in some way is an option, but not
exactly what I have in mind. Still, worth looking into.
On Thu, 16 May 2019 at 10:20, Georgi Lyubenov <godzbanebane at gmail.com>
> It seems like the "extensible" parts you want is something similar to most
> extensible effects stuff. Perhaps check out the "Member stuff" from the
> "Freer Monads, More Extensible Effects" paper and some EE libraries
> (freer-simple, fused-effects, polysemy)? Also, if you want runtime
> typeclasses reflection <http://hackage.haskell.org/package/reflection> can
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe