Show and speak: Name binding, Recursion, Iteration, and Continuations
default-showing-time:
2 seconds
additional-showing-time:
20 seconds
sound-source:
real-audio
speak-url-prefix:
http://dv.cs.aau.dk/ramgen/video/Lecture/PP-soundfiles/
speak-file-prefix:
../../faked-sound/
Nr.
Kind
Title
Time
Show and speak page
Sound file
1
Sl
1
Name binding constructs
75
fu-intr-2-show-name-binding-section-1
fu-intr-2-name-binding-section-slide-part-1
2
Sl
1
The
let
name binding expression
91
fu-intr-2-show-name-binding-1
fu-intr-2-name-binding-slide-part-1
3
Sl
1
The equivalent meaning of
let
204
fu-intr-2-show-let-lambda-1
fu-intr-2-let-lambda-slide-part-1
4
Sl
1
Examples with
let
name binding
259
fu-intr-2-show-ex-namebinding-1
fu-intr-2-ex-namebinding-slide-part-1
5
Sl
1
The
let*
name binding construct
111
fu-intr-2-show-let-star-construct-1
fu-intr-2-let-star-construct-slide-part-1
6
Sl
1
An example with
let*
201
fu-intr-2-show-let-ex-1
fu-intr-2-let-ex-slide-part-1
7
Sl
1
The
letrec
namebinding construct
91
fu-intr-2-show-letrec-construct-1
fu-intr-2-letrec-construct-slide-part-1
8
Sl
1
LAML time functions
196
fu-intr-2-show-laml-time-fu-1
fu-intr-2-laml-time-fu-slide-part-1
9
Sl
1
Conditional expressions
36
fu-intr-2-show-conditional-expr-section-1
fu-intr-2-conditional-expr-section-slide-part-1
10
Sl
1
Conditional expressions
87
fu-intr-2-show-cond-if-1
fu-intr-2-cond-if-slide-part-1
11
Sl
1
Examples with
if
110
fu-intr-2-show-if-cond-ex-3-1
fu-intr-2-if-cond-ex-3-slide-part-1
12
Sl
1
Example with
cond
:
leap-year?
105
fu-intr-2-show-if-cond-ex-1
fu-intr-2-if-cond-ex-slide-part-1
13
Pr 1
Program nummer 1 paa Example with
cond
:
leap-year?
78
fu-intr-2-if-cond-ex-show-program-1
fu-intr-2-if-cond-ex-program-part-1
14
Sl
2
Example with
cond
:
leap-year?
41
fu-intr-2-show-if-cond-ex-2
fu-intr-2-if-cond-ex-slide-part-2
15
Sl
1
Example with cond:
american-time
118
fu-intr-2-show-am-time-ex-1
fu-intr-2-am-time-ex-slide-part-1
16
Pr 1
Program nummer 1 paa Example with cond:
american-time
77
fu-intr-2-am-time-ex-show-program-1
fu-intr-2-am-time-ex-program-part-1
17
Sl
1
Example with
cond
:
as-string
147
fu-intr-2-show-if-cond-ex-2-1
fu-intr-2-if-cond-ex-2-slide-part-1
18
Sl
1
Recursion and iteration
46
fu-intr-2-show-recursion-iteration-section-1
fu-intr-2-recursion-iteration-section-slide-part-1
19
Sl
1
Recursion
178
fu-intr-2-show-recursion-1
fu-intr-2-recursion-slide-part-1
20
Sl
1
List processing
210
fu-intr-2-show-rec-list-1
fu-intr-2-rec-list-slide-part-1
21
Pr 1
Program nummer 1 paa List processing
140
fu-intr-2-rec-list-show-program-1
fu-intr-2-rec-list-program-part-1
22
Sl
2
List processing
61
fu-intr-2-show-rec-list-2
fu-intr-2-rec-list-slide-part-2
23
Sl
1
Tree processing (1)
141
fu-intr-2-show-rec-tree-1
fu-intr-2-rec-tree-slide-part-1
24
Pr 1
Program nummer 1 paa Tree processing (1)
48
fu-intr-2-rec-tree-show-program-1
fu-intr-2-rec-tree-program-part-1
25
Pr 2
Program nummer 2 paa Tree processing (1)
79
fu-intr-2-rec-tree-show-program-2
fu-intr-2-rec-tree-program-part-2
26
Sl
2
Tree processing (1)
47
fu-intr-2-show-rec-tree-2
fu-intr-2-rec-tree-slide-part-2
27
Sl
1
Tree processing (2)
35
fu-intr-2-show-rectree2-1
fu-intr-2-rectree2-slide-part-1
28
Pr 1
Program nummer 1 paa Tree processing (2)
208
fu-intr-2-rectree2-show-program-1
fu-intr-2-rectree2-program-part-1
29
Pr 2
Program nummer 2 paa Tree processing (2)
50
fu-intr-2-rectree2-show-program-2
fu-intr-2-rectree2-program-part-2
30
Sl
2
Tree processing (2)
52
fu-intr-2-show-rectree2-2
fu-intr-2-rectree2-slide-part-2
31
Sl
1
Recursion versus iteration
42
fu-intr-2-show-recursion-iteration-1
fu-intr-2-recursion-iteration-slide-part-1
32
Is 1
Billedserie nummer 1(1) paa Recursion versus iteration
101
fu-intr-2-recursion-iteration-show-images-1-1
fu-intr-2-recursion-iteration-image-series-part-1-1
33
Is 1
Billedserie nummer 1(2) paa Recursion versus iteration
36
fu-intr-2-recursion-iteration-show-images-1-2
fu-intr-2-recursion-iteration-image-series-part-1-2
34
Is 1
Billedserie nummer 1(3) paa Recursion versus iteration
31
fu-intr-2-recursion-iteration-show-images-1-3
fu-intr-2-recursion-iteration-image-series-part-1-3
35
Is 1
Billedserie nummer 1(4) paa Recursion versus iteration
31
fu-intr-2-recursion-iteration-show-images-1-4
fu-intr-2-recursion-iteration-image-series-part-1-4
36
Is 1
Billedserie nummer 1(5) paa Recursion versus iteration
61
fu-intr-2-recursion-iteration-show-images-1-5
fu-intr-2-recursion-iteration-image-series-part-1-5
37
Is 1
Billedserie nummer 1(6) paa Recursion versus iteration
38
fu-intr-2-recursion-iteration-show-images-1-6
fu-intr-2-recursion-iteration-image-series-part-1-6
38
Is 1
Billedserie nummer 1(7) paa Recursion versus iteration
28
fu-intr-2-recursion-iteration-show-images-1-7
fu-intr-2-recursion-iteration-image-series-part-1-7
39
Is 1
Billedserie nummer 1(8) paa Recursion versus iteration
31
fu-intr-2-recursion-iteration-show-images-1-8
fu-intr-2-recursion-iteration-image-series-part-1-8
40
Is 1
Billedserie nummer 1(9) paa Recursion versus iteration
28
fu-intr-2-recursion-iteration-show-images-1-9
fu-intr-2-recursion-iteration-image-series-part-1-9
41
Is 1
Billedserie nummer 1(10) paa Recursion versus iteration
106
fu-intr-2-recursion-iteration-show-images-1-10
fu-intr-2-recursion-iteration-image-series-part-1-10
42
Sl
2
Recursion versus iteration
48
fu-intr-2-show-recursion-iteration-2
fu-intr-2-recursion-iteration-slide-part-2
43
Is 2
Billedserie nummer 2(1) paa Recursion versus iteration
63
fu-intr-2-recursion-iteration-show-images-2-1
fu-intr-2-recursion-iteration-image-series-part-2-1
44
Is 2
Billedserie nummer 2(2) paa Recursion versus iteration
42
fu-intr-2-recursion-iteration-show-images-2-2
fu-intr-2-recursion-iteration-image-series-part-2-2
45
Is 2
Billedserie nummer 2(3) paa Recursion versus iteration
56
fu-intr-2-recursion-iteration-show-images-2-3
fu-intr-2-recursion-iteration-image-series-part-2-3
46
Is 2
Billedserie nummer 2(4) paa Recursion versus iteration
40
fu-intr-2-recursion-iteration-show-images-2-4
fu-intr-2-recursion-iteration-image-series-part-2-4
47
Is 2
Billedserie nummer 2(5) paa Recursion versus iteration
70
fu-intr-2-recursion-iteration-show-images-2-5
fu-intr-2-recursion-iteration-image-series-part-2-5
48
Is 2
Billedserie nummer 2(6) paa Recursion versus iteration
29
fu-intr-2-recursion-iteration-show-images-2-6
fu-intr-2-recursion-iteration-image-series-part-2-6
49
Is 2
Billedserie nummer 2(7) paa Recursion versus iteration
25
fu-intr-2-recursion-iteration-show-images-2-7
fu-intr-2-recursion-iteration-image-series-part-2-7
50
Is 2
Billedserie nummer 2(8) paa Recursion versus iteration
24
fu-intr-2-recursion-iteration-show-images-2-8
fu-intr-2-recursion-iteration-image-series-part-2-8
51
Is 2
Billedserie nummer 2(9) paa Recursion versus iteration
26
fu-intr-2-recursion-iteration-show-images-2-9
fu-intr-2-recursion-iteration-image-series-part-2-9
52
Is 2
Billedserie nummer 2(10) paa Recursion versus iteration
71
fu-intr-2-recursion-iteration-show-images-2-10
fu-intr-2-recursion-iteration-image-series-part-2-10
53
Sl
3
Recursion versus iteration
57
fu-intr-2-show-recursion-iteration-3
fu-intr-2-recursion-iteration-slide-part-3
54
Is 3
Billedserie nummer 3(1) paa Recursion versus iteration
112
fu-intr-2-recursion-iteration-show-images-3-1
fu-intr-2-recursion-iteration-image-series-part-3-1
55
Is 3
Billedserie nummer 3(2) paa Recursion versus iteration
75
fu-intr-2-recursion-iteration-show-images-3-2
fu-intr-2-recursion-iteration-image-series-part-3-2
56
Is 3
Billedserie nummer 3(3) paa Recursion versus iteration
31
fu-intr-2-recursion-iteration-show-images-3-3
fu-intr-2-recursion-iteration-image-series-part-3-3
57
Is 3
Billedserie nummer 3(4) paa Recursion versus iteration
28
fu-intr-2-recursion-iteration-show-images-3-4
fu-intr-2-recursion-iteration-image-series-part-3-4
58
Is 3
Billedserie nummer 3(5) paa Recursion versus iteration
64
fu-intr-2-recursion-iteration-show-images-3-5
fu-intr-2-recursion-iteration-image-series-part-3-5
59
Sl
4
Recursion versus iteration
72
fu-intr-2-show-recursion-iteration-4
fu-intr-2-recursion-iteration-slide-part-4
60
Sl
1
Example of recursion:
number-interval
136
fu-intr-2-show-ex-numberint-1
fu-intr-2-ex-numberint-slide-part-1
61
Pr 1
Program nummer 1 paa Example of recursion:
number-interval
156
fu-intr-2-ex-numberint-show-program-1
fu-intr-2-ex-numberint-program-part-1
62
Pr 2
Program nummer 2 paa Example of recursion:
number-interval
43
fu-intr-2-ex-numberint-show-program-2
fu-intr-2-ex-numberint-program-part-2
63
Sl
2
Example of recursion:
number-interval
136
fu-intr-2-show-ex-numberint-2
fu-intr-2-ex-numberint-slide-part-2
64
Sl
1
Examples of recursion: string-merge
131
fu-intr-2-show-examples-rec-1
fu-intr-2-examples-rec-slide-part-1
65
Pr 1
Program nummer 1 paa Examples of recursion: string-merge
90
fu-intr-2-examples-rec-show-program-1
fu-intr-2-examples-rec-program-part-1
66
Pr 2
Program nummer 2 paa Examples of recursion: string-merge
90
fu-intr-2-examples-rec-show-program-2
fu-intr-2-examples-rec-program-part-2
67
Sl
1
Examples with recursion:
string-of-char-list?
188
fu-intr-2-show-examples-rec-2-1
fu-intr-2-examples-rec-2-slide-part-1
68
Pr 1
Program nummer 1 paa Examples with recursion:
string-of-char-list?
105
fu-intr-2-examples-rec-2-show-program-1
fu-intr-2-examples-rec-2-program-part-1
69
Sl
1
Exercises
22
fu-intr-2-show-exercises-1
fu-intr-2-exercises-slide-part-1
70
Sl
1
Example of recursion: Hilbert Curves
33
fu-intr-2-show-hilbert-sec-1
fu-intr-2-hilbert-sec-slide-part-1
71
Sl
1
Hilbert Curves
71
fu-intr-2-show-hilbert1-1
fu-intr-2-hilbert1-slide-part-1
72
Sl
1
Building Hilbert Curves of order 1
69
fu-intr-2-show-hilbert3-1
fu-intr-2-hilbert3-slide-part-1
73
Sl
1
Building Hilbert Curves of order 2
51
fu-intr-2-show-hilbert4-1
fu-intr-2-hilbert4-slide-part-1
74
Sl
1
Building Hilbert Curves of order 3
51
fu-intr-2-show-hilbert5-1
fu-intr-2-hilbert5-slide-part-1
75
Sl
1
Building Hilbert Curves of order 4
107
fu-intr-2-show-hilbert6-1
fu-intr-2-hilbert6-slide-part-1
76
Sl
1
A program making Hilbert Curves
77
fu-intr-2-show-hilbertprog-1
fu-intr-2-hilbertprog-slide-part-1
77
Pr 1
Program nummer 1 paa A program making Hilbert Curves
147
fu-intr-2-hilbertprog-show-program-1
fu-intr-2-hilbertprog-program-part-1
78
Sl
1
Continuations
22
fu-intr-2-show-continuation-sec-1
fu-intr-2-continuation-sec-slide-part-1
79
Sl
1
Introduction and motivation
22
fu-intr-2-show-intr-1
fu-intr-2-intr-slide-part-1
80
Sl
1
The catch and throw idea
22
fu-intr-2-show-catch-throw-1
fu-intr-2-catch-throw-slide-part-1
81
Sl
1
A catch and throw example
22
fu-intr-2-show-catch-throw-ex-1
fu-intr-2-catch-throw-ex-slide-part-1
82
Sl
1
The intuition behind continuations
22
fu-intr-2-show-cont-1
fu-intr-2-cont-slide-part-1
83
Sl
1
Being more precise
22
fu-intr-2-show-cont-form-1
fu-intr-2-cont-form-slide-part-1
84
Sl
1
The capturing of continuations
22
fu-intr-2-show-cont-cap-1
fu-intr-2-cont-cap-slide-part-1
85
Sl
1
Capturing, storing, and applying continuations
22
fu-intr-2-show-cont-use-1
fu-intr-2-cont-use-slide-part-1
86
Sl
1
Use of continuations for escaping purposes
22
fu-intr-2-show-cont-use-esc-1
fu-intr-2-cont-use-esc-slide-part-1
87
Sl
1
Practical example: Length of an improper list
22
fu-intr-2-show-list-ex-1
fu-intr-2-list-ex-slide-part-1
88
Sl
1
Practical example: Searching a binary tree
22
fu-intr-2-show-tree-search-ex-1
fu-intr-2-tree-search-ex-slide-part-1
Total playing time: 1 hour, 52 minutes, 13 seconds
Generated: Wednesday July 7, 2010, 15:38:02