[CakeML-Dev] tupled or curried functions in library?
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...
More information about the Developers