Pytania otagowane jako haskell

Funkcjonalny język programowania




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 …


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 …

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 


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 …



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 …


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 


Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.
Licensed under cc by-sa 3.0 with attribution required.