Lambda račun kao osnova funkcijskog programiranja (CROSBI ID 235860)
Prilog u časopisu | stručni rad
Podaci o odgovornosti
Rožić, Lovro ; Šnajder, Jan ; Vuković, Mladen
hrvatski
Lambda račun kao osnova funkcijskog programiranja
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 lambda-račun. Dok Turingov stroj koristi promjenu stanja kao postupak izračunavanja, lambda-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 lambda-računu.
lambda račun ; funkcijsko programiranje
nije evidentirano
engleski
Lambda calculus as a base of functional programming
nije evidentirano
lambda calculus ; functional programming
nije evidentirano