[Haskell-cafe] Re[2]: Rigid types fun

Bulat Ziganshin bulat.ziganshin at gmail.com
Fri Nov 5 07:12:03 EDT 2010


Hello Mitar,

Friday, November 5, 2010, 2:08:52 PM, you wrote:

> I would like to call it like "create (Axon undefined) (AxonAny
> undefined)" and get in that case "Nerve (Axon a) (AxonAny b)" as a
> result. If I would call it like "create (AxonAny undefined) (AxonAny
> undefined)" I would get "Nerve (AxonAny a) (AxonAny b)" as a result.
> And so on.

look into HsLua sources. it does something like you asking (converting
return type into sequence of commands) so it mau be what you are
looking for. it uses typeclasses for this effect. the same technique
used in haskell printf implementation afaik

-- 
Best regards,
 Bulat                            mailto:Bulat.Ziganshin at gmail.com



More information about the Haskell-Cafe mailing list