functor

6Hitze

1Antwort

Verallgemeinern der "Sequenz" für alle Funktoren?

Ich habe diesen Code: fmapM :: Monad m => (a -> m b) -> (t, a) -> m (t, b) fmapM f (id, e) = do ev <- f e return (id, ev) , die im Grunde die Funktion in dem Tupel dem zweiten Element gil

9Hitze

3Antwort

Was ist der Zweck von (<$) in der Functor-Klasse?

Die Functor Klasse enthält ein verstecktes zweites Element: class Functor f where fmap :: (a -> b) -> f a -> f b (GHC.Base.<$) :: a -> f b -> f a Dokumentation: alle Standorte mit dem glei

8Hitze

2Antwort

C++: Funktion übergeben mit einer beliebigen Anzahl von Parametern als Parameter

lange Zeit Browser, erste Zeit hier fragen. Ich habe eine Reihe von Skripten für verschiedene numerische 1D-Integrationsmethoden geschrieben und diese in eine Bibliothek kompiliert. Ich möchte, dass d

11Hitze

1Antwort

Was ist die Geschichte hinter der Funktor-Klasse?

Ich versuche, ein tiefes Verständnis der Hierarchie der Klassen Monad zu gewinnen. Dazu gehört natürlich, viele Beispiele zu sehen, aber ich interessiere mich besonders für die Geschichte, wie diese K

5Hitze

1Antwort

Eine Show-Instanz für Data.Functor.Compose ohne FlexibleContexts schreiben

Ich experimentiere mit Data.Functor.Compose und wollte eine Show-Instanz dafür schreiben, wenn ich Dinge in ghci ausprobiere. Was ich habe, (welche arbeitet) ist: {-# LANGUAGE FlexibleContexts #-} in

21Hitze

4Antwort

Was bedeutet es, zwei Funktoren zu komponieren?

Exercise 5 of the Haskell Typeclassopedia Section 3.2 bittet um einen Beweis oder Gegenbeispiel auf die Aussage Die Zusammensetzung von zwei Funktoren ist auch ein Functor. Ich dachte zuerst, dass die

20Hitze

1Antwort

Funktoren und Applicates für Arten von Art (* -> *) -> *

Ich lief in einer Situation, in der mein Code von der Verwendung Functor und -ähnliche Abstraktionen profitieren würde, aber für Arten von Art (* -> *) -> *. eine höhere kinded Funktors definieren kan

5Hitze

1Antwort

Was Haskell Paket hat eine Einheit Funktor/Monade?

Ich suche die Einheit Funktors/Monade data Unit a = Unit ich es leicht wiederherstellen könnte, aber ich möchte lieber nicht etwas, das Grund duplizieren. Es lebte in Control.Functor im Kategorie-Ex

7Hitze

1Antwort

Syntax in Haskell "Functor [::]"

Ich bin auf die Instanz Functor [::]here gestoßen, aber ich verstehe die Syntax nicht und habe das nirgendwo im Code gefunden. Was sagt die Dokumentation?

5Hitze

5Antwort

Boolesche Funktoren in Lisp

Ich finde mich in einer Situation, wenn ich mehrere Prädikat in eins kombinieren müssen. Gibt es eine Standardmethode, etwas Ähnliches wie compliment? Angenommen, es gibt mehrere einfache Prädikate (z