Tag: monads

Einer Monade in der Programmierung ist ein composable Berechnung Beschreibung. Monaden sind ein wichtiges Konstrukt in funktionalen Programmiersprachen wie Haskell.

Un-optioning eine optioniert Option

Anzahl der Antworten 6 Antworten
Sagen, dass ich eine val s: Option[Option[String]]. Es können somit die folgenden Werte haben: Some(Some("foo")) Some(None) None Will ich reduzieren, so dass das erste wird Some("foo") während die beiden anderen werden None. Offensichtlich gibt es viele Wege,

Warum die Anwendung von `Sequenz` auf die Liste der Listen führen die Berechnung von deren Kartesisches Produkt?

Anzahl der Antworten 3 Antworten
Meine Frage ist über die sequence Funktion in Prelude, die Signatur ist wie folgt: sequence :: Monad m => [m a] -> m [a] Verstehe ich, wie diese Funktion arbeitet für List von Maybes. Zum Beispiel die

Scala-Option und flatMap

Anzahl der Antworten 3 Antworten
Ich versuche, den Dreh-arbeiten "der Scala Weg" also ich Frage mich, ob der folgende code ist, wie Dinge getan werden sollte, in diesem Fall. Also ich habe die Entitäten User und Unternehmen (abgebildet mit LiftWeb mapper). Benutzer

Warum haben wir die Karte fmap und liftM?

Anzahl der Antworten 1 Antworten
map :: (a -> b) -> [a] -> [b] fmap :: Functor f => (a -> b) -> f a -> f b liftM :: Monad m => (a -> b) -> m a -> m b

Was ist der Unterschied zwischen liftM und mapM in Haskell

Anzahl der Antworten 4 Antworten
Was ist der Unterschied zwischen den Funktionen liftM und mapM? Diese Frage hat nichts zu tun mit mapM. du hast Recht. Entschuldigen Sie mich. Ich sollte mehr Lesen sorgfältig, denke ich. InformationsquelleAutor Luke | 2011-05-02

Falten über Maybes in Haskell

Anzahl der Antworten 5 Antworten
In einem Versuch zu lernen, Haskell, ich habe über eine situation kommen, in der ich wünschte zu tun, eine Falte über eine Liste, aber mein Akku ist ein Vielleicht. Die Funktion habe ich bin die Faltung mit

continuation-passing-style vs Monaden

Anzahl der Antworten 4 Antworten
Was sind die Unterschiede zwischen continuation-passing-style (cps) und Monaden. InformationsquelleAutor Carlo V. Dango | 2010-12-24

Haskell: I/O-und Rückkehr Aus einer Funktion

Anzahl der Antworten 3 Antworten
Bitte Geduld mit mir, wie ich bin sehr neu in die funktionale Programmierung und Haskell. Ich bin versucht zu schreiben, eine Funktion in Haskell, die eine Liste von ganzen zahlen, druckt der Kopf der Liste, und dann

In Clojure, als sollten wir eine Monade, statt eine makro-und Umgekehrt?

Anzahl der Antworten 3 Antworten
Gibt es auch viele tutorials draußen auf Monaden, die sagen... "Look! hier ist ein Fall, wo wir können eine Monade" oder "Dies ist, was eine Monade ist" für". Was ich wissen will ist, was sind einige der

Mit 'Entweder' in Haskell

Anzahl der Antworten 4 Antworten
Ich habe zwei Werte, t1 und t2 Typ Either String Type. Die Left-Wert wird verwendet für die Fehlerbehandlung. Diese Werte sind in einer Funktion verwendet, die Renditen Either String Type. Was ich will zu tun ist, überprüfen

Import Monaden funktioniert nicht (undicht haskell-Plattform)

Anzahl der Antworten 2 Antworten
Da es keine haskell-plattform für die neueste Ubuntu 13.04, die ich nur heruntergeladen GHCi und hatte keine Probleme bis jetzt. Aber jetzt will ich arbeiten mit Monaden. Importieren Sie mit import Control.Monad.State beispielsweise funktioniert nicht. Die Fehlermeldung:

Haskell-syntax für ein case-Ausdruck in do-block

Anzahl der Antworten 2 Antworten
Ich kann nicht ganz herausfinden, das syntax-problem mit einer case Ausdruck in einer do block. Was ist die richtige syntax? Wenn Sie beheben könnte mein Beispiel und erklären Sie, dass wäre das beste. module Main where main

Monade die Funktion join

Anzahl der Antworten 5 Antworten
Während die Monaden sind vertreten in Haskell mithilfe der bind und return-Funktionen, können Sie auch eine andere Darstellung mit der join-Funktion, wie diskutiert hier. Ich weiß, der Typ dieser Funktion ist M(M(X))->M(X), aber was bedeutet das eigentlich?

