Die Suche ergab 73 Treffer

von Sylvia G.
17. Mär 2017 16:07
Forum: Archiv
Thema: exam inspection
Antworten: 1
Zugriffe: 417

Re: exam inspection

Please contact us via mail.
von Sylvia G.
10. Mär 2017 13:04
Forum: Archiv
Thema: Exam announcements
Antworten: 4
Zugriffe: 1271

Re: Exam announcements

Hi COPL students, we are happy to announce that we finished correcting and grading your exams. For everyone who participated in the exam, your personal grade should be visible in TuCaN since yesterday. Note that the grades already include your bonus from solving the assignments. The exam inspection ...
von Sylvia G.
27. Feb 2017 16:16
Forum: Archiv
Thema: Exam announcements
Antworten: 4
Zugriffe: 1271

Re: Exam announcements

Hi COPL students, here is another announcement that targets the more IDE-focused ones among you, but should not come as a surprise for anybody: You should be able to read *and write* small amounts of Scala and Haskell code during the exam. Regarding the writing, I can tell you that the focus will ra...
von Sylvia G.
23. Feb 2017 17:48
Forum: Archiv
Thema: Exam announcements
Antworten: 4
Zugriffe: 1271

Exam announcements

Hi COPL students, in this thread, we will announce important information regarding the exam. First important piece of information is when, where, and how long. Just as marked in TuCaN, the exam takes place on *March 6, 13:00 - 15:00*, in S206/030. However, note that this slot is deliberately longer ...
von Sylvia G.
21. Feb 2017 17:01
Forum: Archiv
Thema: New instance for Weblab Assignments
Antworten: 1
Zugriffe: 276

Re: New instance for Weblab Assignments

Yes, we looked into that, but we can not easily provide a second instance due to some technical issues.
Sorry.
von Sylvia G.
15. Feb 2017 18:14
Forum: Archiv
Thema: Material about lambda calculus
Antworten: 5
Zugriffe: 553

Re: Material about lambda calculus

What exactly are you referring to? The link you posted seems to be about higher-order procedures in Scheme. The specific text section you are referring to seems to be about constructing and using first-class functions in Scheme. Hence, it does not seem directly related to the lambda calculus (althou...
von Sylvia G.
9. Feb 2017 16:19
Forum: Archiv
Thema: Assignment 13 and 14?
Antworten: 1
Zugriffe: 267

Re: Assignment 13 and 14?

Good point - the additional 2 assignments suggested by the number "14" appeared due to old and test assignments in the background. I now adjusted the overall weights so that it is, hopefully, more logical for you (but note that the overall grade/statistics update might take a while). No, there will ...
von Sylvia G.
9. Feb 2017 13:29
Forum: Archiv
Thema: Material about lambda calculus
Antworten: 5
Zugriffe: 553

Re: Material about lambda calculus

.... I knew somebody would find and post it :lol: ...It is very funny, but if you want to first seriously learn about the lambda calculus, I would not start there. Another basic notion closely related to lambda calculus is the "Curry-Howard isomorphism" - you may have heard about that and think that...
von Sylvia G.
9. Feb 2017 12:35
Forum: Archiv
Thema: Material about lambda calculus
Antworten: 5
Zugriffe: 553

Material about lambda calculus

Since so many of you said they did not know about the lambda calculus, I will start this thread now for collecting some good introductory material about the lambda calculus. In my opinion, the clearest, easiest to read introduction to the lambda calculus is in the book I brought to the type systems ...
von Sylvia G.
8. Feb 2017 17:02
Forum: Archiv
Thema: WebLab broken?
Antworten: 7
Zugriffe: 928

Re: WebLab broken?

We extended the deadline a little bit (Friday, 20:00). Hope that helps.
von Sylvia G.
8. Feb 2017 16:01
Forum: Archiv
Thema: WebLab broken?
Antworten: 7
Zugriffe: 928

Re: WebLab broken?

I confirm that Weblab seems to have been down for ~15 min or so - but now it seems to be up and running again.
von Sylvia G.
7. Feb 2017 10:43
Forum: Archiv
Thema: unable to access repository
Antworten: 4
Zugriffe: 359

Re: unable to access repository

If there is no one else who has these kind of problems with accessing the material in the repo, I would suggest that you simply copy the slides and the group exercises from one of your fellow students.
von Sylvia G.
3. Feb 2017 12:02
Forum: Archiv
Thema: Subtyping of functions
Antworten: 0
Zugriffe: 281

Subtyping of functions

In the group exercise, we talked a bit about subtyping of function types - which is typically slightly confusing if you see it for the first time. Yesterday, I put a solution for the group exercise online, where I added some more examples involving record types + function types from which it may get...
von Sylvia G.
3. Feb 2017 11:45
Forum: Archiv
Thema: Assignment 12.2 SetId
Antworten: 3
Zugriffe: 514

Re: Assignment 12.2 SetId

To answer this question, you should think about whether you can come up with example expressions that your type system would accept if you allowed the type of an id to change, but that would fail during interpretation. What happens for example if you define a function in an inner let that in the bod...
von Sylvia G.
2. Feb 2017 17:06
Forum: Archiv
Thema: Error in Assignment 12
Antworten: 1
Zugriffe: 288

Re: Error in Assignment 12

That is correct - we fixed that already, I think shortly after you wrote the post. Hopefully, everybody sees that fix also. If not, hit the Reset button and delete the resulting comment clutter....
If you discover more problems, tell me ;).

Zur erweiterten Suche