Suchergebnisse für Anfrage "type-kinds"
Was ist Constraint in kind signature
Wenn ich das @ inspiziekind vonMaybe Ich bekomme das: λ> :k Maybe Maybe :: * -> *Nun, wenn ich die Art von @ inspizieMonad Ich bekomme das: λ> :k Monad Monad :: (* -> *) -> ConstraintWas istConstraint dort und warum wird es gebraucht? Warum ...
Ist es möglich, die Art eines Typkonstruktors in Haskell zu bekommen?
Ich arbeite mit Data.Typeable und möchte insbesondere korrekte Typen einer bestimmten Art erzeugen können (sagen Sie*). Das Problem, auf das ich stoße, ist, dass wir mit TypeRep Folgendes ausführen können (mit der Version in GHC 7.8): let ...
Was genau ist die Art "*" in Haskell?
n Haskell werden (Wertebenen-) Ausdrücke in @ klassifizier types, das mit @ notiert werden ka:: wie so:3 :: Int, "Hello" :: String, (+ 1) :: Num a => a -> a. Ebenso werden Typen in @ klassifizier Arten. In GHCi können Sie die Art ...
Art vs Rang in der Typentheorie
Es fällt mir schwer, Higher Kind vs Higher Rank-Typen zu verstehen. Art ist ziemlich einfach (danke Haskell-Literatur dafür) und ich dachte, Rang sei wie Art...