haskell

13Ciepło

3Odpowiedz

Jak zainstalować program haskell 8 na Ubuntu 16.04

Zainstalowałem Haskella na Ubuntu zgodnie z instrukcjami na stronie platformy Haskell. Ale skończyłem z wersją 7.10.3. Jak zdobyć Haskell 8 na Ubuntu?

6Ciepło

3Odpowiedz

Jak ograniczyć pole Int do zakresu wartości?

moim danych data User = User { uRank :: Int, uProgress :: Int } że chcemy ograniczać uRank z listy wartości [1, 1, 3], na przykład. Jak to zrobić?

10Ciepło

1Odpowiedz

Dlaczego nie jest możliwe stosowanie tablic próbnych? (Czy tak?)

Podczas rozważania, jak najlepiej odwzorować, tj. traverse, a -> Maybe a -Kleisli nad unboxed vector, szukałem istniejącej implementacji. Oczywiście U.Vector nie jest Traversable, ale it does supply a

6Ciepło

2Odpowiedz

Dlaczego ocena kluczy do WHNF jest wystarczająca do skonstruowania Zestawy w Haskell?

Haskell's Data.Set page mówi: Główne argumenty są oceniane na WHNF w sekcji "Właściwości surowości". Zastanawiam się jednak, dlaczego WHNF wystarcza do stworzenia zestawów. Na przykład, aby skonstruow

5Ciepło

1Odpowiedz

Jak mogę zapisać ten wzór synonimu bez niejednoznacznych błędów typu?

Za pomocą ViewPatterns i Data.Typeable, udało mi się napisać funkcję, która pozwala mi napisać coś przypominającego analizę przypadku dla typów. Przestrzegać: {-# LANGUAGE GADTs, PatternSynonyms, Rank

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

5Ciepło

1Odpowiedz

Zamień monady wewnętrzne i zewnętrzne

Jak przekonwertować StateT g (Either E) T na ExceptT E (StateT g Identity) T? Może się przydać tutaj mieszanka traverse i hoist.

6Ciepło

1Odpowiedz

Jak skutecznie generować wszystkie listy o długości `n^2` zawierające` n` kopie każdego `x <n`?

Podając liczbę całkowitą n, w jaki sposób mogę utworzyć listę zawierającą wszystkie listy o długości n^2 zawierające dokładnie n kopii każdej liczby całkowitej x < n? Na przykład, dla n = 2, mamy: [0,

9Ciepło

2Odpowiedz

Dlaczego nie ma instancji MonadMask dla narzędzia ExceptT?

wyjątki od Edwarda Kmetta biblioteka nie zapewnia instancji MonadMask dla ExceptT. Ben Gamari once asked about this a następnie doszedł do wniosku, że wyjaśniono to w dokumentacji. Jest to najbliżej i

6Ciepło

4Odpowiedz

"łańcuch" operatora dodawania do funkcji, która akceptuje 3 argumenty?

chciałbym komponować operatora dodawania (+) aby funkcję tego typu: Num a => a -> a -> a -> a podobnych, równowartość tej: (\a b c -> a + b + c) ale bez konieczności uciekania się do lambda. Próbo