category-theory

16Hitze

1Antwort

Wie zeige ich, dass ein Haskell-Typ von einer einzigen Funktion bewohnt wird?

In this answer zeigt Gabriel Gonzalez, wie man zeigt, dass id der einzige Einwohner von forall a. a -> a ist. Um dies zu tun (in der formalsten Iteration des Beweises), zeigt er, dass der Typ isomorph

3Hitze

1Antwort

Haskell: Control.Category.Monoidal: Inverse von Associate, IDL und idr

Control.Category.Associative erklärt die morphism associate: class Bifunctor p k k k => Associative k p where associate :: k (p (p a b) c) (p a (p b c)) Aber, wie ich monoidal Kategorien zu ver

6Hitze

1Antwort

typeclass für (was zu sein scheint) eine kontra Funktors Implementierung Funktion Inversion

Lets sagen, ich habe die folgende import Control.Category (Category, (.), id) data Invertible a b = Invertible (a -> b) (b -> a) instance Category Invertible where id = Invertible Prelude.id

11Hitze

1Antwort

Was sind "Vokabeltypen" und wie viele existieren?

Quer durch Programmiersprachen, habe ich ähnliche composite types mit verschiedenen Namen auftreten: Optional/Maybe Any Variant/Sum Record/Product oft Menschen den Wortschatz Typ Begriff verwenden , N

5Hitze

3Antwort

Funktoren in Java

Ich versuche Klassen in Java zu definieren, die Haskell Funktoren ähnlich sind. Hierdurch wird ein Funktor ist definiert als: /** * Programming languages allow only (just simply enough) endofunctor,

6Hitze

1Antwort

Ressource, die das Vokabular von Edward Kmetts Linsenpaket erklärt

Ich versuche, die Dokumentation in Edward Kmett 's Lens Paket zu lesen. Ich bin nicht vertraut mit einer Menge der verwendeten Begriffe (profunctor, Isomorphismus, monomorphe, kontravariante, bifuncto

10Hitze

1Antwort

Warum muss fmap jedes Element einer Liste zuordnen?

Nachdem das Buch Learn you a Haskell For Great Good und das sehr hilfreich Wiki Buch Artikel Haskell Category Theory lesen, die mich of confusing category objects with the programming objects, die gem

15Hitze

2Antwort

Warum unterscheiden sich Monad-Transformatoren von Monaden?

In vielen Fällen ist mir nicht klar, was man erreichen kann, wenn man zwei Monaden mit einem Transformator kombiniert, statt zwei getrennte Monaden zu verwenden. Offensichtlich ist die Verwendung von

7Hitze

1Antwort

Ist das eine sinnvolle Verallgemeinerung von `scan`s für beliebige ADTs?

Ich habe darüber nachgedacht, wie man scanl zu beliebigen ADTs verallgemeinern könnte. Der Prelude-Ansatz besteht darin, alles als eine Liste zu behandeln (d. H. Foldable) und die scanl auf die erweit

18Hitze

2Antwort

Was ist Applicative Functor Definition aus der Kategorie Theorie POV?

konnte ich Functor Definition aus der Kategorie Theorie Haskell Definition in der folgenden Art und Weise abzubilden: da Objekte von Hask Typen sind, die Funktors F F a durch jede Art a von Hask in de