Suchergebnisse für Anfrage "monoids"
Können Sie die Einfügesorte in Clojure als Monoid formulieren?
Dies ist der Code für eine Einfügesortierung in Clojure: (defn in-sort! [data] (letfn [(insert ([raw x](insert [] raw x)) ([sorted [y & raw] x] (if (nil? y) (conj sorted x) (if (<= x y ) (concat sorted [x,y] raw) (recur (conj sorted y) raw x ...
Können Sie die Bubble-Sortierung als Monoid oder Halbgruppe formulieren?
Gegeben der folgende Pseudocode für die Bubble-Sortierung procedure bubbleSort( A : list of sortable items ) repeat swapped = false for i = 1 to length(A) - 1 inclusive do: /* if this pair is out of order */ if A[i-1] > A[i] then /* swap them ...
Endofunktion als Monoid
Ich versuche dies (zu Lernzwecken): {-# LANGUAGE FlexibleInstances #-} instance Monoid (a -> a) where mempty = id mappend f g = f . gerwartungid <> id gleich @ seid . id Jedoch mit(id <> id) 1 Ich erhalte diesen Fehler: Non type-variable ...
Eine Monade ist nur ein Monoid in der Kategorie der Endofunktoren, was ist das Problem?
Wer hat zuerst folgendes gesagt? Eine Monade ist nur ein Monoid in der Kategorie der Endofunktoren, was ist das Problem? Und in einem weniger wichtigen Punkt, ist das wahr und wenn ja, könnten Sie eine Erklärung geben (hoffentlich eine, die von ...
Monoid vs MonadPlus [duplizieren]
Diese Frage hat hier bereits eine Antwort: Warum MonadPlus und nicht Monad + Monoid? [/questions/23023961/why-monadplus-and-not-monad-monoid] 2 AntwortenIch bin sehr neu für beideMonads undMonoids und vor kurzem auch über @ gelerMonadPlus. ...
Haskell: Wie man eine `Monoid`-Instanz für etwas schreibt, das von Parametern abhängt
Ich arbeite an einer kleinen Bibliothek für die Universität, die Ganzzahlberechnungen in einem @ durchführcyclic group [https://en.wikipedia.org/wiki/Cyclic_group]; Dinge wie (3 (% 11)) + (10 (% 11)) --> (2 (% 11)) 'Ganzzahlen (% n)' bilden ...
Wie schreibt man ein Monoid-Protokoll in Clojure?
Das Folgende funktioniert aus offensichtlichen Gründen nicht.
Warum gibt es keine 'Alternative' Instanz für 'Control.Applicative.Const'
Es gibt eine InstanzMonoid a => Monoid (Const a b) für dasConst [http://hackage.haskell.org/package/base-4.7.0.2/docs/Control-Applicative.html#t:Const] functor vonControl.Applicative. Es gibt auch eine InstanzMonoid m => Applicative (Const m). ...