p1\p2

Question 1

Šta je specifično za funkcionalni programski jezik?

Answer 1

Funkcionalni programski jezici koriste čiste matematičke funkcije i striktno izraze, odnosno svaki statement je izraz.

Question 2

Šta je specifično za IF izraz u funkcionalnom programskom jeziku?

Answer 2

Čak i IF u funkcionalnom programskom jeziku predstavlja izraz, što znači da će svojim izvršenjem proizvesti neku vrijednost.

Question 3

Šta je osnovni building blok u funkcionalnom programiranju?

Answer 3

Osnovni building blok u funkcionalnom programiranju je funkcija.

Question 4

Šta se u funkcionalnom programskom jeziku koristi umjesto objekata?

Answer 4

Umjesto objekata u funkcionalnom programskom jeziku koriste se funkcije, pri čemu su te funkcije čiste i ne proizvode popratne efekte, već samo rezultate.

Question 5

Šta znači anotirati nešto?

Answer 5

Anotiranje označava eksplicitno navođenje tipa određene vrijednosti ili određenog simbola.

Question 6

Kakav je F-Sharp jezik?

Answer 6

F-Sharp je tipizirani lambda calculus, odnosno tipizirani funkcionalni programski jezik, ali ujedno i objektno orijentirani programski jezik.

Question 7

Da li vrijednosti imaju tip kod tipiziranih jezika?

Answer 7

Vrijednosti imaju tip i kod tipiziranih i kod netipiziranih jezika, jer su tipovi određeni samim vrijednostima. Jedina razlika je da li simboli u jeziku imaju tip ili ne.

Question 8

Kako označavamo komentare u F-Sharp programskom jeziku i kako završavamo izraze?

Answer 8

Jednolinijski komentar u F-Sharp programskom jeziku je //, dok je višelinijski komentar označen (* tekst *), a izrazi se završavaju sa ;;.

Question 9

Kakav je tip UNIT u F-Sharp programskom jeziku?

Answer 9

Tip UNIT ima tačno jedan element, tj. jednu vrijednost, a to je ()

Question 10

Kako je kodiran Char, a kako String tip u F-Sharp programskom jeziku?

Answer 10

Char je kodiran sa UTF-8, a String je kodiran sa UTF-16.

Question 11

Šta znači simbol jednako?

Answer 11

Simbol jednako u F-Sharp označava poređenje, a ne operator dodjeljivanja.

Question 12

Da li F-Sharp dozvoljava implicitne konverzije?

Answer 12

Ne. F-Sharp ne dozvoljava implicitne konverzije, ali su eksplicitne konverzije moguće

Question 13

Kako nemogućnost implicitne konverzije utiče na operacije unutar programskog jezika F-Sharp?

Answer 13

Poređenja, kao i sve druge operacije u F-Sharp programskom jeziku, se rade isključivo u istom skupu, odnosno radi se između istih tipova. Moguće je raditi operacije između različitih tipova ukoliko se navede eksplicitna konverzija jednog od tipova, tako da tip bude jednoznačan.

Question 14

Da li su mogući alternativni zapisi za tip Integer u F-Sharp programskom jeziku?

Answer 14

Moguće je Integer zapisati u decimalnom, binarnom i hexadecimalnom obliku.

Question 15

Kako se eksplicitno konvertuje tip vrijednosti?

Answer 15

Navede se ime tipa, zatim šta konvertujemo.

Question 16

Da li je moguća sljedeća eksplicitna konverzija String 33438?

Answer 16

Da. U F-Sharp programskom jeziku za string 33438 dobijamo “33438”, isto tako važi i za obratno - int “25” je int 25. Pri čemu se od bilo čega može napraviti string, ali nije moguće od svakog stringa napraviti int.

Question 17

Kako se označava nejednakost u F-Sharp programu?

Answer 17

<>

Question 18

Šta je patern odnosno uzorak?

Answer 18

Patern odnosno uzorak predstavlja mogući oblik vrijednosti.

Question 19

Šta je pattern matching?

Answer 19

Pattern matching je procedura kojom se utvrđuje da li vrijednost odgovara konkretnom patternu odnosno uzorku.

Question 20

Kada će pattern matching uspjeti?

Answer 20

Pattern matching će uspjeti samo kada se sve komponente specificirane u uzorku mogu naći u datoj vrijednosti.

Question 21

Prilikom izvršavanja kojih izraza u F-Sharp programskom jeziku će se izvršavati i pattern matching?

Answer 21

Pattern matching će se izvršavati u sljedećim izrazima: let, match, lambda i iznimke.

Question 22

Šta je binding odnosno vezivanje?

Answer 22

Binding odnosno vezivanje nastaje kao posljedica pattern matchinga. Kada se izvrši pattern matching, ukoliko dođe do podudaranja vrijednosti s uzorkom, tokom izvršavanja pattern matchinga dolazi i do vezivanja, ali isključivo ukoliko se desi match

Question 23

Ukoliko dođe do pattern matcha, kako će se vrijednosti vezati za uzorak?

Answer 23

Djelovi vrijednosti se mogu vezati za imena, simbole ili varijable koje postoje unutar uzorka. Ti dijelovi su dijelovi vrijednosti koji su se matchali i njima su zapravo dodijeljena imena, simbole i varijable iz uzorka

Question 24

Kakav je proces pattern matchinga i vezivanja?

Answer 24

Neko daje uzorak i neko daje vrijednost. Unutar uzorka moraju biti neki simboli ili ne moraju. Ukoliko nema simbola, neće doći do vezivanja. Ako postoje simboli, da bi se simboli vezali, mora uspjeti podudaranje. Ukoliko uspije podudaranje, simboli iz uzorka se vezuju za dio vrijednosti ili cijelu vrijednost koja je podudarana.

