Funkcionalno programiranje

1. Na koji način je John Backus uticao na razvoj funkcionalnih jezika?

Backus je održao predavanje sa poentom da su čisti funkcionalni programski jezici bolji od
imperativnih jer su programi koji se pišu na njima čitljiviji, pouzdaniji i verovatnije ispravni.

2. Koji su najpoznatiji funkcionalni programski jezici?

3. Koji je domen upotrebe funkcionalnih programskih jezika?

4. Koje su osnovne karakteristike funkcionalnih programskih jezika?

5. Šta je svojstvo referentne transparentnosti i na koji način ovo svojstvo utiče na redosled
naredbi u funkciji?

6. Koje su osobine programa u kojima se poštuje pravilo referencijalne transparentnosti?

7. Da li je moguće u potpunosti zadržati svojstvo referencijalne transparentnosti?

8. Koji je odnos referencijalne transparentnosti sa bočnim efektima?

9. Da li je moguće obezbediti promenu stanja programa i istovremeno zadržati svojstvo

referentne transparentnosti?

10. Šta su funkcionalni jezici? Šta su čisto funkcionalni jezici?

11. Navesti primere čisto funkcionalnih jezika?

12. Koje su osnovne aktivnosti u okviru funkcionalnog programiranja?

13. Kako izgleda program napisan u funkcionalnom programskom jeziku?

14. Šta je potrebno da obezbedi funkcionalni programski jezik za uspešno programiranje?

15. Šta je striktna/nestriktna semantika?

16. Kakvu semantiku ima jezik Haskell?

17. Kakvu semantiku ima jezik Lisp?

18. Koje su prednosti funkcionalnog programiranja?

19. Koje su mane funkcionalnog programiranja?

20. Šta uključuje definisanje funkcije?

21. Šta su funkcije višeg reda? Navesti primere.

22. Da li matematičke funkcije imaju propratne efekte?

23. Koji je formalni okvir funkcionalnog programiranja?

24. Koji se jezik smatra prvim funkcionalnim jezikom?

25. Koja je ekspresivnost lambda računa?

26. Koji su sve sinonimi za lambda izraz?

27. Navesti definiciju lambda terma.

28. Da li čist lambda račun uključuje konstante u definiciji?

29. Navesti primer jednog lambda izraza, objasniti njegovo značenje i primeniti dati izraz na
neku konkretnu vrednost.

30. Koja je asocijativnost primene a koja apstrakcije?

31. Navesti ekvivalentan izraz sa zagradama za izraz ...

32. Koje su slobodne a koje vezane promenljive u izrazu ...

33. Navesti definiciju slobodne promenljive? Koje promenljive su vezane?

34. Koja je uloga pojma alfa ekvivalentnosti?

35. Šta su redukcije?

36. Šta je delta redukcija? Navesti primer.

37. Šta je alfa redukcija? Navesti primer.

38. Kada se koristi alfa redukcija?

39. Šta je beta redukcija? Navesti primer.

40. Definisati supstituciju.

41. Navesti primer lambda izraza koji definiše funkciju višeg reda koja prima funkciju kao
argument.

42. Navesti primer lambda izraza koji definiše funkciju višeg reda koja ima funkciju kao povratnu
vrednost.
43. Čemu služi Karije postupak?

44. Kako se definišu funkcije sa više argumenata?

45. Šta je normalni oblik funkcije?

46. Da li svi izrazi imaju svoj normalni oblik?

47. Navesti svojstvo konfluentnosti.

48. Da li izraz može imati više normalnih obilika?

49. Koja je razlika izmedu aplikativnog i normalnog poretka?

50. Šta govori teorema standardizacije?

51. Šta se dobija lenjom evaluacijom?

52. Koje su osnovne karakteristike Haskela?