---

Geschrieben von Mchacker99 am 03.11.2018 um 09:49:

  Wie prüfe ich, ob ein Ausdruck nach fsharp gültig bzgl. der statischen Semantik ist?

Meine Frage:
Kann mir jemand vielleicht ein Beispiel für einen Beweisbäume für Aufgabe 4 und Aufgabe 5 geben.
Vielen Dank!


Meine Ideen:
Mir fehlt hier wirklich schon der Ansatz. Wäre nett , wenn mir jemand es erklärt

---

Geschrieben von Gast am 11.11.2018 um 13:54:

 

Nachdem ich kurz in meiner Eigenschaft als F#-Laie in die F#-4.1-Spezifikationen geschaut habe, weiß ich, dass der richtige Ansatzpunkt zu den beiden Fragen, die Frage sein sollte, warum diese beiden Fragen gestellt wurden.

Kennt man die Antwort auf diese Frage, dann ergibt sich der Lösungsweg wie von selbst.