haskell
Haskell: czym różnią się niestrudzone i leniwe?
Często czytam, że leniwy to nie to samo co nie ścisły ale trudno mi zrozumieć różnicę. One wydają się być używane zamienni ... m bez bycia leniwym, czy też leniwym bez bycia nie-ścisłym?
czy nieścisłość Haskella jest osiągana przez lenistwo?
Dziękuję!
Użycie Haskell state monad zapach kodu?
Boże nienawidzę terminu "zapach kodu", ale nie mogę wymyślić nic bardziej dokładnego.
Projektuję język i kompilator wysokieg ... enem próbować wyeliminować / zminimalizować użycie monady państwowej, czy jest to uzasadniony funkcjonalny "wzór projektowy"?
Dynamiczna wysyłka w Haskell
Programy napisane na przykład w Javie w dużym stopniu polegają na dynamicznym wysyłaniu. Jak takie programy są wyrażane w językach funkcyjnych, takich jak Haskell? Innymi słowy, jaki jest Haskell sposób wyrażenia idei pod "dynamiczna wysyłka"?
Dobre wprowadzenie do wolnych twierdzeń [closed]
Natknąłem się na fajny pomysł wolnych twierdzeń w języku funkcjonalnym. Jednak jedynym źródłem, który udało mi się znaleźć, j ... orientowany na programistę zaznajomionego z programowaniem funkcyjnym zamiast twardego badacz języka funkcjonalnego?
Dzięki.
Czy istnieje język modelowania wizualnego lub styl dla paradygmatu programowania funkcyjnego?
UML jest standardem służącym do modelowania oprogramowania, które będzie napisane w językach OO i idzie w parze z Javą. Czy m ... odpowiedzi naprawdę odnosi się do koncepcji "visual metafora design tool" tak ... to jest to, co nowy bounty szuka zapewnić.
Materiały do nauki teorii kategorii [zamknięty]
Wkrótce wezmę udział w kursie z teorii kategorii.
Jakie zasoby możesz polecić, aby się o tym dowiedzieć?
Jakie części są istotne do nauki i jak nauczyć się stosować swoją wiedzę?
Co to jest Haskell Stream Fusion
Co to jest Stream Fusion Haskell i jak go używać?
Czy istnieje funkcja do spłaszczania zagnieżdżonej listy elementów?
Jak mogę spłaszczyć zagnieżdżoną listę w ten sposób:
[1, 2, 3, 4] == flatten [[[1,2],[3]],[[4]]]
Typy Haskell
Bawię się z początkującym Haskellem i chciałem napisać przeciętną funkcję. Wydawało się to najprostszą rzeczą na świecie, pr ... się pełne punkty, ale Mam podejrzenie, że istnieje sposób, aby to działało zarówno na tablicach całkowych, jak i ułamkowych)
attoparsec lub parsec w haskell
Muszę przetworzyć niektóre pliki i przekonwertować je na predefiniowane typy danych.
Haskell wydaje się dostarczać do tego d ... a jest różnica między tymi dwoma, a który z nich lepiej nadaje się do parsowania pliku tekstowego zgodnie z pewnymi zasadami?
Jakie są zalety parsowania aplikacyjnego nad parsowaniem monadycznym?
Wydaje się, że istnieje konsensus, że powinieneś używać Parsec jako aplikatora, a nie monady. Jakie są zalety parsowania aplikacyjnego nad parsowaniem monadycznym?
style
wydajność
abstrakcja
Czy monadyczny parsuje?
Pisanie cojoin lub cobind dla typu siatki n-wymiarowej
Używając typowej definicji naturalności na poziomie typu, zdefiniowałem siatkę n-wymiarową.
{-# LANGUAGE KindSignatures #-}
... my reify n w celu wykonania n " fmaps "i n"rolls". Nie musisz tego robić w ten sposób, ale jeśli to pomoże, to proszę bardzo.
Co oznacza "czysty" w "czystym języku funkcjonalnym"?
Haskell został nazwany " czystym językiem funkcjonalnym."
Co w tym kontekście oznacza "czysty"? Jakie to ma konsekwencje dla programisty?
Understanding Arrows in Haskell
Staram się opanować strzałki, ponieważ są podstawą większości implementacji FRP . Myślę, że rozumiem podstawową ideę-są one ... e tak, jakby to był oczywisty następny krok, ale tak naprawdę nie widzę związku.
Co oznacza składnia strzałki intuicyjnie?
Egzystencjalne vs. powszechnie kwantyfikowane typy w Haskell
Jaka dokładnie jest różnica między nimi? Myślę, że rozumiem jak działają typy egzystencjalne, są jak posiadanie klasy bazowej w OO bez sposobu na obniżenie obsady. Czym różnią się typy uniwersalne?
Co dokładnie robi ta implementacja permutacji listy w Haskell?
Studiuję kod w danych.Lista modułów i nie mogę dokładnie owinąć głowy wokół tej implementacji permutacji:
permutations ... in (y:us, f (t:y:us) : zs)
Czy ktoś może szczegółowo wyjaśnić jak te zagnieżdżone funkcje łączą się/działają ze sobą?
Czy kombinatory parserów mogą być wydajne?
Około 6 lat temu, porównałem moje własne kombinatory parserów w OCaml i odkryłem, że były ~5× wolniejsze niż Generatory parse ... -1) f (n-1) f (n-1) f (n-1)
let () =
let n = try int_of_string Sys.argv.(1) with _ -> 3 in
fprintf stdout "%a\n" f n
Jakie są ciekawe zastosowania funkcji wyższego rzędu?
Obecnie robię kurs programowania funkcyjnego i jestem dość rozbawiony koncepcją funkcji wyższego rzędu i funkcji jako obywate ... cje, które zwraca listy funkcji (?), itp.
Byłbym wdzięczny za przykłady w Haskell, czyli języku, którego się obecnie uczę:)
Jakie są korzyści z czysto funkcjonalnej struktury danych?
Istnieje duża liczba tekstów na temat struktur danych oraz bibliotek kodu struktur danych. Rozumiem, że czysto funkcjonalna s ... ch, która się nie zmienia?? Z drugiej strony czysto funkcjonalna struktura danych jest strukturą danych, która działa czysto.
Dependency injection w Haskell: rozwiązywanie zadania idiomatycznie
Jaki jest idiomatyczny roztwór Haskella do iniekcji zależności?
Na przykład, załóżmy, że masz interfejs frobby i musisz prze ... om/2011/05/dependency-injection-haskell-style.html
Ale Nie wiem, czy to jest kanoniczny sposób na zarządzanie tym zadanie.