[Haskell-cafe] Dispatching user code at runtime, injecting appropriate typeclass instances into user code scope

Evgeny Permyakov 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>

> Hi,
> 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
> help.
> =======
> Georgi
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20190516/2bf4de15/attachment.html>

More information about the Haskell-Cafe mailing list