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

Ramana Kumar Ramana.Kumar at cl.cam.ac.uk
Tue Nov 22 21:55:32 UTC 2016


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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.cakeml.org/pipermail/developers/attachments/20161123/0f57285b/attachment.html>


More information about the Developers mailing list