applicative

15Ciepło

2Odpowiedz

Próbowałem dowiedzieć się o statycznej analizie funktorów aplikacyjnych. Wiele źródeł twierdzi, że zaletą ich używania w porównaniu z monadami jest podatność na analizę statyczną. Jednak jedyne exampl

5Ciepło

2Odpowiedz

Funkcja Haskell, który jak catMaybes, ale uwzględniając typ [Może] -> Może [a]

ja jak do funkcji z rodzaju: f :: [Maybe a] -> Maybe [a] np f [Just 3, Just 5] == Just [3, 5] f [Just 3, Nothing] == Nothing f [] == Just [] Jest ona podobna do catMaybes :: [Maybe a] -> [a] w D

13Ciepło

2Odpowiedz

Znaczenie "zamkniętego pod skład"

Przeczytałem this paper i jest tam wspomniane, że klasa Applicative jest zamknięta pod składem. Co to właściwie oznacza?

5Ciepło

1Odpowiedz

Jak korzystać z aplikacji do współbieżności?

To jest kontynuacja mojego poprzedniego question. Skopiowałem poniższy przykład z Haxl Załóżmy, że pobieram dane z serwera blogu, aby wyświetlić stronę blogu, która zawiera najnowsze posty, popularne

20Ciepło

1Odpowiedz

Korespondencja między klasami typów a poziomami gramatyki w hierarchii Chomsky'ego

Moje pytanie dotyczy z jednej strony klas typu Applicative i Monad, az drugiej bezkontekstowej i kontekstowej gramatyki hierarchii Chomsky'ego. Słyszałem, że istnieje powiązanie między klasami typów i

6Ciepło

1Odpowiedz

Ignorowanie argumentów w Control.Applicative

Piszę parser xml-conduit, a ja preferuję składnię aplikacyjną do monadycznej. Mając wiele argumentów, które można łączyć, trochę się gubię w aplikowaniu. Mój obecny problem został podany 8 argumentów,

5Ciepło

1Odpowiedz

Applicative Instance dla (Monad m, Monoid o) => m o?

Przepraszamy za okropny tytuł. Próbuję wykonać instancję Applicative dla zawijania Monad typu, który jest Monoid. instance (Monad m, Monoid o) => Applicative (m o) where pure x = return mempty

19Ciepło

2Odpowiedz

Dlaczego <$> i <*> wprowadzają dane wejściowe w kolejności odwrotnej do >>?

Rozumiem rozumowanie sygnatury typu <$>, ponieważ jest to tylko wersja infiksowa fmap, ale porównanie jej z sygnaturą typu >>= ma dla mnie dużo mniejszy sens. Najpierw ustalmy, co przez to rozumiem. (

12Ciepło

2Odpowiedz

Czy jest możliwe kodowanie ogólnej funkcji "podnoszenia" w Haskell?

Nie jestem największym fanem varargs, ale zawsze uważałem, że zarówno style aplikacyjne (f <$> x <*> y), jak i idiom ([i| f x y |]) mają zbyt wiele symboli. Zwykle wolę chodzić na drogę liftA2 f x y,

7Ciepło

3Odpowiedz

Pętla warunkowa w programie użytkowym

Załóżmy, że Parser x jest analizatorem składni, który analizuje numer x. Ten parser prawdopodobnie posiada kombinator many, który analizuje zero lub więcej wystąpień czegoś (zatrzymuje się, gdy parser