Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Curried and uncurried parameters in Scala


view this post on Zulip Email Gateway (Aug 19 2022 at 10:48):

From: Florian Haftmann <florian.haftmann@informatik.tu-muenchen.de>
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
signature.asc


Last updated: Mar 29 2024 at 12:28 UTC