DavidNolen TheFunctionalFinalFrontier

Immutability, Interactivity
& JavaScript
Immutability, Interactivity
& JavaScript
(er ClojureScript)
Model-View-Controller
rst formulated by Trygve Reenskaug

Adele Goldberg and others at Xerox
PARC in 1979
long shadow, the basic concepts still
prevalent today.
At a very abstract level MVC is a sound

separation of concerns
Implementations leave much to be
desired
Stateful objects everywhere
Mutable DOM
Functional Programming?
Functional Reactive Programming

(FRP), still active area of research
Rx, doesn't address rendering
Communicating Sequential Processes

(CSP), a coordination language, doesn't
address rendering
Functional Programming and Data

immutable values, not mutable objects
change returns a new value, leaving the old one unmodified
theyre persistent
theyre fast
Simple example: Linked List

X

Y

Y

structural sharing
Y
Sharing structure
space efficiency
computational efficiency avoids copying
Phil Bagwell
Array Mapped Trie
Hash Array Mapped Trie
Bitmapped Vector Trie

data lives in the leaves
e.g. prefix tree used for string lookup
bitwise trie
Persistent Vector
Persistent Vector
Persistent Vector
Persistent Vector
Persistent Vector
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
Persistent Vector
getindex
Persistent Vector
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
Persistent Vector
96
97
98
99
100
101
102
103
104
105
106
0b01101010
107
108
109
110
111
Persistent Vector
96
97
98
99
100
101
102
103
104
105
106
0b01101010
107
108
109
110
111
Persistent Vector
96
97
98
99
100
101
102
103
104
105
106
0b01101010
107
108
109
110
111
Persistent Vector
96
97
98
99
100
101
102
103
104
105
106
0b01101010
107
108
109
110
111
Persistent Vector
96
97
98
99
100
101
102
103
104
105
106
0b01101010
107
108
109
110
111
Persistent Vector
assoc
Persistent Vector
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
Persistent Vector
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
Persistent Vector
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
Persistent Vector
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
Persistent Vector
96
97
98
99
100
101
102
103
104 105 106 107

104 105 foo 107
108
109
110
111
Persistent Vector
Length 4 internal vectors?
Persistent Vector
32
From Bagwell, Rompf 2011
32
34,359,738,368
elements
Om
f(D0) = V0
f(D1) = V1
di(V0,V1) = CHANGES
demo
demo
Persistent Data Structures ROCK
Questions?

DavidNolen TheFunctionalFinalFrontier

Uploaded by

Document Information

Original Description:

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

DavidNolen TheFunctionalFinalFrontier

Uploaded by

Copyright:

Available Formats

Immutability, Interactivity

rst formulated by Trygve Reenskaug

At a very abstract level MVC is a sound

Stateful objects everywhere

Functional Reactive Programming

Rx, doesn't address rendering

Communicating Sequential Processes

Functional Programming and Data

Simple example: Linked List

Simple example: Linked List

Simple example: Linked List

Simple example: Linked List

Bitmapped Vector Trie

104 105 106 107

From Bagwell, Rompf 2011

Persistent Data Structures ROCK

You might also like