Die Suche ergab 182 Treffer

von FeG
13. Nov 2012 09:55
Forum: Ankündigungen
Thema: Selbstbericht des Fachbereichs
Antworten: 11
Zugriffe: 5525

Re: Selbstbericht des Fachbereichs

Ich fände einen Arbeitsraum ohne PC's im A-Teil gut. Anstatt der Fachbib sollte nun dort ein Arbeitsraum hin. Jedoch nicht zur Stillarbeit, denn das ist für Gruppen, die lernen und auch mal reden wollen doof. Schließe mich dem an, vielleicht kann man (flexible) Leichtbau-Trennwände nutzen (cubicle-...
von FeG
25. Okt 2012 11:52
Forum: Ankündigungen
Thema: Buchaktion SoSe 12
Antworten: 4
Zugriffe: 3374

Re: Buchaktion SoSe 12

Hi, kann es sein das sich die Subventionsanteile geändert haben? Ich kann das vom Sehen bestätigen: Am Dienstag wurden mir die Bücher alle mit Subventionsanteil "mindestens 75%" angezeigt, gestern (Mittwoch) nach der Mail waren sie dann auf "mindestens 50%". Ich hatte allerdings nichts bestellt... (...
von FeG
29. Aug 2012 17:48
Forum: Archiv
Thema: Preliminary grades available
Antworten: 14
Zugriffe: 1283

Re: Preliminary grades available

Being not able to get to Darmstadt for another two weeks, I'd not mind to get a photo of the results, too :wink:

EDIT: Thanks.
von FeG
23. Aug 2012 19:53
Forum: Archiv
Thema: Exam Check-List: Discussion on Part 09 - Lambda Calculus
Antworten: 2
Zugriffe: 449

Re: Exam Check-List: Discussion on Part 09 - Lambda Calculus

This completes the proof. Note that the last two steps are not derivation steps (as an interpreter would take them) but rather abstract equivalence arguments. Okay, i assumed it had to be completely derivational, with this application argument I think I got it.. On the second part of the question: ...
von FeG
23. Aug 2012 18:33
Forum: Archiv
Thema: Exam Check-List: Discussion on Part 10 - Func. React. Progr.
Antworten: 0
Zugriffe: 247

Exam Check-List: Discussion on Part 10 - Func. React. Progr.

Hi, finally :shock: ... here is my solution to the tenth (and last) topic of the exam check-list (-> spoiler alert...). As Functional Reactive Programming actually isn't part of the exam and there are no slides, I blatantly copied the task-setting from the exam in 2011 -- and assume, that at least a...
von FeG
23. Aug 2012 17:49
Forum: Archiv
Thema: Exam Check-List: Discussion on Part 09 - Lambda Calculus
Antworten: 2
Zugriffe: 449

Exam Check-List: Discussion on Part 09 - Lambda Calculus

Hi, here is my solution to the ninth topic of the exam check-list (-> spoiler alert...). Best, Felix What types of expressions are present in the lambda calculus. Define a definition of the [concrete/abstract] syntax of the lambda calculus. Present expressions: * function definition / lambda expressio...
von FeG
23. Aug 2012 16:42
Forum: Archiv
Thema: Exam Check-List: Discussion on Part 05 - Monads
Antworten: 5
Zugriffe: 422

Re: Exam Check-List: Discussion on Part 05 - Monads

Nope,

Code: Alles auswählen

(Just x) >>= f  = f x
is correct (cf. monads slides, p. 60).

The reason is that >>= from the monad class has type

Code: Alles auswählen

(>>=) :: m a -> (a -> m b) -> m b
i.e., f already has to return a monad.

But I agree that it looks strange at first sight. I had to look it up, too :wink:

Best,
Felix
von FeG
23. Aug 2012 16:38
Forum: Archiv
Thema: Exam Check-List: Discussion on Part 08 - Continuations
Antworten: 0
Zugriffe: 309

Exam Check-List: Discussion on Part 08 - Continuations

Hi, here is my solution to the eighth topic of the exam check-list (-> spoiler alert...). Best, Felix Given a program, tell which function calls are tail calls. How do you recognize them? (define (filter f lst) (if (empty? lst) empty (if (f (first lst)) (cons (first lst) (filter f (rest lst))) (filt...
von FeG
23. Aug 2012 15:44
Forum: Archiv
Thema: Exam Check-List: Discussion on Part 04 - Lazy Evaluation
Antworten: 7
Zugriffe: 654

Re: Exam Check-List: Discussion on Part 04 - Lazy Evaluation

AlexanderF hat geschrieben:I think you mixes mutating via container and direct mutating of identifier.
You're right. Both of your variants do the job I wanted to illustrate. For shortness I chose the first one using variables and changed my first post. Thanks.
von FeG
23. Aug 2012 15:38
Forum: Archiv
Thema: Exam Check-List: Discussion on Part 06 - Recursion
Antworten: 5
Zugriffe: 823

Re: Exam Check-List: Discussion on Part 06 - Recursion

sewe hat geschrieben:But where did you find the statement that lazy evaluation works for this?
As sqrtsben wrote, see question 2 in this part.
von FeG
23. Aug 2012 15:37
Forum: Archiv
Thema: Exam Check-List: Discussion on Part 07 - State
Antworten: 0
Zugriffe: 281

Exam Check-List: Discussion on Part 07 - State

Hi, here is my solution to the seventh topic of the exam check-list (-> spoiler alert...). Best, Felix Compute the result of evaluating a program with [mutable boxes/mutable variables/call by value/call by reference]. {with {b {newbox 1}} {with {x 2} {with {f {fun {y} {+ {openbox b} {seqn {set y {+ ...
von FeG
23. Aug 2012 14:06
Forum: Archiv
Thema: Exam Check-List: Discussion on Part 06 - Recursion
Antworten: 5
Zugriffe: 823

Re: Exam Check-List: Discussion on Part 06 - Recursion

There is also a fifth way: dynamic scoping . (If you don't believe me, try it out with the interpreter at https://cage.st.informatik.tu-darmstadt.de/2012/copl/public/lectures/2012-04-26/fwae-dynamic-scoping.rkt. Nice, I didn't saw that... I added the explanation in the first post. For lazy evaluati...
von FeG
23. Aug 2012 11:58
Forum: Archiv
Thema: Exam Check-List: Discussion on Part 06 - Recursion
Antworten: 5
Zugriffe: 823

Exam Check-List: Discussion on Part 06 - Recursion

Hi, thank God the question lists are getting shorter :wink: ... below my solution to the sixth topic of the exam check-list (-> spoiler alert...). (I only have a question on question 2, see below...) Best, Felix Name 3 different ways to implement recursion. global function declarations cyclically bo...
von FeG
23. Aug 2012 11:22
Forum: Archiv
Thema: Exam Check-List: Discussion on Part 05 - Monads
Antworten: 5
Zugriffe: 422

Re: Exam Check-List: Discussion on Part 05 - Monads

Thanks for the explanation, which made this setting a bit clearer. However, the original type of divide (with Maybe) was divide :: (Fractional a) => a -> [Maybe a] -> [Maybe a] So my question was more directed like "how can I use divide in a setting where it get's passed a list of 'Maybe Float' entr...
von FeG
23. Aug 2012 10:35
Forum: Archiv
Thema: Last year's exam available
Antworten: 10
Zugriffe: 727

Re: Last year's exam available

Hi, just wanted to touch base on the CPS task 8.1. Does this make sense? (define (remove/k item l k) (cond [(empty? l) (k empty)] [(not (list? l)) (k empty)] [else (if (equal? item (first l)) (remove/k item (rest l) (lambda(list-rest) (k list-rest))) (remove/k item (rest l) (lambda(list-rest) (k (co...

Zur erweiterten Suche