Suchergebnisse für Anfrage "haskell"
Funktionen, die für Anrufer rein aussehen, aber intern die Mutation verwenden
Ich habe gerade meine Kopie vonExpert F # 2.0 und stieß auf diese Aussage, die mich etwas überraschte: Bei Bedarf können Sie Nebenwirkungen auf private Datenstrukturen anwenden, die zu Beginn eines Algorithmus zugewiesen wurden, und diese ...
Force `stack` um ein installiertes Paket wiederherzustellen
Ich installiere oft ein Paket, das von externen Bibliotheken abhängt, und schaffe es, diese externen Bibliotheken anschließend an andere Speicherorte zu verschieben, sodass kompilierte Programme mit einem Loader-Fehler beendet werden. In diesen ...
F # Typdeklaration möglich bei Haskell?
Ich habe eine Reihe von Quellen durchsucht: Es scheint nicht möglich zu sein, eine Typdefinition in F # ala Haskell zu deklarieren: ' haskell type def: myFunc :: int -> int Ich möchte diesen Typ-Def-Stil in F # verwenden - FSI freut sich, mich ...
Handhabung mehrerer Typen mit derselben internen Darstellung und minimalem Boilerplate?
Beim Schreiben größerer Programme in Haskell stoße ich häufig auf ein Problem. Ich möchte oft mehrere unterschiedliche Typen, die eine interne Darstellung und mehrere Kernoperationen gemeinsam haben. s gibt zwei relativ offensichtliche Ansätze, ...
Haskell Pattern Matching - Wie benutzt man Konstanten Variable
Ich möchte im Idealfall so etwas schreiben: myValue1 = 1 :: Int myValue2 = 2 :: Int myFunc :: Int -> Bool myFunc myValue1 = True myFunc myValue2 = FalseCallingmyFunc myValue2 kehrt zurückTrue - nicht was ich vorhabe. Ich weiß, warum dies ...
Warum wird dieser Code mit UndecidableInstances kompiliert und anschließend eine Endlosschleife zur Laufzeit generiert?
Beim Schreiben von Code mitUndecidableInstances Vorhin bin ich auf etwas gestoßen, das ich sehr merkwürdig fand. Ich habe es geschafft, versehentlich Code zu erstellen, der typüberprüft, obwohl ich der Meinung war, dass dies nicht der Fall sein ...
Warum ist die Summe x y vom Typ (Num a) => a -> a -> a in Haskell?
Ich habe über Haskell gelesen und es fällt mir schwer zu verstehen, wie Funktionsdefinitionen in dieser Sprache behandelt werden. Sagen wir, ich definiere einsum Funktion: let sum x y = x + ywenn ich Haskell nach seinem Typ frage :t sumIch ...
Gibt es eine Möglichkeit, Funktionen wie withCString zu verketten?
ibt es eine Möglichkeit, Funktionen wie @ zu verkettewithCString? Damit meine ich jede Funktion, die so aussieht wief :: Foo -> (CFoo -> IO a) -> IO a. Nehmen wir zum Beispiel an, es gibt eine FunktioncFunc :: CString -> CFoo -> CBar -> IO ...
In Haskell, sind "höherwertige Typen" * wirklich * Typen? Oder bezeichnen sie nur Sammlungen von * konkreten * Typen und nichts weiter?
Paramametrisch polymorphe FunktionenBetrachten Sie die folgende Funktion: f :: a -> Int f x = (1 :: Int)Wir könnten sagen, dass die Art vonf ista -> Int, und dasf ist daher ein "polymorpher" Typ. Welche der folgenden Aussagen ist die genaueste ...
Wer hat das Proxy-Passing erfunden und wann?
Es scheint, dass bis vor einigen Jahren die übliche Art, einen zusätzlichen Typ an eine Funktion zu übergeben, darin bestand, etwas wie @ zu tu f (undefined :: T)Kiselyov und Shan verwendeten diesen Ansatz sogar in ihrem klassischen Artikel ...