🚀 go-pugleaf

"Ryszard Szopa" <bies@dont.ask.stupid.questions> wrote:

> nie jestem miarodajny, ale afaik chodzi o to, że (w językach
> funkcyjnych) prawie każde wyrażenie
> a) jest funkcją
> b) jako taka może zwracać.
> > jakis krotki przyklad kodu? (np. w porownaniu do jakiegos OOP)
> lisp nie jest językiem czysto funkcyjnym, ale można napisac coś takiego:
> (if (if (> x y) (> x z) (> y z))
> t
> nil)
> mamy warunek w części warunkowej innego ifa... w c się tak afair nie da
> (przynajmniej bezpośrednio ;)

Oj, Ryszardzie :-)

[takze i od Przemka wymagam chwili skupienia]


Prosze, nie probuj definiowac pojecia "jezyk funkcyjny". Albowiem proba taka
jest z gory skazana na: a) niepowodzenie, lub b) dojscie do definicji
bezwartosciowej.


Niepowodzenie, jezeli bedzies skupial sie na cechach jezykow uwazanych za
funkcyjne i staral sie znalezc ich wspolny rdzen. Pewien zbior wlasnosci,
dla nich wspolnych. Nie istnieje cos takiego. Jezyki funkcyjne czestokroc
roznia sie bardziej miedzy soba niz miedzy ich obiektowymi kuzynami.


Dojscie do definicji bezwartosciowej, kiedy bedziesz probowal dociec co tak
naprawde czyni jezyk funkcyjnym. Bo, niestety, jezyk jest jezykiem
funkcyjnym iff jego autorzy zalozyli, ze on funkcyjnym bedzie. Na to sklada
sie w szczegolnosci wyglad standardowej biblioteki i propagowanie danego
(tu. funkcyjnego) stylu programowania. Funkcyjny styl programowania kladzie
nacisk na dekompozycje programu za pomoca matematycznych funkcji.
Matematyczna funkcja najprosciej mowiac - to taka mala czarodziejska
skrzyneczka, do ktorej z jedenj strony wkladamy jakas rzecz (np. krowe), a
z drugiej zaraz wyciagamy cos zupelnie innego (np. krolika). Przy czym wazne
jest, ze kazde kolejne wlozenia do owej skrzyneczki tej samej rzeczy co
poprzednio, owocuje nam pojawieniem sie identycznego produktu na wyjsciu.


Przyklad, ktory dalej dajesz w Lisp'ie jest zupelnie niezalezny od
funkcyjnosci. Ciezko mi to dokladniej skomentowac. Jest to zarazem
niepotrzebne. Za kilka dni, wglebiajac sie w CL'a, a najdalej kilka tygodzi,
sam do tego dojdziesz. Uwierz na slowo ;-)


mp