🚀 go-pugleaf

Witam

Od jakiegoś czasu programuje w językach obiektowych/imperatywnych. Z typowej matematyki znam pewnie arytmetykę: mnożenie, dzielenie, potęgowanie, pierwiastkowanie, podstawy logiki, pamiętam co to funkcja liniowa :) W zasadzie nigdy żadne zaawansowane zagadnienia matematyczne nie były mi w trakcie programowania w PHP, czy Javie potrzebne.

No i naszła mnie chęć na naukę jakiegoś języka funkcyjnego, zmianę paradygmatu. Pewnie postawię na F#, bo jest open source, dostępny na Linuksa/Windows/MacOSX i nie jest tak "ortodoksyjny" jak Haskell. Zastanawiam się teraz, czy żeby sprawnie poznać te języki, faktycznie powinienem ogarniać matematyczny rachunek lambda, matematyczne przekształcanie, "zwijanie" i "rozwijanie" funkcji itd? Zakładając że nie będę zajmował się "optymalizacją algorytmów" czy stricte matematycznymi zagadnieniami, a po prostu programowaniem użytkowym? 

Zasadniczo jak się spojrzy na różne książki/przykłady, to lambda jest w zasadzie funkcją anonimową, a zwijanie funkcji (currying) w językach funkcyjnych - to w zasadzie przekształcenie funkcji, która przyjmuje wiele argumentów, na taką która zwraca 1 argument. Ot najprostszy przykład:

max 4 5
(max 4) 5

Wiadomo że trzeba zmienić podejście w myśleniu o strukturach danych, ale czy Waszym zdaniem osoba która chce programować w takim F#, OCaml czy Haskellu powinna wziąć korki z matmy i poznać dobrze np. wspomniany rachunek lambda w matematyce?

P.
Paweł