Programmierung haskell

2

Stack wurde nicht mit GHC & Cabal-Versionen getestet

In meinem Haskell-Projekt stack runwird Folgendes angezeigt , es wird jedoch weiterhin ausgeführt. Welche Warnung ist das? Wie kann ich es loswerden? Stack has not been tested with GHC versions above 8.6, and using 8.8.2, this may fail Stack has not been tested with Cabal versions above 2.4, but version …

14 haskell cabal haskell-stack

3

Typ zur Darstellung einer Liste mit 0 bis 5 Werten

Ich habe eine Übung, in der ich einen Typ für die Darstellung einer Liste mit 0 bis 5 Werten definieren muss. Zuerst dachte ich, ich könnte das rekursiv so lösen: data List a = Nil | Content a (List a) Aber ich denke nicht, dass dies der richtige Ansatz ist. …

14 haskell

3

Ist die Implementierung dieser Wortfunktion ohne einen Nachbearbeitungsschritt nach dem Falten möglich?

Real World Haskell, Kapitel 4, Seite 98 des Drucks fragt, ob wordsmit Falten implementiert werden kann, und dies ist auch meine Frage: Ist es möglich? Wenn nicht, warum? Wenn ja, wie? Ich kam auf Folgendes, das auf der Idee basiert, dass jedem Nicht-Leerzeichen das letzte Wort in der Ausgabeliste vorangestellt …

14 haskell functional-programming fold

1

Warum druckt `print <$> (drucke" Hallo ")` drucke "Hallo"?

Bei der Berechnung IO (IO ())werden beide (IO ())und ()berechnet, warum also? main :: IO (IO ()) main = print <$> (print "Hello, World!") drucken "Hello, World!" nicht IO "Hello, World!" -- ?? "Hello, World!"

14 haskell

1

Was ist der Unterschied zwischen unsafeDupablePerformIO und accursedUnutterablePerformIO?

Ich war in der eingeschränkten Abteilung der Haskell-Bibliothek unterwegs und fand diese beiden abscheulichen Zaubersprüche: {- System.IO.Unsafe -} unsafeDupablePerformIO :: IO a -> a unsafeDupablePerformIO (IO m) = case runRW# m of (# _, a #) -> a {- Data.ByteString.Internal -} accursedUnutterablePerformIO :: IO a -> a accursedUnutterablePerformIO (IO m) …

13 haskell io unsafe unsafe-perform-io

3

Wie kann (-) scheinbar zwei verschiedene Typen haben?

In ghci, wenn ich tippe :t (-) Um den Typ von herauszufinden (-), wird zurückgegeben (-) :: Num a => a -> a -> a Wenn ich jedoch schreibe, gibt -1haskell eine Zahl zurück, was zu bedeuten scheint, dass dies (-)vom Typ ist Num a => a -> a. Wie …

12 haskell

3

Wie mache ich meine Haskell-Funktion so kurz wie möglich?

Die seasonFunktion verwendet algebraische Funktionen, aber ich denke, der Code wiederholt sich. Wie mache ich es so kurz wie möglich? data Month = Jan | Feb | Mar | Apr | May | June | July | Aug | Sept| Oct | Nov | Dec deriving (Eq,Ord,Show,Read) data Seasons = …

12 haskell algebraic-data-types

2

Kombinieren Sie Fragmente des Haskell-Codes, um ein größeres Bild zu erhalten

Dies ist der Code, auf den ich irgendwo gestoßen bin, aber ich möchte wissen, wie das funktioniert: findIndices :: (a -> Bool) -> [a] -> [Int] findIndices _ [] = [] findIndices pred xs = map fst (filter (pred . snd) (zip [0..] xs)) Ausgabe: findIndices (== 0) [1,2,0,3,0] == …

12 haskell composition higher-order-functions function-composition pointfree

1

Seltsames Verhalten von (^) in Haskell

Warum gibt GHCi unten eine falsche Antwort? GHCi λ> ((-20.24373193905347)^12)^2 - ((-20.24373193905347)^24) 4.503599627370496e15 Python3 >>> ((-20.24373193905347)**12)**2 - ((-20.24373193905347)**24) 0.0 UPDATE Ich würde Haskells (^) Funktion wie folgt implementieren. powerXY :: Double -> Int -> Double powerXY x 0 = 1 powerXY x y | y < 0 = powerXY (1/x) …

12 haskell floating-point ghc ghci

1

Welche Regeln gibt es für eine Funktion a -> (), die in Haskell ausgewertet wird?

Wie der Titel schon sagt: Welche Garantien gibt es für die Bewertung einer Haskell-Funktionsrückgabeeinheit? Man könnte meinen, dass in einem solchen Fall keine Auswertung erforderlich ist. Der Compiler könnte alle derartigen Aufrufe durch einen unmittelbaren ()Wert ersetzen, es sei denn, es liegen explizite Anforderungen an die Strenge vor. In diesem …

12 haskell language-lawyer lazy-evaluation semantics unit-type

1

Wie kann man die Fortsetzungsmonade in linke und rechte Adjunkte zerlegen?

As State Monad kann in Produkt (Left - Functor) und Reader (Right - Representable) zerlegt werden. Gibt es eine Möglichkeit, die Fortsetzungsmonade zu faktorisieren? Der folgende Code ist mein Versuch, bei dem keine Überprüfung durchgeführt wird -- To form a -> (a -> k) -> k {-# LANGUAGE MultiParamTypeClasses, TypeOperators, …

11 haskell monads continuations category-theory comonad

1

Verwenden Sie Haskell-ähnliche Prelude-Module in einem Modul in Raku

Ich schreibe ein Zeichenpaket mit einigen Teilen und habe Operatoren und Datentypen, die überall verteilt sind. Ich möchte jedoch nicht, dass die Benutzer jedes Mal die entsprechenden Module hinzufügen, da dies ziemlich chaotisch wäre, zum Beispiel hätte ich eine PointKlasse, eine MonoidRolle und eine StyleKlasse in verschiedenen Pfaden wie diesen …

11 haskell raku

1

Geben Sie Rollen und verwirrendes Verhalten durch "Zwang" ein

Ich habe eine Art Id aund ich versuche , aus Versehen Nötigung zu verhindern, beispielsweise ein Id Doublezu ein Id Int. Wenn ich Typrollen richtig verstehe, sollte Folgendes nicht kompiliert werden. {-# LANGUAGE RoleAnnotations #-} import Data.Coerce (coerce) type role Id nominal newtype Id a = Id String badKey :: …

11 haskell roles coerce

2

Summieren über Listen beliebiger Verschachtelungsebenen in F #

Ich versuche, eine F # -Funktion zu erstellen, die die Summe einer Liste von ints mit beliebiger Verschachtelung zurückgibt. Dh. es wird für a list<int>, a list<list<int>>und a funktionieren list<list<list<list<list<list<int>>>>>>. In Haskell würde ich so etwas schreiben wie: class HasSum a where getSum :: a -> Integer instance HasSum Integer …

10 haskell f#

2

Klarstellung zu existentiellen Typen in Haskell

Ich versuche, existentielle Typen in Haskell zu verstehen und bin auf ein PDF gestoßen: http://www.ii.uni.wroc.pl/~dabi/courses/ZPF15/rlasocha/prezentacja.pdf Bitte korrigieren Sie mein unten stehendes Verständnis, das ich bis jetzt habe. Existenzielle Typen scheinen nicht an dem Typ interessiert zu sein, den sie enthalten, aber Mustervergleiche besagen, dass es einen Typ gibt, von dem …

10 haskell gadt existential-type

Als «haskell» getaggte Fragen