Stručni rad

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

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 λ-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.

Ključne riječi

funkcijsko programiranje; Haskell

Hrčak ID:

165888

URI

https://hrcak.srce.hr/165888

Datum izdavanja:

31.8.2016.

Posjeta: 1.716 *