Wie prüfe ich, ob ein Ausdruck nach fsharp gültig bzgl. der statischen Semantik ist? |
| 03.11.2018, 09:49 | Auf diesen Beitrag antworten » |
| Mchacker99 | 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 |
|
|
|
| 11.11.2018, 13:54 | Auf diesen Beitrag antworten » |
| Gast | 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. |
|
|
