Inżynieria oprogramowania haskell

6

Co dokładnie sprawia, że system typu Haskell jest tak czczony (w porównaniu z Javą)?

Zaczynam się uczyć Haskella . Jestem bardzo nowy i czytam tylko kilka książek online, aby omówić jego podstawowe konstrukcje. Jednym z „memów”, o których często go znają ludzie, jest cała rzecz „jeśli się skompiluje, zadziała *” - co moim zdaniem jest związane z siłą systemu typów. Próbuję zrozumieć, dlaczego właśnie …

204 java haskell polymorphism

2

Co to jest wzorzec „Free Monad + Interpreter”?

Widziałem ludzi rozmawiających o darmowej monadzie z tłumaczem , szczególnie w kontekście dostępu do danych. Co to za wzór? Kiedy mogę z niego skorzystać? Jak to działa i jak miałbym to wdrożyć? Rozumiem (z postów takich jak ten ), że chodzi o oddzielenie modelu od dostępu do danych. Czym różni …

95 design-patterns functional-programming haskell dsl monad

4

Czy system typów Haskell jest formalnie równoważny z systemem Java? [Zamknięte]

Zdaję sobie sprawę, że niektóre rzeczy są łatwiejsze / trudniejsze w jednym języku niż w drugim, ale interesują mnie tylko funkcje związane z typem, które są możliwe w jednym, a niemożliwe / nieistotne w drugim. Mówiąc dokładniej, zignorujmy rozszerzenia typu Haskell, ponieważ jest ich tak wiele, że robią różne szalone …

66 java haskell type-systems static-typing

4

jaki jest cel strzałek?

Uczę się programowania funkcjonalnego w Haskell i staram się chwytać koncepcje, najpierw rozumiejąc, dlaczego ich potrzebuję. Chciałbym poznać cel strzał w funkcjonalnych językach programowania. Jaki problem rozwiązują? Sprawdziłem http://en.wikibooks.org/wiki/Haskell/Understanding_arrows i http://www.cse.chalmers.se/~rjmh/afp-arrows.pdf . Rozumiem tylko, że są one używane do opisywania wykresów do obliczeń i że umożliwiają łatwiejsze kodowanie w stylu …

62 functional-programming haskell

7

Jak kodujesz algebraiczne typy danych w języku C # - lub języku podobnym do Java?

Istnieją pewne problemy, które można łatwo rozwiązać za pomocą Algebraicznych typów danych, na przykład typ listy można bardzo zwięźle wyrazić jako: data ConsList a = Empty | ConsCell a (ConsList a) consmap f Empty = Empty consmap f (ConsCell a b) = ConsCell (f a) (consmap f b) l = …

58 java c# scala haskell algebraic-data-type

1

Jak projektujesz programy w języku Haskell lub innych funkcjonalnych językach programowania?

Mam pewne doświadczenie w obiektowych językach programowania, takich jak c # lub ruby. Wiem, jak zaprojektować program w stylu obiektowym, jak tworzyć klasy i obiekty oraz jak definiować relacje między nimi. Znam też pewne wzorce projektowe. Jak ludzie piszą programy funkcjonalne? Jak oni zaczynają? Czy istnieją wzorce projektowe dla języków …

52 design haskell functional-programming

5

Czy są jakieś wady lub problemy z Haskell?

Patrzę na nurkowanie w Haskell dla mojego następnego (stosunkowo trywialnego) osobistego projektu. Powody, dla których walczę z Haskellem są: Przejdź na język funkcjonalny Prędkość. Chociaż jestem pewien, że można to argumentować, profilowanie, które widziałem, gwoździe Haskell blisko C ++ (i wydaje się być nieco szybsze niż Erlang). Prędkość. Serwer internetowy …

47 haskell

5

Krytyka monady IO jest postrzegana jako monada państwowa działająca na świecie

IOMonada w Haskell jest często tłumaczyć jako monady stan, w którym państwo jest świat. Zatem wartość typu IO amonada jest postrzegana jako coś w rodzaju worldState -> (a, worldState). Jakiś czas temu przeczytałem artykuł (lub wpis na blogu / liście mailowej), który skrytykował ten pogląd i podał kilka powodów, dla …

