[Haskell-cafe] Rigid types fun

Mitar mmitar at gmail.com
Sat Nov 6 01:37:02 EDT 2010


On Fri, Nov 5, 2010 at 4:01 PM, Tillmann Rendel
<rendel at informatik.uni-marburg.de> wrote:
> Note that newNerve does not take Axons, but rather monadic actions which
> create Axons. Now, you can use something like
>  nerve <- newNerve newAxon newAxonAny
> to create a concrete nerve.

Thanks! I decided for this approach. It seems to me the nicest. Simple
and allows me to later redefine Nerve and Axon without breaking stuff


More information about the Haskell-Cafe mailing list