<div dir="ltr">I agree. It would also be nice to provide a "good" subset<div>of the Basis Library functionality, albeit in curried form. At</div><div>the least, this would let you re-use the Basis Library documentation,</div><div>lightly edited to match the currying.</div><div><br></div><div>Konrad.</div><div><br></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Nov 22, 2016 at 4:01 PM, Scott Owens <span dir="ltr"><<a href="mailto:S.A.Owens@kent.ac.uk" target="_blank">S.A.Owens@kent.ac.uk</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I say we go for curried, for the reasons you mention.<br>
<br>
Scott<br>
<span class=""><br>
> On 2016/11/22, at 21:55, Ramana Kumar <<a href="mailto:Ramana.Kumar@cl.cam.ac.uk">Ramana.Kumar@cl.cam.ac.uk</a>> wrote:<br>
><br>
> 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.<br>
</span>> ______________________________<wbr>_________________<br>
> Developers mailing list<br>
> <a href="mailto:Developers@cakeml.org">Developers@cakeml.org</a><br>
> <a href="https://lists.cakeml.org/listinfo/developers" rel="noreferrer" target="_blank">https://lists.cakeml.org/<wbr>listinfo/developers</a><br>
<br>
<br>
______________________________<wbr>_________________<br>
Developers mailing list<br>
<a href="mailto:Developers@cakeml.org">Developers@cakeml.org</a><br>
<a href="https://lists.cakeml.org/listinfo/developers" rel="noreferrer" target="_blank">https://lists.cakeml.org/<wbr>listinfo/developers</a><br>
</blockquote></div><br></div>