Die Suche ergab 4 Treffer

von tud_informatik
1. Feb 2019 21:11
Forum: Konzepte der Programmiersprachen
Thema: Assignment 07 BindCC
Antworten: 1
Zugriffe: 65

Assignment 07 BindCC

I have a question in Assignment 7 Task 3 'test code' test("10") { assertResult(BoolV(false)) { runInterp(And(true, BindCC('k, Or(true, App('k, false))))) }} I thought it was BoolV(True) because, And(true, BindCC('k, Or(true, App('k, false)))) BindCC 'k -> Continuation(k) App case Continuation(k) = k...
von tud_informatik
31. Jan 2019 18:28
Forum: Konzepte der Programmiersprachen
Thema: Exercise 7
Antworten: 1
Zugriffe: 109

Exercise 7

Hi I am studying Exercise 7 now and I have questions in Task2. At Task2-1, we have to do non-moving GC. This is what I thought how to do it: Env: res->15 so need to follow the reference. like this: (loc, Value) = (15, Box(14)) and then, (14, 11), then , (11, Box(10)), (10, Box(6)), (6, 5), (5, Box(4...
von tud_informatik
30. Jan 2019 17:57
Forum: Konzepte der Programmiersprachen
Thema: Assignment 10
Antworten: 1
Zugriffe: 56

Assignment 10

I just read the solution of Assignment 10 and I can't understand this sentence subset :: (Eq a, Collection c1, Collection c2) => c1 a -> c2 a -> Bool subset c1 c2 = and $ map(\e -> hasElem e c2) $ allElem c1 in the last sentence, where is the second operand for AND operation? I understand it like th...
von tud_informatik
17. Nov 2018 17:48
Forum: Konzepte der Programmiersprachen
Thema: task 3 in Assignment 2
Antworten: 1
Zugriffe: 111

task 3 in Assignment 2

Hi, I checked the solutions for assignment 2.

But I cannot understand task 3 "Zippop" code(especially else-sentence).

Could you plz explain it in detail?

Zur erweiterten Suche