haskell

6Ciepło

1Odpowiedz

Dlaczego `: type` czasami pokazuje` a` i inne razy `t`?

mam te dwie funkcje: cleanUp a = Data.List.filter (/=[]) a joinByPairs [] = [] joinByPairs (x:[]) = (x:[]) joinByPairs (x:y:xs) = (x ++ y) : joinByPairs xs Kiedy załadować je w ghci i wywołać :t

25Ciepło

3Odpowiedz

Czy istnieje sposób na emulowanie typów liniowych w Haskell?

Modeluję system, który ma operację, która tworzy zasób i inne operacje, które zużywają ten zasób. Jednak dany zasób może zostać zużyty tylko raz - czy istnieje sposób, który mogę zagwarantować podczas

8Ciepło

1Odpowiedz

Haskell vs. erlang: różnica w foldl?

Zauważyłem, że istnieje różnica między Haskell i Erlang, jeśli chodzi o foldl. Dla foldr, oba języki zwraca te same wyniki: foldr (\x y -> 2*x+y) 4 [1, 2, 3] -- returns 49 lists:foldr(fun(X, Y) −> X+

15Ciepło

1Odpowiedz

kłopoty ze zrozumieniem rodzaj sekwencji [prostu, po prostu]

Jestem zdezorientowany, dlaczego mam to w GHCi :t sequence [Just,Just] sequence [Just, Just] :: a -> [Maybe a] Aby opracować, mogę zrozumieć sequence [Just 1, Just 2] :: Num a => Maybe [a] bo patrz

8Ciepło

1Odpowiedz

Jak wykryć ostatni fragment w rurze Haskella?

Mam mały Haskell Pipe że wypisuje ile razy to run: counterPipe :: Pipe String String IO r counterPipe = go 0 where go n = do await >>= yield let n' = succ n liftIO $ putSt

30Ciepło

1Odpowiedz

Czy można zdefiniować `Komonady` oparte na` Monadach`?

Ok, więc powiedzmy, że masz typ newtype Dual f a = Dual {dual :: forall r. f(a -> r)->r} Jak się okazuje, kiedy f jest Comonad, Dual f jest Monada (zabawa ćwiczenie). Czy działa to na odwrót? Można

9Ciepło

1Odpowiedz

Jak kodować akcje, które przyjmują monadyczne argumenty za pomocą darmowych (lub swobodnych) monad?

Większość monadycznych funkcji przyjmuje czyste argumenty i zwraca monadyczną wartość. Ale istnieje kilka, które również potrzebują monadycznego argumenty, na przykład: mplus :: (MonadPlus m) => m a -

6Ciepło

3Odpowiedz

Co oznacza operator/= w Haskell?

Czytam Learn You a Haskell, który zawiera 5 /= 5. Nie jestem pewien, co to oznacza. Czy pierwsze wyrażenie oznacza 5/5 = 5? Ale wtedy nie powinno być True.

5Ciepło

1Odpowiedz

Control.Lens: przemierzania izomorfizm do toListOf i ponad

Patrzyłem talk Simon Peyton Jones' O Control.Lens, a on pokazał, że obiektyw i LensR zdefiniowane tutaj są izomorficzne: type Lens s t a b = forall f. Functor f => (a -> f b) -> s -> f t data LensR

9Ciepło

1Odpowiedz

Czy Prolog ma alias "operator", taki jak Haskell?

W języku Haskell istnieje funkcja języka o nazwie "as" -operator (czasami nazywana aliasem). Idea jest następująca: podany masz funkcję, na przykład potrzebny jako wejście listę i chce powrócić wszyst