haskell

Dlaczego efekty uboczne są modelowane jako monady w Haskell?

Czy ktoś mógłby dać jakieś wskazówki, dlaczego nieczyste obliczenia w Haskell są modelowane jako monady? Chodzi mi o to, że monad jest tylko interfejsem z 4 operacjami, więc jakie było uzasadnienie dla modelowania efektów ubocznych w nim?

obiektywy, fclabele, data-accessor-która biblioteka dla dostępu do struktury i mutacji jest lepsza

Istnieją co najmniej trzy popularne biblioteki do dostępu i manipulowania polami rekordów. Te, które znam, to: data-accessor, ... fe pojawiła się opinia, że fclabels jest lepszy. Dlatego interesuje mnie porównanie tych trzech (a może i więcej) bibliotek.

Czy istnieją wymowne nazwy dla zwykłych operatorów Haskell? [zamknięte]

Czytam Naucz się Haskell dla wielkiego dobra, i nigdy nie wiem, jak wymówić operatory Haskella. Czy mają "prawdziwe" nazwiska ... peratory mogą mieć nazwy, ale spodziewam się, że te wspólne (np. te zdefiniowane w Applicative lub Monad) muszą mieć nazwy...

Przewodnik dla początkujących Haskell? [zamknięte]

Szukałem porządnego przewodnika po Haskell od jakiegoś czasu, ale nie byłem w stanie znaleźć takiego, który wydaje się wystar ... Haskella. Znam Ruby i jego programowanie funkcyjne sztuczki, więc myślę, że nie jestem całkowicie w ciemności. Jakieś linki?

Ukryte cechy Haskell [zamknięty]

Jakie są mniej znane, ale przydatne funkcje języka programowania Haskell. (Rozumiem, że sam język jest mniej znany, ale pracu ... i krótki opis funkcji, a nie tylko link do dokumentacja Oznacz funkcję za pomocą pogrubionego tytułu jako pierwszej linii

Dobre przykłady nie funktor / funktor / Applicative / Monad?

Wyjaśniając komuś, czym jest klasa typu X, staram się znaleźć dobre przykłady struktur danych, które są dokładnie X. Więc p ... ało się podkraść przykład Strzałki gdzieś w tej hierarchii (czy jest to między aplikatorem a monadą?), to też byłoby świetne!

Funkcjonalne wzorce projektowe [zamknięte]

zamknięte. to pytanie nie spełnia wytycznych dotyczących przepełnienia stosu . Obecnie nie przyjmuje odpowiedzi. ... a dobrze je opisuje w jednym miejscu i która może być dostępna dla programisty o średnio zaawansowanych umiejętnościach w FP?

Dlaczego nie być niezawodnie wpisywane?

Widziałem kilka źródeł potwierdzających opinię, że "Haskell stopniowo staje się językiem zależnym". Implikacja wydaje się być ... zaczynam czytać o zależnym wpisie język programowania, tekst jest zupełnie niezrozumiały... Prawdopodobnie w tym problem. (?)

Różnica między 'data' i 'newtype' w Haskell

Jaka jest różnica kiedy to piszę? data Book = Book Int Int Kontra newtype Book = Book (Int, Int) -- "Book Int Int" is syntactically invalid

Które części realnego świata Haskell są obecnie przestarzałe lub uważane za złe praktyki?

W rozdziale 19 w realnym świecie Haskell wiele przykładów nie powiodło się z powodu zmiany Control.Exception. To sprawia, ż ... ydanie książki, które ukazało się w grudniu 2008 roku, które jest jedynym znanym wydaniem na dzień dzisiejszy (Listopad 2017)

foldl kontra foldr z nieskończonymi listami

Kod funkcji myAny w to pytanie używa foldr. Przestaje przetwarzać nieskończoną listę, gdy predykat jest spełniony. Przepis ... se [3..]) True || (foldl step False [3..]) True Jednak nie jest to sposób, w jaki funkcja zachowuje się. Jak to jest złe?

Uruchamianie programu Haskell na Android OS

Uwaga: jest to rozszerzenie wątku rozpoczętego na / R / haskell Zacznijmy od faktów: Android to jeden niesamowity sys ... systemu operacyjnego Android. Moje pytanie brzmi: Jak mogę dostać Haskell program do wykonania/uruchomić na Android OS?

Haskell testing workflow

Właśnie zacząłem nowy projekt Haskell i od początku chciałem stworzyć dobry przepływ pracy testowej. Wydaje się, że Haskell ... obrze w swoich domenach, ale szukam kompleksowe podejście do testowania i zastanawiał się, co działa dobrze dla innych ludzi.

Jakie są najlepsze biblioteki Haskell do operacjonalizacji programu? [zamknięte]

Jeśli mam wprowadzić program do produkcji, jest kilka rzeczy, które muszę zrobić, aby uznać go za "operacjonalizowany" – to z ... oteki, narzędzia lub praktyki związane z tworzeniem kodu Haskella "gotowego do produkcji", chciałbym wiedzieć o nich również.

Jakiego języka nauczyć się po Haskell? [zamknięte]

Jako mój pierwszy język programowania, postanowiłem nauczyć się Haskella. Jestem studentem filozofii analitycznej, a Haskell ... cje! Wygląda na to, że Lisp (Scheme, Clojure), Prolog lub proof assistant jak Coq lub Agda są głównymi zalecanymi langauages.

Jaki jest cel Rank2Types?

Nie jestem zbyt biegły w Haskell, więc to może być bardzo proste pytanie. Jakie ograniczenia językowe rozwiązują Rank2Types? Czy funkcje w Haskell nie wspierają już argumentów polimorficznych?

Jakie są ważne przypadki użycia dla typów metod zależnych?

Zależne typy metod, które wcześniej były funkcją eksperymentalną, zostały domyślnie włączone w bagażniku i najwyraźniej to sp ... ja z jakichkolwiek funkcji występujących w systemach typów innych zaawansowanych języków typowych, takich jak Haskell, OCaml?

Jakich optymalizacji można oczekiwać od GHC?

GHC ma wiele optymalizacji, które może wykonać, ale nie wiem, jakie są wszystkie, ani jak prawdopodobne są one wykonywane i w ... jak stream fusion( właśnie czytałem o tym artykuł); więcej w rodzaju wiedzy, którą mają ludzie, którzy piszą te frameworki.)

Mały program Haskell skompilowany z GHC do ogromnych binarnych

Nawet trywialnie małe programy Haskella zamieniają się w gigantyczne pliki wykonywalne. Napisałem mały program, który zosta ... odować kompilację nawet małego programu Haskell do ogromnego pliku binarnego? Co, jeśli już, mogę zrobić, aby to zmniejszyć?

Aplikatory komponują, monady nie

Aplikatory komponują, monady nie. Co oznacza powyższe stwierdzenie? A kiedy jedno jest lepsze od drugiego?