Rigid types fun
bulat.ziganshin at gmail.com
Fri Nov 5 07:12:03 EDT 2010
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
Bulat mailto:Bulat.Ziganshin at gmail.com
More information about the Glasgow-haskell-users