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

[Evgeny Permyakov]

Hi.
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>
wrote:

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