Lambda ra？un kao osnova funkcijskog programiranja

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