Suchergebnisse für Anfrage "haskell"
Ist da ein Functor, der kein gesetzestreuer Bewerber sein kann?
A recent question [https://stackoverflow.com/questions/36274369/what-are-some-types-that-discriminate-between-categories] fragte allgemein nach den Grenzen zwischen verschiedenen Haskell-Klassen. Ich hatte die Idee ...
Frequent GC verhindert, dass Funken parallel laufen
Ich habe versucht, das erste Beispiel hier auszuführen:http: //chimera.labs.oreilly.com/books/1230000000929/ch03.htm [http://chimera.labs.oreilly.com/books/1230000000929/ch03.html] Code:https: ...
Was sind einige Typen, die zwischen Kategorien unterscheiden?
Ich werde immer noch mit all diesen kategorietheoretischen Dingen vertraut und fast jedes Beispiel, das ich sehe, ist mit einem Vielleicht oder einem Array. Aber ich habe keine Beispiele gefunden, die zwischen diesen Kategorien unterscheiden. ...
Kombinationsstatus mit E / A-Aktionen
Angenommen, ich habe eine staatliche Monade wie: data Registers = Reg {...} data ST = ST {registers :: Registers, memory :: Array Int Int} newtype Op a = Op {runOp :: ST -> (ST, a)} instance Monad Op where return a = Op $ \st -> (st, a) (>>=) ...
Warum können Haskell-Ausnahmen nur in der IO-Monade abgefangen werden?
Kann jemand erklären, warum Ausnahmen außerhalb der E / A-Monade ausgelöst werden, aber nur innerhalb dieser Monade abgefangen werden dürfen?
Wie wird das Produkt aus zwei Objektiven hergestellt?
Wenn ich zwei Objektive habe: foo :: Lens' X Foo bar :: Lens' X Bar Gibt es eine Möglichkeit, eine Produktlinse zu konstruieren: foobar :: Lens' X (Foo, Bar) foobar = ... foo baroder ist es unmöglich?
arum enthält Haskell so viele äquivalente Funktione
Es scheint, als gäbe es viele Funktionen, die dasselbe tun, insbesondere in Bezug auf Monaden, Funktoren und Anwendungsprogramme. Beispiele (von den meisten bis zu den wenigsten generischen): fmap == liftA == liftM (<*>) == ap liftA[2345] == ...
Monaden vs. Pfeile
Ich bin weitgehend vertraut mit den Konzepten von Monaden [http://en.wikipedia.org/wiki/Monads_in_functional_programming] und Pfeile [http://en.wikipedia.org/wiki/Arrows_in_functional_programming] wie in der funktionalen Programmierung ...
Total persistente Warteschlangen in Echtzeit
Okasaki beschreibt persistente Echtzeitwarteschlangen, die in Haskell mit dem Typ @ realisiert werden könne data Queue a = forall x . Queue { front :: [a] , rear :: [a] , schedule :: [x] } wobei inkrementelle Rotationen die Invariante @ ...
Wie kann ich widersprüchliche Beweise verwenden?
Während des SchreibensÜber das Subtyping in Haskell [https://stackoverflow.com/a/36680559/791604], mir ist der Gedanke gekommen, dass es sehr praktisch wäre, widersprüchliche Beweise wie @ "zu verwenden"True ~ False, um den Compiler über tote ...