Rožić, Lovro; Šnajder, Jan; Vuković, Mladen
Math.e,
08/2016, Volume:
29, Issue:
1
Paper
Funkcijsko programiranje stil je programiranja koji se zasniva na izračunavanju funkcija. U ovome članku izlažemo teorijske osnove funkcijskog programiranja. Za razliku od imperativnog programiranja, koje kao teorijski model izračunavanja koristi Turingov stroj, funkcijsko programiranje kao osnovu koristi λ-račun. Dok Turingov stroj koristi promjenu stanja kao postupak izračunavanja, λ-račun sastoji se isključivo od primjena funkcija te korištenja njihovih povratnih vrijednosti. Kao primjer konkretnog funkcijskog programskog jezika, u članku opisujemo Haskell, moderan funkcijski programski jezik koji se temelji na tipiziranom λ-računu.
