Python 1.6 The balanced language

Neel Krishnaswami neelk at brick.cswv.com
Thu Aug 31 22:21:46 EDT 2000


Neel Krishnaswami <neelk at brick.cswv.com> wrote:
> 
> The equivalent  definition in ML would be something like
> 
> datatype 'a Sizedlist = Empty | Cons(int, 'a, 'a Sizedlist);

This should really be

  datatype 'a Sizedlist = Empty | Cons of (int * 'a * 'a Sizedlist)

I originally wrote this in Haskell and failed to convert to ML
correctly. Sorry for the error.


Neel



More information about the Python-list mailing list