Math.e, Vol. 29 No. 1, 2016.
Professional paper
Lambda račun kao osnova funkcijskog programiranja
Lovro Rožić
; Prirodoslovno matematički fakultet
Jan Šnajder
orcid.org/0000-0001-8942-5301
; Fakultet elektrotehnike i računarstva
Mladen Vuković
orcid.org/0000-0002-3829-9859
; Prirodoslovno matematički fakultet
Abstract
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.
Keywords
funkcijsko programiranje; Haskell
Hrčak ID:
165888
URI
Publication date:
31.8.2016.
Visits: 2.201 *