[CakeML-Dev] tupled or curried functions in library?

[Konrad Slind]

I agree. It would also be nice to provide a "good" subset
of the Basis Library functionality, albeit in curried form. At
the least, this would let you re-use the Basis Library documentation,
lightly edited to match the currying.

Konrad.


On Tue, Nov 22, 2016 at 4:01 PM, Scott Owens <S.A.Owens at kent.ac.uk> wrote:

> I say we go for curried, for the reasons you mention.
>
> Scott
>
> > On 2016/11/22, at 21:55, Ramana Kumar <Ramana.Kumar at cl.cam.ac.uk> wrote:
> >
> > The SML basis library usually provides tupled functions (e.g., List.take
> : 'a list * int -> 'a list). For CakeML, should we follow this style, or
> would it be better to go for curried style ('a list -> int -> 'a list)? I
> think curried fits better with HOL style and the translator and probably
> leads to better code with our current compiler.
> > _______________________________________________
> > Developers mailing list
> > Developers at cakeml.org
> > https://lists.cakeml.org/listinfo/developers
>
>
> _______________________________________________
> Developers mailing list
> Developers at cakeml.org
> https://lists.cakeml.org/listinfo/developers
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.cakeml.org/pipermail/developers/attachments/20161122/c22e56d7/attachment.html>