Od kilku miesięcy przyzwyczajam głowę (a właściwie jej najbardziej odporną na zmiany część, czyli było nie było - mózg) do nowego spojrzenia na programowanie, myślę oczywiście o deklaratywnym modelu programowania w językach funkcyjnych. Zacząłem od Erlanga, książka była pod ręką więc było mi najprościej (sic!), szybko jednak dostrzegłem braki i sięgnąłem po dwa świetne podręczniki (jeden opisuje w jakiejś części język Scheme -
"How to Design Programs", w polskiej wersji
tutaj, drugi to znacznie bardziej teoretyczna praca, w której autorzy przedstawiają modele programistyczne na podstawie języka MozartOz -
"Concepts, Techniques, and Models of Computer Programming" także dostępna w polskiej wersji
tutaj.
Przyznam szczerze, że o ile
How to Design Programs czyta się dość dobrze i wprowadzenie do programowania funkcyjnego jest w niej dość praktycznie zrealizowane o tyle druga z książek jest większym wyzwaniem.
W każdym razie uzbrojony w wiedzę z pierwszej i pobieżnie (mój błąd) zaczerpniętą z drugiej sięgnąłem po Erlang. Tutaj jest nieco inaczej niż w Scheme czy Mozarcie ale wciąż deklaratywnie i funkcyjnie :). Program powolnie powstaje i mam nadzieję, że okaże się niezawodny i odporny na błędy (choć wiem, że obie właściwości są raczej średnią włożonej w projekt i implementację oraz doświadczenia zespołu [[także z samym językiem, w którym program jest implementowany]]). Tymczasem w ręce wpadła mi kolejna książka o kolejnym funkcyjnym języku - Clojure a że autor języka Rich Hickey twierdzi, że to tak naprawdę tylko nowy Lisp a Paul Graham, że Lisp jest najpotężniejszym językiem nie pozostało nic innego jak przystąpić do pracy :)
Pierwsze wrażenia są raczej pozytywne choć nie jest łatwo. Słaba (tak mi się przynajmniej wydaje - jestem przyzwyczajony do dokumentacji Javy), mimo niewątpliwego wysiłku twórcy/twórców, dokumentacja nieco utrudnia początki. Jednak cel jest więc popracuję. Na początek moje Clojurowe
tłumaczenie jednego z przykładów z książki
Programming Erlang:
* Erlang (str 45 w książce)
Fruit = [apple, pear,orange]
MakeTest = fun(L) -> (fun(X) -> lists:member(X,L) end) end
IsFruit= MakeTest(Fruit)
IsFruit(pear) %% true
IsFruit(apple) %% true
IsFuite(dog) %% false
* Clojure
(def Fruits #{"Apple", "Pear", "Orange"})
(defn MakeTest [L] (fn [X] (contains? L X)))
(def IsFruit (MakeTest Fruits))
(IsFruit "Pear") ; true
(IsFruit "Apple") ; true
(IsFruit "Dog") ; false
* Scheme
(define Fruits (list "Apple" "Pear" "Orange"))
(define make-test
(lambda(L)
(lambda(X)
(member X L))))
(define is-fruit (make-test Fruits))
(is-fruit "Apple") ; true
(is-fruit "Pear") ; true
(is-fruit "Dog") ; false
Będę dalej wrzucał moje
clojurowe wersje (czasami także
scheme'owe jak w tym wypadku). W razie potrzeby mogę - w miarę moich skromnych możliwości - pomóc uruchomić te przykłady.
