type-variables

10Ciepło

1Odpowiedz

Jaka jest reguła porządku wielu zmiennych typu w haskell?

Na przykład ParsecT zawiera wiele zmiennych typu w swojej definicji. newtype ParsecT s u m a = ParsecT {unParser :: forall b . State s u -> (a -> State s u -> ParseError -> m b)

haskell ghc newtype type-variables 2013-05-31

---

10Ciepło

1Odpowiedz

Jak mogę wyrazić foldr w kategoriach foldMap dla sekwencji wyrównanych do typu?

Gram w pobliżu z type-aligned sequences, a zwłaszcza mam problem z ich złożeniem. Składany sekwencją typu wyrównany wygląda mniej więcej tak: class FoldableTA fm where foldMapTA :: Category h =>

haskell types monoids type-variables foldable 2015-06-22

---

6Ciepło

1Odpowiedz

Haskell Odwoływanie się do zmiennej typu

Od czasu do czasu wpadam na ten problem i na koniec chciałem zapytać, czy istnieje wspólne rozwiązanie lub wzorzec. Czy można utworzyć zmienną typu w zagnieżdżonym kontekście, odwołując się do typu z

haskell scope type-variables 2014-12-06

---

11Ciepło

1Odpowiedz

W jaki sposób GHCi wybiera nazwy zmiennych typu?

Podczas korzystania z interaktywnego GHC tłumacza, to jest możliwe, aby poprosić o wywnioskować typu wyrażenia: Prelude> :t map map :: (a -> b) -> [a] -> [b] Wydaje się, że to trwa nazwy zmiennych

haskell type-inference ghc ghci type-variables 2011-12-15

---