type-kinds

5Ciepło

1Odpowiedz

Co * (gwiazdka) lub inne rodzaje myśli w liście instancji plamiaka

Przeglądając haddocks różnych opakowaniach często przyjść przykład dokumentacji, które wyglądają następująco (Control.Category): Category k (Coercion k) Category * (->) lub tym (Control.Monad.Trans

haskell haddock type-kinds polykinds 2017-01-21

---

9Ciepło

1Odpowiedz

Kind vs Rank in type theory

Ciężko mi zrozumieć typy Higher Kind vs Higher Rank. Rodzaj jest dość prosty (dzięki temu, że Haskell do tego pisze) i myślałem, że ranga jest jak rodzaj, gdy mówimy o typach, ale najwyraźniej nie! Pr

type-theory higher-rank-types type-kinds 2012-11-09

---

6Ciepło

2Odpowiedz

Definiowanie Haskell FixF w scala

Więc comonad.com ma interesującą serię artykułów na temat pracy z aplikacjami i staram się przynieść wszystko, co mogę, aby scala (dla zabawy i do nauki). Tak, Haskell definiuje FixF - newtype FixF f

scala haskell types higher-kinded-types type-kinds 2014-05-17

---

5Ciepło

1Odpowiedz

Rodzaje niezgodnych z typem lambda

kłopoty z typu "rodzaje": trait Sys[ S <: Sys[S]] trait Expr[S <: Sys[S], A] trait Attr[S <: Sys[S], A[_]] def test[ S <: Sys[S]]: Attr[S, ({type l[x<:Sys[x]]=Expr[x,Int]})#l] = ??? To nie z erro

scala types existential-type type-kinds partially-applied-type 2013-01-17

---

16Ciepło

2Odpowiedz

Wyjaśnienie ConstraintKinds na super prostym przykładzie:

Co to jest Constraint kind? Dlaczego ktoś z tego korzysta (w praktyce)? Co jest dobre dla? Czy możesz podać prosty przykład kodu ilustrujący odpowiedzi na dwa poprzednie pytania? Dlaczego jest używany

haskell ghc type-kinds constraint-kinds 2015-07-09

---