2012-09-01 20 views
5

Czytałem artykuł omawiający programowanie w stylu von Neumana. Nazwa papierze jest Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of ProgramsO programowaniu stylu funkcjonalnego

Moje pytanie o programowania languange Style funkcjonalne (zwaną przez autora John Backus) jest taka:

jest styl funkcjonalny w tym artykule dokładnie lub approxiately czyli te same rzeczy, kiedy odnoszą się do języka programowania funkcji, takiego jak HASKELL lub ERLANG?

+1

Opis na samym początku bardzo pasuje do mojego wrażenia Haskella. Zgaduję, że Erlang nie różni się zbytnio. –

+1

"Dyskusje na temat języków programowania często są takie, jak przypominają średniowieczne debaty na temat liczby aniołów , które mogą tańczyć na czubku szpilki zamiast ekscytujących konkursów pomiędzy zasadniczo różniącymi się koncepcjami." - Uwielbiam to porównanie xD – NotGaeL

+2

Naprawdę nie lubię żadnego z nich. Ale więcej Haskell niż Erlang. John Backus był zwolennikiem bardziej zorientowanego na funkcje stylu programowania, którego skład stanowi główną część strukturyzacji. – augustss

Odpowiedz

3

Oto przydatny wpis na blogu: Why concatenative programming matters.

Krótko mówiąc, są to dwie różne techniki. Wikipedia nazywa je odpowiednio Functional Programming i Function-Level Programming. Istnieją również Point-Free of Tacit Programming, Concatenative Languages i Stack-Oriented Languages - więc dokładne nazewnictwo może się różnić w zależności od tego, kogo pytasz.

W punktach na blogu języki funkcjonalne (lub aplikacyjne) (Erlang, Haskell, ML, Scheme) są słabo dostosowane do programowania na poziomie funkcjonalnym (lub konkatenatywnym). Istnieje jednak biblioteka Pointless Haskell ułatwiająca pisanie programów na poziomie funkcji w Haskell. Zwróć uwagę, że podpisy typów dla zwykłych rzeczy, takich jak pusta lista, różnią się od Preludium. Bibliotekę można zainstalować z Hackage za pomocą cabal install pointless. Zobacz examples.

Dla odpowiednich języków patrz Forth, APL, Joy i Cat. Język J wspomniany przez Jorg jest potomkiem APL i FP.

+0

Przyjacielu, dziękuję za informacje! – parsifal

4

Jeśli chcesz spojrzeć na język, który jest bezpośrednio zainspirowany FP języku opisanego w tym artykule, warto spojrzeć na J.

+0

Przyjacielu, dziękuję! – parsifal

Powiązane problemy