46 functional-programming haskell io monad

2

Dlaczego (a dlaczego nie) typy egzystencjalne są uważane za złą praktykę w programowaniu funkcjonalnym?

Jakich technik mogę użyć, aby konsekwentnie refaktoryzować kod, usuwając zależność od typów egzystencjalnych? Zazwyczaj są one używane do dyskwalifikacji niepożądanych konstrukcji twojego typu, a także do umożliwienia konsumpcji przy minimalnej wiedzy na temat danego typu (przynajmniej tak rozumiem). Czy ktoś wymyślił prosty, spójny sposób na usunięcie polegania na nich w …

43 functional-programming haskell type-systems

3

Jakie są zalety korzystania z LISP i Haskell? Czy uczynią mnie lepszym programistą? [Zamknięte]

Wiem, że Lisp i Haskell są odpowiednio logicznymi i funkcjonalnymi językami programowania, ale co to właściwie znaczy? Czym różnią się od innych języków? Słyszałem, że nauczenie się tych sprawi, że będziesz lepszym programistą i poprawisz swoją logikę. Czy to prawda i jeśli pójdę uczyć się Lisp lub Haskell na kompetentnym …

41 haskell lisp

7

Haskell AND Lisp vs. Haskell OR Lisp [zamknięte]

Obecnie koduję w C, C ++ i Python. Chcę wybrać funkcjonalny język programowania, a teraz pochylam się w kierunku Haskell. NIE chcę tutaj rozpoczynać wojny „Haskell vs Lisp”; Chcę wiedzieć, co następuje: jeśli nauczę się Haskell przede wszystkim w zakresie programowania funkcjonalnego, jakie korzyści, jeśli w ogóle, uzyskam dzięki późniejszej …

40 learning functional-programming haskell lisp paradigms

2

Błędne wyobrażenia o językach funkcjonalnych?

Często spotykam następujące stwierdzenia / argumenty: Czyste funkcjonalne języki programowania nie dopuszczają efektów ubocznych (dlatego są mało przydatne w praktyce, ponieważ każdy przydatny program ma skutki uboczne, np. Gdy wchodzi w interakcję ze światem zewnętrznym). Czyste funkcjonalne języki programowania nie pozwalają na napisanie programu, który zachowuje stan (co sprawia, że …

39 functional-programming haskell

2

Czy współczesne języki nadal używają generatorów analizatorów składni?

Szukałem na temat pakietu kompilator gcc Wikipedia tutaj , kiedy to pojawiły się: GCC zaczęło od użycia parserów LALR wygenerowanych za pomocą Bison, ale stopniowo przestawiło się na ręcznie pisane parsery rekurencyjnego opadania; dla C ++ w 2004 r. oraz dla C i Objective-C w 2006 r. Obecnie wszystkie interfejsy …

38 java ruby haskell parsing swift-language

5

„Dowód to program; okazuje się, że formuła jest typem programu ”

To może być pytanie filozoficzne, ale uważam, że istnieje obiektywna odpowiedź na to pytanie. Jeśli czytasz artykuł w Wikipedii o Haskell, możesz znaleźć: Język jest zakorzeniony w spostrzeżeniach Haskella Curry'ego i jego intelektualnych potomków, że „dowód jest programem; formuła, którą dowodzi, jest typem programu” Teraz pytam: czy to nie dotyczy …

37 haskell

7

Jakie są funkcjonalne odpowiedniki imperatywnych instrukcji break i innych kontroli pętli?

Powiedzmy, że mam poniższą logikę. Jak to napisać w programowaniu funkcjonalnym? public int doSomeCalc(int[] array) { int answer = 0; if(array!=null) { for(int e: array) { answer += e; if(answer == 10) break; if(answer == 150) answer += 100; } } return answer; } Przykłady w większości blogów, artykułów ... …

36 functional-programming haskell clojure

Pytania otagowane jako haskell