Re: [isabelle] Curried and uncurried parameters in Scala

Hi Cornelius,

as you have found out experimentally, the number of arguments to a
function which are passed tupled rather than curries is determined by
the number of arguments to the underlying code equations.  E.g.

lemma [code]:
  "f x y z = …"

has three tupled parameters, potential remaining parameters curried, but

lemma [code]:
  "f = …"

has only curried parameters.

If you are working on a Scala-only environment, you should indeed
declare your code equations accordingly.  Future will show whether it is
now time to admit distinct code equations for different target languages
(cf. the contemporary related discussions on this mailing list).

Hope this helps,


PGP available:

Attachment: signature.asc
Description: OpenPGP digital signature

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.