01 Introduction

Question 1

rekursjon

Answer 1

prosedyrer som kaller på seg selv

Question 2

prosedyrer som førsteordens objekter

Answer 2

prosedyrer er datatyper på lik linje med tall, symboler, strenger, lister, etc.

Question 3

høyere-ordens prosedyrer

Answer 3

prosedyrer som kan

1) ta prosedyrer som argumenter og
2) returnere prosedyrer

Question 4

objektorientering via prosedyrer

Answer 4

innkapsulering av data i prosedyrer for å skjule tilstandsvariabler

Question 5

strømmer og utsatt evaluering

Answer 5

definering av uendelige sekvenser og realisering av de enkelt elementene i disse ved utsatt evaluering etter behov

Question 6

funksjonell vs imperativ programmering

Answer 6

Funksjonell programmering:

• Ingen tilstandsendringer
• En prosedyres returverdi vil alltid være den samme hvis argumentene er de samme
• Beregninger utføres som funksjonelle transformasjoner av data (kontra sekvensielle endringer av tilstandsvariabler ved imperativ programmering)

Question 7

viktige egenskaper ved funksjonell programmering

Answer 7

Funksjoner danner byggeklossene.

Prosedyrene er uavhengige av ekstern tilstand, og påvirker ikke ekstern tilstand.

Dette gir enklere, sikrere, mer testbar og paralleliserbar kode.

Prosedyrer er data. Og disse kan representeres ved lister. Program = data.

Question 8

Scheme

Answer 8

minimalistisk dialekt av Lisp

Question 9

REPL

Answer 9

Read-Eval-Print Loop

Question 10

primitive uttrykk i Scheme evaluerer til ___

Answer 10

seg selv

Question 11

Hva evaluerer til true i Scheme?

Answer 11

Alt bortsett fra #f

Question 12

notasjon i Scheme

Answer 12

parantesbasert prefixnotasjon

Question 13

(Scheme)

Det første elementet i en liste er ___. Resten av lista består av ____.

Answer 13

operatoren, operandene (argumentene)

Question 14

introdusere en leksikal variabel

Answer 14

(define foo 42)

define er en “special form”

Question 15

Schemes evalueringsregel

Answer 15

1) Evaluér enkeltuttrykkene i sammensetningen
a) Atomære uttrykk evalueres til seg selv
b) Leksikale variabler og prosedyrer evalueres til verdiene de refererer til
c) Sammensatte uttrykk: anvend 1) igjen
2) Anvend operatoren på verdiene til de andre uttrykkene

Unntak: special forms

Evalueringsregelen er altså rekursivt definert

Question 16

LISP står for…

Answer 16

List Processing

Question 17

generell form for lambda-uttrykk

Answer 17

(define navn
(lambda (argumenter)
kropp))

Question 18

kortform for lambda-uttrykk

Answer 18

(define (navn argumenter)

kropp)

Question 19

predikater

Answer 19

prosedyrer eller uttrykk som returnerer #t eller #f

Innebygget i Scheme:
even?
zero?
not
>

Question 20

‘and’ returnerer…

Answer 20

det logiske konnektivet ‘and’ returnerer #f eller verdien til det siste uttrykket

Question 21

‘or’ returnerer…

Answer 21

det logiske konnektivet ‘or’ returnerer #f eller verdien til det første sanne uttrykket

Question 22

Hva skiller de logiske konnektivene fra andre prosedyrer?

Answer 22

Evalueringen avbrytes så snart problemstillingen kan besvares. De logiske konnektivene følger altså ikke Schemes evalueringsregel.

Question 23

syntaks for kondisjonale uttrykk

Answer 23

(if

)

(cond ( )
( )
( )
(else ))

Question 24

applicative-order evaluation

Answer 24

1) Evaluer argumentene
2) Kall prosedyre på verdi
Dette er standard i Scheme.

(kontra normal-order evaluation)

Question 25

Hvilke variable er bundne og frie i denne prosedyren:

define (avslag p pris
(* (/ pris 100) p))

Answer 25

Frie: *, /
Bundne: p, pris

Skopet for bindingen er kroppen til prosedyren.

Question 26

en blokk

Answer 26

Når man definerer en prosedyre internt og lokalt i definisjonen til en annen prosedyre

Question 27

Scheme er svakt/sterkt og dynamisk/statisk typet

Answer 27

Scheme er svakt og dynamisk typet

Question 28

funksjon vs prosedyre vs prosess

Answer 28

En prosedyre er en implementasjon av en (matematisk) funksjon.

En prosess er beregningene en prosedyre gir opphav til.

Question 29

halerekursjon

Answer 29

Det rekursive kallet står i “haleposisjon” (det er det siste prosedyren utfører). Dermen slipper man ventende prosedyrer og stack overflow.

(eng: tail call elimination)

Question 30

halerekursiv prosedyre

Answer 30

En prosedyre er halerekursiv (eng: tail recursive) hvis dens returverdi er lik returverdien til det siste rekursive kallet.

Question 31

ulike typer rekursjon

Answer 31

rekursjon
halerekursjon (iterativ prosess)
trerekursjon

Question 32

par

Answer 32

> (cons 1 2)
(1 . 2)

> (car (cons 1 2))
1

> (cdr (cons 1 2))
2

Question 33

den tomme listen

Answer 33

’()

Question 34

liste

Answer 34

Lister er rekursiv definert

• ’() er en liste
• et par der cdr på paret er en liste, er en liste

> (cons 1 (cons 2 (cons 3 ‘())))
(1 2 3)

> (list 1 2 3)
(1 2 3)

Question 35

(null? ‘())

Answer 35

t

Question 36

en special form som gjør at uttrykket som følger ikke evalueres

Answer 36

quote

‘foo
quote foo

Question 37

absoluttverdi

Answer 37

abs

Question 38

anvende prosedyre på alle elementene i en liste

Answer 38

(map proc list)

NB: Endrer (selvsagt) ikke den opprinnelige listen, men returnerer en ny

Question 39

(reduce proc init ‘(1 2 3))

Answer 39

(proc 1 (proc 2 (proc 3 init)))

Question 40

(define stuff (list + “zoo” 42 ‘towel))

> stuff

Answer 40

(# “zoo” 42 towel)

Question 41

let-uttrykk med n variable er ekvivalent med…

Answer 41

et lamda-uttrykk med n parametre

Question 42

let-uttrykk der bindingene kan referere til hverandre

Answer 42

(let* …)

Question 43

let-uttrykk

Answer 43

(let ((var1 exp1)
(var2 exp2))
body)

Question 44

message passing

Answer 44

en prosedyre kaller en prosedyre med en gitt verdi (beskjed)

define (car proc
(proc 0))

Question 45

par implementert som prosedyre

Answer 45

(define (cons x y)
(lambda (query)
(cond ((= query 0) x)
((= query 1) y))))

(clojure!)