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

Scott Owens S.A.Owens at kent.ac.uk
Tue Nov 22 22:01:46 UTC 2016

I say we go for curried, for the reasons you mention.


> 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

More information about the Developers mailing list