Unterschied zwischen Monad und Applicative in Haskell

Anzahl der Antworten 6 Antworten
Ich habe gerade gelesen, das folgende von typeclassopedia über den Unterschied zwischen Monad und Applicative. Ich kann verstehen, dass es keine join im Applicative. Aber die folgende Beschreibung sieht vage zu mir und ich konnte nicht herausfinden,

Was ist indiziert Monade?

Anzahl der Antworten 5 Antworten
Was ist indiziert Monade und die motivation für diese Monade? Habe ich gelesen, dass es hilft, zu verfolgen, die Nebenwirkungen. Aber der Typ Signatur und Dokumentation nicht führen mich überall hin. Was wäre ein Beispiel dafür, wie

Monaden mit Join() anstelle von Bind()

Anzahl der Antworten 7 Antworten
Monaden sind in der Regel erklärt, in den Wendungen der return und bind. Aber ich nehme an, Sie können auch implementieren bind im Hinblick auf join (und fmap?) In Programmiersprachen fehlt, first-class-Funktionen, bind ist entsetzlich umständlich zu

Eine Monade ist nur ein monoid in der Kategorie endofunctors, was ist das problem?

Anzahl der Antworten 5 Antworten
Wer zuerst Folgendes gesagt? Einer Monade ist nur ein monoid in der Kategorie endofunctors, was ist das problem? Und auf ein weniger wichtiger Hinweis ist dies wahr und wenn das so ist könnte man eine Erklärung geben

Gute Beispiele für Nicht Funktor/Functor/Applicative/Monade?

Anzahl der Antworten 5 Antworten
Während jemand erklären, was ein class-Typ X ist, ich kämpfen, um zu finden gute Beispiele für Datenstrukturen, die genau X. So, ich bitte Beispiele für: Eine Art Konstruktor, der nicht Funktor. Eine Art Konstruktor, der ist ein

Applicatives Komponieren, die Monaden nicht

Anzahl der Antworten 5 Antworten
Applicatives Komponieren, die Monaden nicht. Was bedeutet die obige Aussage bedeuten? Und wenn, ist einer anderen vorzuziehen? Woher haben Sie diese Aussage? Es kann hilfreich sein, um zu sehen, einige Kontext. Ich habe es immer wieder gehört

Versuchen Monade in Java 8

Anzahl der Antworten 6 Antworten
Gibt es eine integrierte Unterstützung für die Monade, die sich mit exception-handling? Etwas ähnliches wie Scala Versuchen. Ich Frage, weil ich nicht gerne ungeprüfte Ausnahmen. InformationsquelleAutor Jiri Kremser | 2015-01-05

Stellt Haskell die Variablen haben?

Anzahl der Antworten 5 Antworten
Habe ich Häufig gehört, behauptet, dass Haskell nicht die Variablen haben; insbesondere, diese Antwort geltend, dass es nicht, und es wurde von Ihnen positiv bewertet werden, die mindestens neun mal und akzeptiert. So gibt es Variablen oder

Warum brauchen wir die Monaden?

Anzahl der Antworten 7 Antworten
In meiner bescheidenen Meinung sind die Antworten auf die berühmte Frage "Was ist eine Monade?"insbesondere für die am meisten gestimmt haben, diejenigen, die versuchen zu erklären, was ist eine Monade, ohne genau zu erklären warum die Monaden

Warum sind Nebenwirkungen modelliert als Monaden in Haskell?

Anzahl der Antworten 8 Antworten
Könnte jemand einige Hinweise geben, warum die unreinen Berechnungen in Haskell modelliert Monaden? Ich meine Monade ist nur ein interface mit 4 Operationen, also was war die Begründung für die Modellierung Nebenwirkungen? InformationsquelleAutor der Frage bodacydo |

Konvertieren IO Int zu Int

Anzahl der Antworten 3 Antworten
Ich habe eine combobox aus der Umwandlung einer xmlWidget zu einem comboBox mit der Funktion castTocomboBox und jetzt möchte ich, um den text oder den index des aktiven Elements. Das problem ist, dass wenn ich die comboBoxGetActive

Haskell — "Die Letzte Anweisung in einer 'do' konstruieren, muss ein Ausdruck sein"

Anzahl der Antworten 3 Antworten
Wie heißt es im Titel: Was bedeutet The last statement in a 'do' construct must be an expression bedeuten? Ich beendete meine do block mit einem putStrLn wie es zeigt in mehreren Beispielen, die ich gesehen habe,

Haskell und Zufallszahlen

