Pregled bibliografske jedinice broj: 858934
Lambda račun kao osnova funkcijskog programiranja
Lambda račun kao osnova funkcijskog programiranja // Math.e, 29 (2016), 1-10 (podatak o recenziji nije dostupan, članak, stručni)
CROSBI ID: 858934 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Lambda račun kao osnova funkcijskog programiranja
(Lambda calculus as a base of functional programming)
Autori
Rožić, Lovro ; Šnajder, Jan ; Vuković, Mladen
Izvornik
Math.e (1334-6083) 29
(2016);
1-10
Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, stručni
Ključne riječi
lambda račun ; funkcijsko programiranje
(lambda calculus ; functional programming)
Sažetak
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.
Izvorni jezik
Hrvatski
Znanstvena područja
Matematika
POVEZANOST RADA
Ustanove:
Fakultet elektrotehnike i računarstva, Zagreb,
Prirodoslovno-matematički fakultet, Matematički odjel, Zagreb,
Prirodoslovno-matematički fakultet, Zagreb
