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

[Bulat Ziganshin]

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