haskell

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

5Ciepło

1Odpowiedz

Błąd rodziny typu Haskella

Przepraszam, że zawracam sobie głowę tym prostym problemem. Próbuję dowiedzieć się, jak działa rozszerzenie rodziny typów. Kiedy się z tym głupio napotkałem błąd, nie mogłem zrozumieć dlaczego. class

7Ciepło

1Odpowiedz

Jaka jest różnica między Const a Constant?

Wydaje się, że dwie implementacje stałej funktora: Const w Control.Applicative Constant w Data.Functor.Constant Dlaczego oboje istnieją, a które z nich należy posługiwać się?

6Ciepło

1Odpowiedz

Funkcja z załadowanego modułu nie w zakresie

Napisałem dwa moduły. Pierwszy z nich nazywa DhtTypes: module DhtTypes (Bencode, encode, TransactionID, Hash20Bytes) where -- import stuff class Bencode a where encode :: a -> ByteString.Byte

15Ciepło

1Odpowiedz

Jak mogę mieć wektor, który jest ściśle zgodny z jego wartościami, jak normalny typ z grzywką (!)?

Jedną z powszechnych wartości performance advice w Haskell jest tworzenie szybkich struktur danych, tak aby struktura, ale niekoniecznie jej zawartość, była w pełni oszacowana w momencie jej utworzeni

11Ciepło

3Odpowiedz

Czy istnieje jakaś intuicja do zrozumienia łączenia dwóch funkcji w Monadzie?

join jest zdefiniowany wraz z bind w celu spłaszczenia połączonej struktury danych w jedną strukturę. Od typ widoku systemowym, (+) 7 :: Num a => a -> a można uznać jako Functor, (+) :: Num a => a ->

7Ciepło

1Odpowiedz

kłopoty ze zrozumieniem Monada (->)

W poniższym instancji Monady: instance Monad ((->) r) where return = const f >>= k = \ r -> k (f r) r Jest to zmusza k będzie funkcją dwóch parametrów? A jeśli tak, to dlaczego chcesz prze

9Ciepło

1Odpowiedz

W jaki sposób kompilatory Haskell implementują w praktyce regułę parse-error (t)?

Raport Haskell zawiera nieco notoryczną klauzulę w regułach dotyczących layoutu o nazwie "parse-error(t)". Celem tej reguły jest uniknięcie zmuszania programisty do pisania nawiasów klamrowych w wyraż

6Ciepło

3Odpowiedz

Jak używać soczewek do wyszukiwania wartości na mapie, zwiększania jej lub ustawiania na wartość domyślną

Podczas pracy nad stanem o nazwie AppState chcę śledzić liczbę instancji, powiedzmy. Te wystąpienia mają różne identyfikatory typu: InstanceId. Dlatego mój wygląd stan lubi to import Control.Lens

33Ciepło

2Odpowiedz

Dlaczego ten kod nie jest stałą przestrzenią?

Obecnie uczę się Haskella (będąc programistą z zawodu, ale jest to moja pierwsza próba w funkcjonalnym języku). Chcę napisać funkcję, która skanuje listę i zwraca minimalny i maksymalny element tej li