maybe

Ich habe einen Standard-Datentyp, der Formeln der Prädikatenlogik darstellt. Eine Funktion, die eine natürliche Abzugseliminierungsregel für die Disjunktion darstellt, könnte folgendermaßen aussehen: %Vor% Anstelle der Auswertung auf Nothing...

Ich versuche eine Funktion zu erstellen, die eine Eingabe String -> Maybe Int validiert. Ich überprüfe, ob die Eingabezeichenfolge eine Zahl ist, und überprüfe dann, ob diese Zahl in einem Bereich liegt. Bisher habe ich %Vor% Das fühlt...

In Swift kann ich var?.prop machen. Dies ergibt nil , wenn var ist nil , sonst ergibt sich der Wert der Eigenschaft prop von var . Äquivalent, ich kann var >>= prop in Haskell machen, was mir None ist var ist No...

In dem Edx Haskell Kurs erklärt Erik Meijer wiederholt, dass co_de% type für fehlgeschlagene Berechnungen ist nicht etwas, was man tun sollte; stattdessen sollte man die leere Liste dafür verwenden. Ich verstehe, dass der Maybe -Typ eine...