D120.de/forum

In der Musterlösung zu Übung 5 wird die Syntax aus der Vorlesung verwendet, welche von derjenigen aus dem Buch von Elmasri und Navathe abweicht. Die Buch im Syntax ist allerdings um einiges lesbarer und weniger komplex. Meine Lösungen zu Aufgabe 5.2 vereinfachen sich damit zu: \pi_B(R) = \{r.B\ |\ R...

Alternatively a forged ID card ...

Well I just had the same idea . Btw do you know when she will be back in town?

Here is an example of how unsafePerformIO could be used in an evil manner: aString = unsafePerformIO $ getLine :: String From the type signature you would not assume that this aString has side effects. You would guess that aString would always yield the same String value. But this is not the case as...

Thank you for the code! What I found confusing all the time was that on the slides a "step" was mentioned. I thought that a transformation from the recursive function to some "step"-function first was mandatory. But seeing the examples now I guess it's just: 1. surround the body of the original func...

I still don't understand how to translate a recursive function to one that uses the fixpoint combinator.
Is there any schematic approach to this problem? Examples (with explanations please, as the raw definitions of fact and fib did not help me, at all) are very welcome .

On page 47 is stated that (+ 1 (let/cc k (k 3))) is evaluated to 5. But when I try to evaluate this expression in Drracket the outcome is 4! Additionally on page the outcome for the same code is suddenly evaluated to 4... So is there an error somewhere? Does Drracket not work correctly with let/cc? ...

On page 57 of the first slides eager and lazy substitution are compared. Do you really mean substitution or did you mean evaluation ? If so, what is the the difference between eager and immediate substitution respectively lazy and deferred substitution? Could you give some comparing examples like on...

@Sebastian *Offtopic* While we're still at the development of new language features: Do you know whether any research is done for developing new garbage collector-absent languages (somehow like with Scala in relation to Java)? Or differently said: Are there any fresh ideas for displacing - or pushin...

Well, thank you for your effort!

In the last lecture of this course Prof. Mezini was asked whether the presented slides would be uploaded to the repository. Although she agreed they are still not online. Will you make them available? It would be very interesting to have some lecture about prospective features of programming languag...

Well, almost 24 hours left to learn english - seems to be feasible ...

So basically there is no answer to: "What is an example for white/black box frameworks?" as everything is some kind of grey tone. The important thing is to be able to assign elements to the two types of frameworks (certainly with a strong justification), given an extract of an exemplary framework. A...

Ich habe noch Fragen zum Übungsbetrieb:

1. Kann man die Lösungen irgendwo abgeben, sodass diese korrigiert werden?
2. Werden nach der Besprechung der Aufgaben Musterlösungen hochgeladen oder muss man sich vor Ort die Musterlösung notieren?

Das würde ich auch gerne wissen. Ansonsten könnte es, wegen TUCaN, noch einige Zeit dauern, bis man das Ergebnis dann letztendlich erfährt...