Die Suche ergab 32 Treffer

von typ
14. Jul 2018 17:57
Forum: Software Engineering - Design and Construction
Thema: Invisible objects in signal from event
Antworten: 1
Zugriffe: 153

Invisible objects in signal from event

Hi, on some methods I get additional signal triggers. val e1 = Evt[Int]() val s1 = e1 list val sth = Signal[List[Int]] { s1() } val printer = Signal[Unit] { println(sth()) } e1(1) e1(2) e1(3) // prints List() List() List(1) List(2, 1) List(3, 2, 1) val e1 = Evt[Int]() e1(1) val s1 = e1 list val sth ...
von typ
14. Jul 2018 14:28
Forum: Software Engineering - Design and Construction
Thema: Mid-Term Exam WS 15/16 Task 1d)
Antworten: 5
Zugriffe: 800

Re: Mid-Term Exam WS 15/16 Task 1d)

They all are working, I tried in side scala Worksheet. :? :shock: :shock: full size image => https://ibb.co/dxG5p8 try that: class MySuperclass class MyClass extends MySuperclass class MySubclass extends MyClass val f1: Any => Boolean = null val f2: Seq[AnyRef] => Boolean = null val f3: Any => Any ...
von typ
13. Jul 2018 16:00
Forum: Software Engineering - Design and Construction
Thema: Mid-Term Exam WS 15/16 Task 1d)
Antworten: 5
Zugriffe: 800

Re: Mid-Term Exam WS 15/16 Task 1d)

In this task I would start with a sentence, what must be met, to have a valid line. Just to have the vocabularies 'contravariant' and 'covariant' in there. As described here: Another example that can help one understand variance is trait Function1[-T, +R] from the Scala standard library. Function1 r...
von typ
12. Jul 2018 18:00
Forum: Software Engineering - Design and Construction
Thema: Closures
Antworten: 2
Zugriffe: 218

Re: Closures

check this out: /viewtopic.php?f=234&t=38406

I hope there will be no question like this. It seems like I know what closures are, but I would not know, how to answer this question; What to mark in the code or what is meant by 2 differences.
von typ
12. Jul 2018 17:43
Forum: Software Engineering - Design and Construction
Thema: Signal[List[Int],rescala.parrp.ParRP] to List[Int] How?
Antworten: 7
Zugriffe: 315

Re: Signal[List[Int],rescala.parrp.ParRP] to List[Int] How?

check this out from exercise 3: private def lastNDays(days: Int): Signal[Seq[StockPrice]] = updates.last(days) def averageNDays(days: Int): Signal[Double] = Signal[Double] { val lastN = lastNDays(days)() if (lastN.isEmpty) 0.0 else { var sum = 0.0 lastN.foreach((price: StockPrice) => { sum += price....
von typ
9. Jul 2018 23:28
Forum: Abschlussarbeiten
Thema: vergeben! - Abschlussarbeiten: smarte textile Oberflächen
Antworten: 1
Zugriffe: 908

Re: Abschlussarbeiten: smarte textile Oberflächen

Auf die Links können wir leider nicht zugreifen:
"Sie befinden sich auf dem Haufe-umantis Websystem, jedoch haben Sie für die aufgerufene Seite nicht die erforderlichen Berechtigungen."
von typ
9. Jul 2018 19:17
Forum: Software Engineering - Design and Construction
Thema: exam ws16-17 topic 1b
Antworten: 1
Zugriffe: 282

exam ws16-17 topic 1b

Hi, I am stuck on this exercise. What are differences between closures in Scala and Java 8. I found this explanation for closures: https://alvinalexander.com/scala/how-to-use-closures-in-scala-fp-examples. I know in Java you can only pass final variables into a anonymous class (or lambda interface)....
von typ
8. Jul 2018 19:57
Forum: Software Engineering - Design and Construction
Thema: exam ws16-17 topic 3a
Antworten: 3
Zugriffe: 266

Re: exam ws16-17 topic 3a

*it's the mid-term exam of ws16-17
von typ
8. Jul 2018 18:51
Forum: Software Engineering - Design and Construction
Thema: exam ws16-17 topic 3a
Antworten: 3
Zugriffe: 266

exam ws16-17 topic 3a

Hi, I got the following solution for the old exam task: lazy val linLin: Linearization[LinResult] = Lin("DoubleCheeseSalamiPizza") === Lin("DoubleCheeseSalamiPizza", >>(Lin("Cheese"), >>(Lin("Salami"), Lin("MargheritaPizza")))) === Lin("DoubleCheeseSalamiPizza", >>(Lin("Cheese", Lin("Pizza")), >>(Li...
von typ
30. Mai 2018 15:37
Forum: Software Engineering - Design and Construction
Thema: Update slides
Antworten: 5
Zugriffe: 240

Update slides

Hello,

would it be possible to update the website with the slides? The dates are not up-to-date and maybe there are slide-sets missing. Could the ReScala slides please be added to the website, so all materials are easy to access (I don't want to miss anything while learning for the exam)?

Regards :)
von typ
14. Feb 2018 16:44
Forum: Archiv
Thema: Klausurvorbereitung
Antworten: 8
Zugriffe: 642

Re: Klausurvorbereitung

werden die aufgabenstellungen in der klausur auf deutsch oder auf englisch sein?
von typ
20. Jul 2017 17:30
Forum: Archiv
Thema: Moodle down :( - Klausurzeit und Ort
Antworten: 1
Zugriffe: 718

Moodle down :( - Klausurzeit und Ort

Hallo,
da das moodle wiedermal down ist und anscheinend bis Montag down bleiben soll:
Wann wird die Klausur geschrieben und wie ist die Raumeinteilung?
Gruß

(gibt es evtl noch einen alternativen link zu den Übungen und Vlsfolien, für die, die sie nicht runtergeladen haben?)
von typ
7. Mär 2017 18:25
Forum: Archiv
Thema: Beweis: while true terminiert nicht (-> neue Übungsaufgabe)
Antworten: 5
Zugriffe: 589

Re: Beweis: while true terminiert nicht

So ists in den Folien: https://www2.pic-upload.de/img/32810101/Unbenannt.jpg https://www2.pic-upload.de/img/32810099/Unbenannt1.jpg Wir haben in der Konklusion das gleiche wie in der Prämisse stehen -> Widerspruch, da Wiederholung. Wir können soweit auswerten: https://www2.pic-upload.de/img/32810100...
von typ
7. Mär 2017 17:41
Forum: Archiv
Thema: Beweis: while true terminiert nicht (-> neue Übungsaufgabe)
Antworten: 5
Zugriffe: 589

Re: Beweis: while true terminiert nicht

- ist H die kürzeste Herleitung für while true do c od - dann kann der letzte herleitungsschritt nur rwht sein. - in der prämisse kommt wieder while true do c od vor. - das ist ein wiederspruch da ja eig H die kürzeste herleitung sein soll -> daraus folgen wir, dass while true do c od, zustand wert...
von typ
7. Mär 2017 17:21
Forum: Archiv
Thema: Beweis: while true terminiert nicht (-> neue Übungsaufgabe)
Antworten: 5
Zugriffe: 589

Beweis: while true terminiert nicht (-> neue Übungsaufgabe)

Hallo, per Widerspruchsbeweis wird in den Folien gesagt, dass "while true do skip od" nicht terminiert, da der Zustand nach einem Schleifendurchlauf wieder der selbe ist. Wie würde man Beweisen, dass "while true do c od" nie terminiert? Man kann dann nicht sagen, dass o=o', wodurch man den Widerspru...

Zur erweiterten Suche