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,
	Florian

-- 

PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de

Attachment: signature.asc
Description: OpenPGP digital signature



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