Question 25

Da li će doći do vezivanja ako podudaranje ne uspije?

Answer 25

Ukoliko podudaranje ne uspije, do vezivanja neće doći, te će doći do iznimke

Question 26

Koje su razlike između imperativnog programskog jezika i funkcionalnog programskog jezika?

Answer 26

Za imperativni programski jezik vrijedi da dodjeljivanje vrijednosti u varijablu uvijek uspije i izvrši za minimalno jednu varijablu, a može i više. Vrijednost koja se dodijeli varijabli se kodira u memoriju i ta vrijednost je mutabilna, odnosno može se promijeniti. Što se tiče funkcionalnog programskog jezika, vezivanje ne mora uvijek uspjeti, tako da vezivanje može da prođe bez vezivanja jednog simbola. Pri vezivanju ime će se vezati za vrijednost, i gdje god se vidi taj simbol, odnosno ime, efektivno se vidi ta vrijednost. Dok je podudaranje operacija koja je konstantna, simbol koji se zaveže za vrijednost ostaće vezan za tu vrijednost koja se ne može promijeniti.

Question 27

Kako izgleda let izraz?

Answer 27

Let pat = expr1 in expr2 ili let pat = expr1 expr2.

Question 28

Šta figurira na mjestu izraza?

Answer 28

Na mjestu izraza u let izrazu imamo dva podizraza. U tim podizrazima može biti bilo šta, bilo kakav izraz, uključujući i novi let izraz

Question 29

Koji je redoslijed izvršavanja let izraza?

Answer 29

Prvo će se izvršiti prvi izraz. Izvršavanje izraza podrazumijeva dobivanje neke vrijednosti. Zatim, vrijednost koja se dobije izvršavanjem prvog izraza će se podudarati, odnosno pattern matchati sa uzorkom. Ukoliko podudaranje ne uspije, završava izvršavanje izraza i baca se iznimka. Međutim, ako podudaranje uspije, vrši se izvršavanje drugog izraza u kojem mogu figurirati simboli, imena i varijable definisane u uzorku koje su prethodno bile podudarene i koriste se vezane vrijednosti. Vrijednost dobivena izvršavanjem drugog izraza je rezultat cijelog let izraza

Question 30

Koje su forme definicije uzoraka? Odnosno, kakve uzorke imamo?

Answer 30

Identifier pattern, wildcard pattern, constant pattern, or pattern.

Question 31

Šta figurira u identifier patternu?

Answer 31

U identifier patternu figurira samo simbol, odnosno ime. Forma: Ime.

Question 32

Kada uspijeva podudaranje sa identifier pattern?

Answer 32

Podudaranje uvijek uspijeva i cijela vrijednost se veže za taj pat

Question 33

Šta figurira u wildcard patternu?

Answer 33

U wildcard patternu figurira samo _ u formi _.

Question 34

Kada uspijeva pattern matching sa wildcard patternom?

Answer 34

Pattern matching uspijeva uvijek sa wildcard patternom, međutim, neće doći do vezivanja. Odnosno, ništa se ne veže za taj pattern.

Question 35

Šta figurira u constant patternu?

Answer 35

U constant patternu figurira literal, odnosno vrijednost konstante koja se specificira

Question 36

Kada dolazi do pattern matchinga kod konstantnog patterna?

Answer 36

Kod konstantnog patterna do pattern matchinga dolazi samo kada je vrijednost istog tipa kao i literal, odnosno kada je u pitanju identična vrijednost. Međutim, ne dolazi do vezivanja za bilo kakvo ime, odnosno simbol.

Question 37

Šta figurira u or patternu?

Answer 37

Or pattern predstavlja kompoziciju već postojećih patterna. U formi: pat1 | pat2 | … | patn

Question 38

Kada pattern matching uspijeva za OR pattern?

Answer 38

Pattern matching za OR pattern uspijeva kada bilo koji od uzoraka uspije sa podudaranjem sa vrijednošću. Prvi koji uspije, uspjelo je podudaranje.

Question 39

Da li let m | 8 = 3 ima smisla?

Answer 39

Ne, doći će do greške

Question 40

Šta je bitno ukoliko OR pattern u sebi sadrži simbol?

Answer 40

Simbol se mora pojavljivati u svakom od patterna.

Question 41

Šta je lambda izraz?

Answer 41

Lambda izraz je izraz koji, kada se izvrši, vraća vrijednost tipa lambda, odnosno vrijednost tipa funkcije.

Question 42

Koja je forma lambda izraza i šta označava lambda izraz?

Answer 42

Lambda izraz označava ključnu riječ fun i ima formu: fun pat -> expr.

Question 43

Budući da je lambda izraz izraz, što to znači?

Answer 43

To znači da lambda izraz može figurirati na mjestu izraza u drugim izrazima, naprimjer u let izrazu. One se također daju aplicirati

Question 44

Šta je aplikacija?

Answer 44

Aplikacija podrazumijeva prezentaciju vrijednosti odgovarajućeg tipa funkciji korištenoj u izrazu za aplikaciju.

Question 45

Kako se izvršava aplikacija?

Answer 45

Vrijednost prezentovana aplikaciji se podudara sa uzorkom u lambda izrazu. Ukoliko podudaranje uspije, izvrši se izraz koji je korišten u definiciji lambda, a rezultat aplikacije je zapravo rezultat izvršenja tog izraza.

Question 46

Koji je format aplikacije funkcije?

Answer 46

Neka je fval funkcija, a val prezentovana vrijednost. Aplikacija ima format: fval val

Question 47

Koji je prioritet aplikacije kao izraza?

Answer 47

Aplikacija je izraz koji poslije operatora . ima najveći prioritet