Die Suche ergab 67 Treffer

von mirko-koehler
18. Okt 2019 11:52
Forum: Konzepte der Programmiersprachen
Thema: Can't enroll into STG
Antworten: 4
Zugriffe: 106

Re: Can't enroll into STG

The enrollment should be working again.
von mirko-koehler
7. Mär 2019 16:19
Forum: Konzepte der Programmiersprachen
Thema: Grading of the assignments
Antworten: 9
Zugriffe: 4471

Re: Grading of the assignments

We published the grades today.
von mirko-koehler
7. Mär 2019 10:40
Forum: Konzepte der Programmiersprachen
Thema: Exercise 6
Antworten: 1
Zugriffe: 140

Re: Exercise 6

I appended a link for the RCFLAE interpreter with cyclic environments [1] and immediate substitution [2]. Also, as far as i understood, Recursion is not possible without cyclic environments? We saw multiple ways to implement recursion. For example, we implmented recrsion with fix-point combinators (...
von mirko-koehler
5. Mär 2019 14:24
Forum: Konzepte der Programmiersprachen
Thema: Problems checking out SVN Repo
Antworten: 2
Zugriffe: 167

Re: Problems checking out SVN Repo

We currently have some problems with the SVN server. That means you can't checkout (or update) your local copy. The webserver runs fine: you can still access the material over the website (please tell me if there are some problems aswell). We try to fix it, but at the moment we can not guarantee tha...
von mirko-koehler
1. Mär 2019 14:26
Forum: Konzepte der Programmiersprachen
Thema: Lambda: Multiple Applications
Antworten: 2
Zugriffe: 163

Re: Lambda: Multiple Applications

Function application is left-associative, i.e. \((\lambda x.x) \ y \ z = ((\lambda x.x) \ y) \ z \). You apply y first.
von mirko-koehler
26. Feb 2019 10:41
Forum: Konzepte der Programmiersprachen
Thema: Abstract vs. Concrete Syntax
Antworten: 4
Zugriffe: 225

Re: Abstract vs. Concrete Syntax

Concrete syntax is how the code looks to the programmer. The abstract syntax are the syntax trees that result from parsing the concrete syntax. In our interpreters, the abstract syntax are the expression case classes (e.g. App(funName: Symbol, ...) ). The expressions build expression trees that are ...
von mirko-koehler
25. Feb 2019 17:14
Forum: Konzepte der Programmiersprachen
Thema: Exam in SS19
Antworten: 1
Zugriffe: 190

Re: Exam in SS19

We will decide after the winter semester's exam if offer another exam in the summer semester. This would be at most an oral exam.

We do not have any more information on that yet.
von mirko-koehler
19. Feb 2019 10:33
Forum: Konzepte der Programmiersprachen
Thema: LAE / WAE Languages
Antworten: 2
Zugriffe: 170

Re: LAE / WAE Languages

It's just a naming inconsistency. W once stood for 'with' which was just the same as 'let'.
von mirko-koehler
7. Feb 2019 15:14
Forum: Konzepte der Programmiersprachen
Thema: Exam preparation
Antworten: 0
Zugriffe: 243

Exam preparation

On Thursday, 14th Feb, we will have the last exercise session. There will not be an exercise sheet for this day, but we would like to do a session with some mixed exercises in preparation for the exam. Please let us know if there are any particular topics that we should talk about -- just write your...
von mirko-koehler
24. Jan 2019 10:20
Forum: Konzepte der Programmiersprachen
Thema: Slides Lecture 11
Antworten: 1
Zugriffe: 113

Re: Slides Lecture 11

Thanks. It's fixed.
von mirko-koehler
22. Jan 2019 16:17
Forum: Konzepte der Programmiersprachen
Thema: Grading of the assignments
Antworten: 9
Zugriffe: 4471

Re: Grading of the assignments

We just published the results of assignment 6. Assignment 7 should be available soon (most likely this week) as well. We are currently grading assignment 8 and 9, but are not finished yet.
von mirko-koehler
11. Jan 2019 10:08
Forum: Konzepte der Programmiersprachen
Thema: What does this mean: 'x
Antworten: 1
Zugriffe: 201

Re: What does this mean: 'x

'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\).
von mirko-koehler
17. Dez 2018 16:09
Forum: Konzepte der Programmiersprachen
Thema: Homework deadline
Antworten: 0
Zugriffe: 150

Homework deadline

Hello all,

In the submission system, this week's homework deadline erroneously already ended today. We fixed it and set the deadline until tomorrow (Tuesday) as usual.

Mirko
von mirko-koehler
12. Dez 2018 11:21
Forum: Konzepte der Programmiersprachen
Thema: Assignment 7 Tests for Task 3
Antworten: 1
Zugriffe: 202

Re: Assignment 7 Tests for Task 3

Hi, The continuations in task 3 are of type Value => Nothing. That means that these continuations never return, i.e. once the continuation is called there is no coming back! In order to return something from a continuation, we throw an exception that contains the return value, see EndOfWorldExceptio...

Zur erweiterten Suche