D120.de/forum

Hi,

I was wondering when is the exam of COPL taking place this semester. It's been a while and no updates are given in the TuCan nor in the moodle.

Can anyone please inform anything this regard.

Thanks.

Regards,
Saif

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...