haskell

10Ciepło

1Odpowiedz

Dlaczego ten kod, który został sprawdzony w GHC 7.10, nie zawiera już sprawdzania w GHC 8.0.1?

Mam następujący kod: {-# LANGUAGE DefaultSignatures#-} import Control.Monad.Trans.Class import Control.Monad.Trans.Maybe class Monad m => MonadMaybe m where liftMaybe :: Maybe a -> m a

7Ciepło

1Odpowiedz

Dlaczego program HasCallStack nadal dodaje klatki stosu podczas korzystania zFrozenCallStack?

GHC 8 zapewnia HasCallStack z modułu GHC.Stack, który pozwala funkcjom na żądanie rejestrowania ramki stosu po wywołaniu. Zapewnia także funkcję withFrozenCallStack, która "zawiesza" stos wywołań, dzi

7Ciepło

1Odpowiedz

Czy można napisać tę funkcję w Haskell?

uczę typy zależne: W Haskell Mam zdefiniowane kanoniczny typ data Vec ∷ Type → Nat → Type where Nil ∷ Vec a Z (:-) ∷ a → Vec a n → Vec a (S n) i wdrożone większość funkcji z Data.List jedn

7Ciepło

2Odpowiedz

Co liczy się jako efekt uboczny? Dlaczego alokacja pamięci nie jest efektem ubocznym?

Rozumiem atrakcyjność czystych języków funkcjonalnych, takich jak Haskell, gdzie można śledzić efekty uboczne, takie jak we/wy dysku za pomocą monad. Dlaczego nie wszystkie wywołania systemowe są uważ

5Ciepło

2Odpowiedz

Dlaczego jest to błąd składniowy w przypadku trafień kresowych bez dodatkowego wcięcia i jaki jest styl zalecany do obejścia tego?

Właśnie odkryłem, że ta foo = case ((),()) of (() ,()) ->() nie z /tmp/wtmpf-file11080.hs:3:8: parse error (possibly incorrect indentation or mismatched brackets) To może być wyko

6Ciepło

2Odpowiedz

Co to jest rurka kropkowa ". |" operator w Haskell?

Rozumiem "." (kropka) jako skład funkcji. Rozumiem "|" (pipe) jako "lub", składnia wprowadzająca straży (od here), ale I saw an answer on http-conduits using ".|", która używa tego operatora w sposób,

7Ciepło

1Odpowiedz

Dlaczego "Data.List.null" używa "foldr"?

W moim postrzeganiu początkujący, można wdrożyć Data.List.null jak: null [] = True null _ = False Patrząc rzeczywiste źródło w Hackage widzę: null = foldr (\_ _ -> False) True znajdę to na pewno

7Ciepło

1Odpowiedz

Dlaczego DuplicateRecordFields nie może mieć wnioskowania o typie?

Podobne stanowisko: How to disambiguate selector function? https://ghc.haskell.org/trac/ghc/wiki/Records/OverloadedRecordFields/DuplicateRecordFields Jednak nie wywnioskować typ argumentu, aby określi

8Ciepło

1Odpowiedz

"Rodzaj" zdezorientowany na temat all-in w GADTs indeksowanych

Wpadłem w dziwną sytuację w GHC 8.0.1 z dobrymi indeksami (?) GADTs, w których wprowadzenie kombinezonów w sygnaturach typu i rodzaju powoduje różne sprawdzanie typów zachowania. Rozważmy następujące

6Ciepło

2Odpowiedz

Dokonywanie ograniczenie Być może gdzie Eq a

Jak mogę ograniczyć się do Może gdzie Eq a? To musi być od rodzaju * -> ograniczeniami co starałem: class (a ~ Maybe b, Eq b) => K a where instance (a ~ Maybe b, Eq b) => K a where Błąd: Not in sco