Anzahl der Antworten 4 Antworten
Ich habe messing mit Haskell paar Tage und stolperte in ein problem. Brauche ich eine Methode, die zurückgibt, eine zufällige Liste von Integer-zahlen ( Rand [[Int]] ). So, ich definierte ein type: type Rand a = StdGen

Implementierung von Haskell ' s Maybe-Monade in c++11

Anzahl der Antworten 6 Antworten
Ich versuche zu implementieren, die Vielleicht Monade von Haskell unter Verwendung der lambda-Funktionen in C++11 und Vorlagen. Hier ist, was ich bisher #include<functional> #include<iostream> using namespace std; template<typename T1> struct Maybe { T1 data; bool valid; };

Haskell Monad Bind Operator Verwirrung

Anzahl der Antworten 3 Antworten
Okay, also ich bin kein Haskell-Programmierer, aber ich bin absolut fasziniert durch eine Menge von den Ideen, die hinter Haskell und bin auf der Suche in lernen es. Aber ich bin stecken geblieben auf Platz eins: ich

Eine Monade ist nur ein Monoid in der Kategorie der Endofonktoren, was ist das Problem?

Anzahl der Antworten 5 Antworten
Wer zuerst Folgendes gesagt? Einer Monade ist nur ein monoid in der Kategorie endofunctors, was ist das problem? Und auf ein weniger wichtiger Hinweis ist dies wahr und wenn das so ist könnte man eine Erklärung geben

Was ist eine Monade?

Anzahl der Antworten 29 Antworten
Dass kurz angeschaut Haskell vor kurzem, was würde eine kurze, prägnante, praktische Erklärung dafür, was eine Monade ist im wesentlichen? Habe ich gefunden, die meisten Erklärungen, die ich begegnet bin, ziemlich unzugänglich zu sein und fehlt in

Monaden mit Java 8

Anzahl der Antworten 7 Antworten
In der Interessen zu helfen, zu verstehen, was eine Monade ist, kann mir jemand ein Beispiel geben, die mit java ? Sind Sie möglich ? Lambda-Ausdrücke mit java wenn Sie den download der pre-release-lambda-kompatibel JDK8 von hier

Eine Haskell-Funktion vom Typ: IO String- & gt; Zeichenfolge

Anzahl der Antworten 4 Antworten
Schrieb ich eine Reihe von code in Haskell einen index zu erstellen der ein text. Die top-Funktion sieht wie folgt aus: index :: String -> [(String, [Integer])] index a = [...] Nun möchte ich in dieser Funktion

Wie spielt man mit Control.Monad.Writer in haskell?

Anzahl der Antworten 3 Antworten
Ich bin neu in die funktionale Programmierung ist und vor kurzem lernen in Lernen Sie eine Haskellaber wenn ich ging durch in diesem Kapitelich blieb stecken mit dem Programm unten: import Control.Monad.Writer logNumber :: Int -> Writer

Verwenden von Eithers mit Scala "für" -Syntax

Anzahl der Antworten 3 Antworten
Wie ich es verstehe, Scala "für" die syntax ist sehr ähnlich zu Haskell ' s monadischen "tun" - syntax. In Scala", "for" - syntax wird oft für Lists und Options. Ich würde gerne verwenden Sie es mit

Verwendung von Haskell State Monad ein Code-Geruch?

