Seite 1 von 1

What does this mean: 'x

Verfasst: 10. Jan 2019 22:04
von saifposinc
val someTerm: Lambda = Lambda(
parameter = Identifier('x),
body = Identifier('x)
)

Above is a snippet of code from the 'Scala Introductory Class'. I'm not understanding what 'x means.
Can anyone please explain a bit.
Thanks.

Re: What does this mean: 'x

Verfasst: 11. Jan 2019 10:08
von mirko-koehler
'x is a symbol, see https://www.scala-lang.org/api/2.12.1/scala/Symbol.html.

We use symbols to name variables or parameters in our languages, e.g. Lambda(parameter = Identifier('x), body = Identifier('x)) would be the lambda term \(\lambda x . x\).