Das Applicative Typklasse repräsentiert laxe monoidale Funktoren, die die kartesische monoidale Struktur in der Kategorie der typisierten Funktionen beibehalten. Mit anderen Worten, angesichts der kanonischen Isomorphismen, (,)die eine monoidale Struktur bilden: -- Implementations left to the...
Problem Betrachten Sie das folgende Entwurfsproblem in Haskell. Ich habe eine einfache, symbolische EDSL, in der ich Variablen und allgemeine Ausdrücke (multivariate Polynome) wie z x^2 * y + 2*z + 1. Darüber hinaus möchte ich bestimmte symbolische Gleichungen beispielsweise über Ausdrücke x^2 + 1...
Ich habe diesen (zugegebenermaßen seltsamen) Code, der Objektiv und GHC verwendet. Aufzeichnungen : {-# LANGUAGE DataKinds, PolyKinds, FlexibleInstances, UndecidableInstances #-} {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE TypeApplications #-} {-#...
Ich versuche, eine Liste in haskell so zu ändern, dass zwischen jedem Element 0 steht. Wenn wir eine erste Liste haben, [1..20]würde ich sie gerne ändern[1,0,2,0,3..20] Was ich mir überlegt habe, ist, für jede Funktion eine Karte zu verwenden, ein Element zu extrahieren und es dann zur Liste...
Ich bin verwirrt, warum meine Funktion, nestdie fmit sich selbst komponiert , nmal ist nest f 0 = id nest f n = f . nest f (n - 1) endet nie. Ich hätte gedacht, dass es "Musterübereinstimmung" für den Fall geben würde, wenn nNull wird. Ich definiere es, indem ich diese beiden Zeilen in GHCI eingebe...
Ich habe gerade die Definition der Klasse verstanden MonadReader class Monad m => MonadReader r m | m -> r where ... Nachdem ich das Dokument der funktionalen Abhängigkeit in Haskell gelesen habe, kann ich jetzt verstehen, dass | m -> rangegeben wird, dass die Typvariable reindeutig von...
Das Naturgesetz besagt: t . traverse f == traverse (t . f) -- for every applicative transformer t Wenn nun für die RHS des Gesetzes f den Typ hat Applicative a => x -> a y, muss t (Applicative a, Applicative b) => a y -> b yaufgrund der Funktionszusammensetzung vom Typ sein . Für die...
Warum erhalte ich hier einen Endlosschleifen ( <<loop>>) - Laufzeitfehler? Datei feedback.hs: plus1 :: [Int]->[Int] -- add 1 to input stream plus1 [] = [] plus1 (x:xs) = (x+1): plus1 xs to10 :: [Int] -> [Int] -- stop the input stream when it gets to 10 to10 (x:xs) | x < 10 =...
Ich versuche diese Frage aus meinen Hausaufgaben zu machen: Wenn Sie willkürlich sind foo :: [[a]] -> ([a], [a]), schreiben Sie ein Gesetz auf, das die Funktion fooerfüllt, und zwar mapin Listen und Paaren. Ein Zusammenhang: Ich bin ein Student im ersten Jahr, der einen Kurs in funktionaler...
Ich habe Probleme mit Haskell's bracket: Wenn das zweite Argument in einem gegabelten Thread (unter Verwendung forkFinally) ausgeführt wird bracket, wird die Berechnung, die Ressourcen freigibt, nicht ausgeführt, wenn das Programm endet. Hier ist Code, der das Problem veranschaulicht (mir ist...
Ich habe ein Dutzend solcher Newtypes: newtype MyBool = MyBool Bool newtype MyInt = MyInt Int Ich möchte vorhandene Instanzen wiederverwenden: instance MArray IOUArray Int IO where ... instance MArray (STUArray s) Int (ST s) where ... Das Implementieren dieser Instanzen und des gesamten...
Hier ist der SO-Beitrag, auf den ich mich beziehen werde .Außerdem werde ich in dieser Frage dieselben Schnipsel wie das OP verwenden, um die Materialien nicht zu trennen . Es ist allgemein bekannt, dass eine ArrowApplyInstanz eine Monade ergibt und umgekehrt: newtype ArrowMonad a b = ArrowMonad (a...
Ich verstehe, dass dies seqverwendet wird, um die Leistung zu verbessern, indem unnötige Faulheit vermieden wird. Ich möchte nur wissen, woher der Name stammt. Ist es von "Sequenz" oder "sequentiell"? Und in welcher Beziehung steht der Name zur strengen
Ich möchte ein Programm schreiben, dessen Hauptthread einen neuen Thread zur Berechnung gibt und darauf wartet, dass er eine Zeit lang beendet wird. Wenn der untergeordnete Thread nicht in einer bestimmten Zeit beendet wird, wird eine Zeitüberschreitung festgestellt und beendet. Ich habe den...
Wenn ich nach Haskell komme, versuche ich, so etwas wie Numpys Umformung mit Listen zu reproduzieren . Wenn Sie eine flache Liste haben, formen Sie sie in eine n-dimensionale Liste um: import numpy as np a = np.arange(1, 18) b = a.reshape([-1, 2, 3]) # b = # # array([[[ 1, 2, 3], # [ 4, 5, 6]], # #...
Ich versuche, meinen eigenen Datentyp zu erstellen, der Teil der Monad-Klasse sein wird, aber newtype Container a = Container a deriving Monad gibt mir diesen Fehler: * Can't make a derived instance of `Monad Container' (even with cunning GeneralizedNewtypeDeriving): cannot eta-reduce the...
Ich habe den Typ des Arguments einer Funktion eingeschränkt, anstatt den Typ der Funktion einzugeben. Ich dachte, dies würde entweder einen Syntaxfehler verursachen oder dem Typ der Funktion weitere Informationen hinzufügen. Es sieht jedoch so aus, als würde die Einschränkung vollständig ignoriert....
Die Kategorie der Mengen ist sowohl kartesisch monoidal als auch kokartesisch monoidal. Die Arten der kanonischen Isomorphismen, die diese beiden monoidalen Strukturen bezeugen, sind nachstehend aufgeführt: type x + y = Either x y type x × y = (x, y) data Iso a b = Iso { fwd :: a -> b, bwd ::...
Im recursion-schemesPaket sind folgende Typen definiert: newtype Fix f = Fix (f (Fix f)) newtype Mu f = Mu (forall a. (f a -> a) -> a) Sind sie isomorph? Wenn ja, wie beweisen Sie
Ich versuche, die Assoziativität von Listen auf Typebene so zu beweisen, dass ich zwischen äquivalenten Typen konvertieren kann, ohne Einschränkungen mitzunehmen. Angenommen, die Standarddefinition der Verkettung: type family (++) (xs :: [k]) (ys :: [k]) :: [k] where '[] ++ ys = ys (x ': xs) ++ ys...