type-families

5Ciepło

1Odpowiedz

ghc 7.10.2 typ rodziny rozszerzenie nie działa

Dostaję parse error on input ‘where’ podczas próby następujący przykład w GHC 7.10.2: {-# LANGUAGE TypeFamilies #-} type family F a :: * type instance where F (Maybe Int) = Int F (Maybe B

11Ciepło

1Odpowiedz

odwrotne rodziny injective typu

Powiedzmy mam injective rodzinę typu T type family T a = b | b -> a Moje pierwsze pytanie czy istnieje sposób, aby napisać: type family T' = the inverse of T bez konieczności powtarzania wszystkic

5Ciepło

2Odpowiedz

Jak stworzyć "klasę rodzajową" w Haskell lub polimorfizm ad-hoc na poziomie typu za pomocą rodzin typu

Studiuję cechy rodziny typów Haskella i obliczenia typu. Wydaje się to dość łatwo dostać się polimorfizm parametryczny na poziomie typu używając PolyKinds: {-# LANGUAGE DataKinds, TypeFamilies, KindSi

6Ciepło

1Odpowiedz

włączenie TypeFamilies sprawia, że kod nie jest już budowany

Mam moduł zakodowany i działający, ale nie mogę do niego wprowadzić dwóch podpisów funkcji, ponieważ aby je wprowadzić, muszę włączyć rozszerzenie TypeFamilies dla modułu, a kiedy zrób to, już nie bud

7Ciepło

1Odpowiedz

TypeFamilies lub GADTs nagle przerywa poprawny kod

mam bardzo niewinnie wyglądający kod data Config = Config { cInts :: [Int] , cStrings :: [String] } instance Semigroup Config where c1 <> c2 = Config { cInts = andCombiner cInts

8Ciepło

1Odpowiedz

Dlaczego kompilator nie mógł dopasować typu "a == a" z "True" dla rodziny typów?

Czy jest jakiś powód, dlaczego ten kod nie jest kompilowany: type family Foo a b :: Bool where Foo a b = a == b foo :: Foo a b ~ True => Proxy a -> Proxy b foo _ = Proxy bar :: Proxy a -> Pr

10Ciepło

2Odpowiedz

Ograniczona rodzina zamkniętych typów

Czy mogę przekonać kompilator, że ograniczenie jest zawsze spełnione przez typ synonimów w rodzinie typu zamkniętego? Rodzina jest indeksowana przez skończony zestaw promowanych wartości. Coś wzdłuż l

8Ciepło

1Odpowiedz

Typ Rodzina polimorfizm

Tak więc mam funkcję apply :: proxy tf -> tf Int -> tf Int, która pobiera Proxy przeznaczony do przenoszenia rodziny typów i stosuje Int do tego typu rodziny w celu określenia typu drugiego argumentu

6Ciepło

1Odpowiedz

klasa uogólniania Parametry

Powiedzmy mam klasę: class C a b t where f :: (a, b) -> (t a, t b) Teraz z tej definicji, mogę określić instancje dla słownie: (a,b) -> (Maybe a, Maybe b) (a,b) -> ([a], [b]) ale nie dla (o

7Ciepło

2Odpowiedz

Ograniczenia odpakowanych typów

Zastanawiam się dlaczego Rozpakowanych typy w Haskell mają te ograniczenia: nie można zdefiniować do newtype dla rozpakowanych typu: newtype Vec = Vec (# Float#, Float# #) ale można określić typ syn