Funkcjonalny język programowania
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ę...
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...
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,...
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...
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 = ConsCell 1...
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...
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...
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...
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...
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...
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...
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...
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...
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ą...
Czysty język wykorzystuje wyjątkowość typy do obsługi I / O w warunkach czysto funkcjonalnego. Dlaczego komitet Haskell zamiast tego poszedł z monadami ? Czy były inne propozycje postępowania, w których komisja zbadała sprawę, ale podjęła decyzję odmowną? Uwaga : nie szukam świętej wojny między...
Czuję się swobodnie w programowaniu w C i C # i będę badał C ++ w przyszłości. Mogę być zainteresowany badaniem programowania funkcjonalnego jako innego paradygmatu programowania. Robię to dla zabawy, moja praca nie polega na programowaniu komputerowym i jestem nieco zainspirowana wykorzystaniem...
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...
Studiuję Haskell w celu zrozumienia programowania funkcjonalnego, oczekując, że zastosuję wgląd w innych językach (głównie Groovy, Python, JavaScript). Wybrałem Haskell, ponieważ miałem wrażenie, że jest on bardzo czysto funkcjonalny i nie pozwala na poleganie na stanie. Nie zdecydowałem się...
Chcę rozpocząć eksperymentalny projekt z użyciem funkcjonalnego języka i staram się zdecydować między Erlangiem a Haskellem, i oba mają pewne punkty, które naprawdę lubię. Podoba mi się silny system pisma Haskell i jego czystość. Mam wrażenie, że dzięki temu łatwiej będzie napisać naprawdę...
Przeczytałem trochę na temat semantyki denotacyjnej (DS) i jestem bardzo zaintrygowany procesem projektowania programów komputerowych, w których typy i funkcje mają silne i wyraźne odwzorowania na matematykę. Czy są jakieś zasoby, które szczegółowo omawiają projektowanie programów opartych na DS?...