Matija Pretnar, Andrej Bauer: Evaluacijske strategije v programskih jezikih

Opomba: Seminar začenjamo ob 10h, ker bo pri nas gostoval seminar za diskretno matematiko. 

Povztek: Pravimo, da je programski jezik neučakan, če pri klicu funkcije vedno evaluira argumente (call-by-value), in len, če jih evaluira po potrebi (call-by-need). Popularni programski jeziki, kot je C/C++, Java, Python, perl in ML so neučakani. Haskell je len. Spoznali bomo še strategijo call-by-push-value (CBPV), ki je bolj splošna od neučakane in lene. Če bo čas dopuščal, si bomo ogledali še prototip jezika, ki CBPV nadgradi z operacijami in prestrezniki.