Programmierung haskell

4

Grundlegendes zu einer rekursiv definierten Liste (Fibs in Bezug auf zipWith)

Ich lerne Haskell und bin auf folgenden Code gestoßen: fibs = 0 : 1 : zipWith (+) fibs (tail fibs) Ich habe ein bisschen Probleme beim Parsen, was die Funktionsweise betrifft. Es ist sehr ordentlich, ich verstehe, dass nichts mehr benötigt wird, aber ich würde gerne verstehen, wie Haskell es …

70 list haskell lazy-evaluation fibonacci lazy-sequences

3

Welche Zeichen sind für Haskell-Operatoren zulässig?

Gibt es irgendwo eine vollständige Liste der zulässigen Zeichen oder eine Regel, die bestimmt, was in einem Bezeichner gegenüber einem Operator verwendet werden kann?

70 haskell syntax operators

3

Was genau ist unter „Teilfunktion“ in der Funktionsprogrammierung zu verstehen?

Nach meinem Verständnis sind Teilfunktionen Funktionen, die wir erhalten, wenn wir weniger Parameter an eine Funktion übergeben als erwartet. Wenn dies beispielsweise in Python direkt gültig wäre: >>> def add(x,y): ... return x+y ... >>> new_function = add(1) >>> new_function(2) 3 Im obigen Snippet new_functionist eine Teilfunktion. Laut Haskell Wiki …

55 python haskell functional-programming partial-application partial-functions

2

So reduzieren Sie die Codeduplizierung beim Umgang mit rekursiven Summentypen

Ich arbeite derzeit an einem einfachen Interpreter für eine Programmiersprache und habe einen Datentyp wie diesen: data Expr = Variable String | Number Int | Add [Expr] | Sub Expr Expr Und ich habe viele Funktionen, die einfache Dinge tun wie: -- Substitute a value for a variable substituteName :: …

50 haskell functional-programming dry code-duplication recursive-type

5

Gibt es eine Chance, "C-Dur" anstelle von "Dur C" zu schreiben?

Ich bin in meinem Musikprojekt auf ein kleines ästhetisches Problem gestoßen, das mich seit einiger Zeit nervt. Ich habe einen Typ data Key = C | D | ...und kann einen Scaleaus a Keyund a konstruieren Mode. Das Modeunterscheidet zB eine Dur- und eine Moll-Tonleiter. Ich kann den ModeTyp als …

39 haskell dsl

3

Warum wird der Zugriff auf System.Info in Haskell nicht als E / A-Vorgang angesehen?

Im Modul System.Infosehe ich folgende Funktionen: os :: String arch :: String compilerName :: String compilerVersion :: Version Warum gibt es dort keine IO? Sie greifen auf das System zu ... irre ich mich? Meine Erwartung war ungefähr so: os :: IO String arch :: IO String compilerName :: IO …

25 haskell

2

Haben moderne GHC-Versionen irgendeine Art von Proof-Löschung?

Angenommen, ich habe einen Parameter, der nur zum Nutzen des Typsystems existiert, zum Beispiel wie in diesem kleinen Programm: {-# LANGUAGE GADTs #-} module Main where import Data.Proxy import Data.List data MyPoly where MyConstr :: Proxy a -> a -> (Proxy a -> a -> Int -> Int) -> MyPoly …

22 haskell phantom-types

2

Das Bedürfnis nach rein in Applikativen

Ich lerne Haskells Bewerber. Es scheint mir (ich liege wahrscheinlich falsch), dass diepure Funktion nicht wirklich benötigt wird, zum Beispiel: pure (+) <*> [1,2,3] <*> [3,4,5] kann geschrieben werden als (+) <$> [1,2,3] <*> [3,4,5] Kann jemand den Nutzen erklären, den die pureFunktion gegenüber der expliziten Zuordnung bietet fmap?

19 haskell applicative

2

Was ist die Annahme in "Learn You a Haskell", wenn die Art abgeleitet wird?

Diese Frage ist nicht subjektiv. In dem Buch, auf das verwiesen wird, wird ein sehr spezifisches Verb verwendet, und ich würde gerne verstehen, was die Implikation dieser Formulierung bedeutet, weil ich befürchte, etwas falsch zu verstehen. Aus Learn You a Haskell ist der folgende Absatz der dritte und letzte, der …

18 haskell

5

Gibt es eine Möglichkeit, eine Funktion vom Typ ((a -> b) -> b) -> entweder ab zu realisieren?

Vorschläge (P -> Q) -> QundP \/ Q sind gleichwertig. Gibt es eine Möglichkeit, diese Gleichwertigkeit in Haskell zu bezeugen: from :: Either a b -> ((a -> b) -> b) from x = case x of Left a -> \f -> f a Right b -> \f -> b …

18 haskell logic

2

Haskell: Typklasse vs. Übergeben einer Funktion

Mir scheint, dass Sie immer Funktionsargumente übergeben können, anstatt eine Typklasse zu verwenden. Zum Beispiel, anstatt eine Gleichheitstypklasse zu definieren: class Eq a where (==) :: a -> a -> Bool Die Verwendung in anderen Funktionen zur Angabe des Typarguments muss eine Instanz von Eq: elem :: (Eq a) => …

16 haskell functional-programming higher-order-functions

2

Gibt es einen Unterschied zwischen den Typensignaturen a -> b -> a und c -> a -> c?

Diese Frage ist eine theoretische Frage zu Haskell-Funktionen, die Argumente jeglicher Art annehmen können. Gibt es einen Unterschied zwischen der Funktionsweise mit den Typensignaturen von a -> b -> a und c -> a -> c instanziiert werden? Jede Hilfe wird geschätzt.

16 haskell functional-programming

1

Was kann @ neben dem Muster in Haskell noch bedeuten?

Ich studiere derzeit Haskell und versuche, ein Projekt zu verstehen, das Haskell zur Implementierung kryptografischer Algorithmen verwendet. Nachdem ich Learn You a Haskell for Great Good online gelesen habe , beginne ich, den Code in diesem Projekt zu verstehen. Dann stellte ich fest, dass ich beim folgenden Code mit dem …

15 haskell symbols operator-keyword as-pattern

1

Sollte ein Haskell-Parser Unicode-Ziffern in numerischen Literalen zulassen?

Als Übung schreibe ich einen Parser für Haskell von Grund auf neu. Bei der Erstellung des Lexers habe ich die folgenden Regeln im Haskell 2010-Bericht beachtet : Ziffer → ascDigit | uniDigit ascDigit → 0| 1| … | 9 uniDigit → beliebiges Unicode-Dezimalstellen- Oktit → 0| 1| … | 7 …

15 haskell syntax language-lawyer literals

1

Gibt es eine van Laarhoven-Darstellung von "Optional"?

Viele Arten von Optiken haben eine Van-Laarhoven-Darstellung. Beispielsweise kann ein LensTyp Lens s t a b wie folgt dargestellt werden: Functor f => (a -> f b) -> s -> f t In Traversalähnlicher Weise kann a auf ähnliche Weise dargestellt werden, wobei die FunctorEinschränkung gegen Folgendes ausgetauscht wird Applicative: …

15 scala haskell functional-programming lenses monocle-scala

Als «haskell» getaggte Fragen