Anzahl der Antworten 8 Antworten
Gott, ich hasse den Begriff "code smell", aber ich kann nicht an nichts denken genauer. Ich bin der Gestaltung einer high-level-Sprache & compiler Leerräume in meiner Freizeit zu lernen über compiler-Bau, design-Sprache, die funktionale Programmierung (compiler, geschrieben

Böse Verwendung von Maybe Monad und Erweiterungsmethoden in C #?

Anzahl der Antworten 8 Antworten
Bearbeiten 2015 Diese Frage und Ihre Antworten sind nicht mehr relevant. Es wurde gebeten, vor dem Aufkommen von C# 6, der hat die null Vermehrung opertor (?.), das beugt dem hacky-workarounds diskutiert diese Frage und die nachfolgenden

Helfen Sie einem C # -Entwickler zu verstehen: Was ist eine Monade?

Anzahl der Antworten 6 Antworten
Es gibt eine Menge Gerede über die Monaden in diesen Tagen. Ich habe ein paar Artikel /blog-posts, aber ich kann nicht weit genug gehen mit Ihren Beispielen zu begreifen, das Konzept. Der Grund dafür ist, dass die

Muster um verschachtelte try catch Blöcke zu vermeiden?

Anzahl der Antworten 16 Antworten
Betrachten wir eine situation, wo ich drei (oder mehr) Möglichkeiten der Durchführung einer Berechnung, von denen jeder kann fehlschlagen, mit einer Ausnahme. Um zu versuchen, jede Berechnung, bis wir einen finden, der es schafft, ich habe dabei

Gute Beispiele für nicht ein Functor / Functor / Applicative / Monad?

Anzahl der Antworten 5 Antworten
Während jemand erklären, was ein class-Typ X ist, ich kämpfen, um zu finden gute Beispiele für Datenstrukturen, die genau X. So, ich bitte Beispiele für: Eine Art Konstruktor, der nicht Funktor. Eine Art Konstruktor, der ist ein

Haskell: Kann "map putStrLn" nicht verwenden?

Anzahl der Antworten 2 Antworten
Habe ich eine Liste von strings, und versuchte dies: ls = [ "banana", "mango", "orange" ] main = do map PutStrLn list_of_strings Das hat nicht funktioniert, und ich kann nicht verstehen, warum. ghc print-list.hs print-list.hs:3:0: Couldn't match

scala Iterable # map vs. Iterable # flatMap

Anzahl der Antworten 5 Antworten
Was ist der Unterschied zwischen den map und flatMap Funktionen Iterable? InformationsquelleAutor der Frage Landon Kuhn | 2009-06-29

Bewerber komponieren, Monaden nicht

Anzahl der Antworten 5 Antworten
Applicatives Komponieren, die Monaden nicht. Was bedeutet die obige Aussage bedeuten? Und wenn, ist einer anderen vorzuziehen? InformationsquelleAutor der Frage missingfaktor | 2011-08-12

RxJava - hole jedes Element auf der Liste

Anzahl der Antworten 4 Antworten
Habe ich eine Methode, die zurückgibt einen Observable<ArrayList<Long>>die ids von einigen Gegenständen. Ich möchte gehen Sie diese Liste durch und laden Sie jedes Element mithilfe einer anderen Methode zurückgibt Observable<Item>. Wie würde ich dies tun, mit RxJava

Großflächiges Design in Haskell?

Anzahl der Antworten 8 Antworten
Was ist ein guter Weg, um design/Struktur große funktionale Programme, vor allem in Haskell? Ich habe durch einen Haufen tutorials (Schreiben Sie Sich ein Schema, mein Favorit, der mit Real World Haskell eine enge zweite) - aber

Wie melde ich mich bei Haskell an?

Anzahl der Antworten 2 Antworten
Ich bin versucht, HSlogger, um einige Informationen über mein Programm. So ich fügen Sie die folgende Zeile in meiner Funktion import Data.Word import qualified Data.ByteString as B import qualified Data.ByteString.Lazy as L import Data.Bits import Data.Int import

Unterschied zwischen State, ST, IORef und MVar

Anzahl der Antworten 3 Antworten
Arbeite ich durch Schreiben Sie Selbst eine Regelung in 48 Stunden (ich bin bis zu 85hrs) und ich habe zum Teil über Hinzufügen von Variablen und Zuweisungen. Es ist eine große konzeptionelle Sprung in diesem Kapitel, und

Verwirrt mit dem Verständnis für Flatmap / Map-Transformation

Anzahl der Antworten 5 Antworten
Ich wirklich nicht zu sein scheinen Verständnis-Map-und FlatMap. Was ich scheitern zu verstehen ist, wie eine for-comprehension ist eine Sequenz von verschachtelten Aufrufe von map und flatMap. Das folgende Beispiel ist aus Funktionale Programmierung in Scala def

Wie man den Wert aus der monadischen Aktion extrahiert

Anzahl der Antworten 7 Antworten
Gibt es eine built-in Funktion mit Unterschrift :: (Monad m) => m a -> a ? Hoogle sagt, dass es keine solche Funktion. Können Sie erklären, warum? InformationsquelleAutor der Frage | 2011-12-19

Monad in einfachem Englisch? (Für den OOP-Programmierer ohne FP-Hintergrund)

Anzahl der Antworten 19 Antworten
In Bezug auf, dass ein OOP-Programmierer verstehen würde (ohne funktionale Programmierung im hintergrund), was ist eine Monade? Welches problem gilt es zu lösen und was sind die häufigsten Orte, es verwendet? EDIT: Zu klären, die Art von

Was sind freie Monaden?

Anzahl der Antworten 6 Antworten
Gesehen hab ich den Begriff Freie Monade pop-up - jeder jetzt und dann für einige Zeit, aber jeder scheint nur zu verwenden/zu diskutieren ohne eine Erklärung, was Sie sind. Also: was sind freie Monaden? (Ich würde sagen,