lifting

6Hitze

1Antwort

Verwechslung mit 'Heben'-Funktionen in Scala

Im Buch Functional Programming In Scala gibt es ein Beispiel für' Heben ', bei dem eine Funktion mit dem Typ A => B zu Option[A] => Option[B] befördert wird. Dies ist, wie Lift implementiert: def lift

3Hitze

2Antwort

direkte Anwendung der Lift-Funktion keine erwartete Funktion geben

Unten sind die zwei Teilfunktionen aufgeführt, von denen erwartet wird, dass sie sme-Aufgaben ausführen, die jedoch auf verschiedene Arten definiert sind. val pf1 : PartialFunction[String, String] = {

7Hitze

1Antwort

Transformation unter Transformatoren

Ich habe ein bisschen Schwierigkeiten mit Monade-Transformatoren im Moment. Ich definiere ein paar verschiedene nicht-deterministische Beziehungen, die Transformatoren verwenden. Leider habe ich Probl

6Hitze

3Antwort

Was sind die Schritte, um diesen Pointfree-Code abzuleiten?

Ich prüfe einige Codes und kam über das folgende Juwel, das ich wetten würde, ist eine copy-paste von pointfree Ausgabe: (Ich dachte, die folgende wäre besser geeignet als die üblichen foo/bar für die

8Hitze

1Antwort

Aufräumen von Monaden - Anwendung eines Monodentransformators in Newtype-Monade umwandeln

Ich versuche, z.B. ExceptT a (StateT A M), für einige Betontypen A und Monad M, und wickeln Sie sie in meine neuen benutzerdefinierten Monaden ein. Zuerst habe ich festgestellt, dass StateT A M ersche

1Hitze

1Antwort

Gleichheit in Agda - irrelevante Argumente

Ich habe einen abhängigen Typ, der aus einem Wert plus einige Beweise über seine Eigenschaften besteht. Natürlich möchte ich, dass meine Vorstellung von Gleichheit über diesen Typ der Gleichheit über

6Hitze

1Antwort

Lift Entweder zu Exceptt automatisch

Lassen Sie uns sagen, ich habe diese (wohl verleiten) Stück Code rumliegen: import System.Environment (getArgs) import Control.Monad.Except parseArgs :: ExceptT String IO User parseArgs = do