D120.de/forum

Hi,
I'm looking for someone to study COPL together.
If interested, pls respond.
Thanks.

Hello, I didn't understand the topic: "Calculating WAE Expressions" in V02.pdf > slide 21. Can someone please explain these things simply: How come we get these lines?: ... case Let(boundId, namedExpr, boundExpr) => { interp(subst(boundExpr, boundId, Num(interp(namedExpr)))) } case Id(name) => sys.e...

Hi, Related to your answer, I can rewrite it as: def sum(l: List[Int]): Int = l match { case Nil => 0 case x => x.head + sum(x.tail) //case x :: xs => x + sum(xs) } & works fine But how '::' works here? I only know '::' prepends element in the List. Would you break down a bit more how it is working ...

Hello, I'm not understanding this part of the code where it was asked to write a recursive function 'sum' that sums up the elements of a list of numbers: def sum(l: List[Int]): Int = l match { case Nil => 0 case x :: xs => x + sum(xs) } Given, I know how Scala List & match-case work, also know '::' ...

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.

Solved. Thanks.

I can't sign-in with my credentials. The site is not taking/accepting my ID. My TU-ID is functional and have no problem accessing other sites (TUCaN, moodle.informatik etc.), even I did sign-in the repository site last week without any problem. But now simply it's not accepting my ID. This is seriou...