Slide 1

Slide 1 text

No content

Slide 2

Slide 2 text

Multiplatform Functional Architecture

Slide 3

Slide 3 text

Multiplatform Functional Architecture with Oolong

Slide 4

Slide 4 text

No content

Slide 5

Slide 5 text

Different codebases solving the same problems.

Slide 6

Slide 6 text

No content

Slide 7

Slide 7 text

No content

Slide 8

Slide 8 text

No content

Slide 9

Slide 9 text

Multiplatform Functional Architecture

Slide 10

Slide 10 text

https://kotlinlang.org/docs/reference/multiplatform.html

Slide 11

Slide 11 text

Multiplatform Functional Architecture

Slide 12

Slide 12 text

λx.x a └┬─┘ Application Body ┌┴┐ Variable ┌┴┐ └───┬────┘ Abstraction

Slide 13

Slide 13 text

(λU.(λY.(λvoid.(λ0.(λsucc.(λ+.(λ*.(λ1.(λ2.(λ3.(λ4.(λ5.(λ6.(λ7.(λ8.(λ9.(λ10.(λnum.(λtrue.(λfalse.(λif.(λnot. (λand.(λor.(λmake-pair.(λpair-first.(λpair-second.(λzero?.(λpred.(λ-.(λeq?.(λ/.(λ%.(λnil.(λnil?.(λcons. (λcar.(λcdr.(λdo2.(λdo3.(λdo4.(λfor.(λprint-byte.(λprint-list.(λprint-newline.(λzero-byte.(λitoa.(λfizzmsg. (λbuzzmsg.(λfizzbuzzmsg.(λfizzbuzz.(fizzbuzz (((num 1) 0) 1)) λn.((for n) λi.((do2 (((if (zero? ((% i) 3))) λ_.(((if (zero? ((% i) 5))) λ_.(print-list fizzbuzzmsg)) λ_.(print-list fizzmsg))) λ_.(((if (zero? ((% i) 5))) λ_.(print-list buzzmsg)) λ_.(print-list (itoa i))))) (print-newline nil)))) ((cons (((num 0) 7) 0)) ((cons (((num 1) 0) 5)) ((cons (((num 1) 2) 2)) ((cons (((num 1) 2) 2)) ((cons (((num 0) 9) 8)) ((cons (((num 1) 1) 7)) ((cons (((num 1) 2) 2)) ((cons (((num 1) 2) 2)) nil))))))))) ((cons (((num 0) 6) 6)) ((cons (((num 1) 1) 7)) ((cons (((num 1) 2) 2)) ((cons (((num 1) 2) 2)) nil))))) ((cons (((num 0) 7) 0)) ((cons (((num 1) 0) 5)) ((cons (((num 1) 2) 2)) ((cons (((num 1) 2) 2)) nil))))) λn.(((Y λrecurse.λn.λresult.(((if (zero? n)) λ_.(((if (nil? result)) λ_.((cons zero-byte) nil)) λ_.result)) λ_. ((recurse ((/ n) 10)) ((cons ((+ zero-byte) ((% n) 10))) result)))) n) nil)) (((num 0) 4) 8)) λ_.(print- byte (((num 0) 1) 0))) (Y λrecurse.λl.(((if (nil? l)) λ_.void) λ_.((do2 (print-byte (car l))) (recurse (cdr l)))))) PRINT_BYTE) λn.λf.((((Y λrecurse.λremaining.λcurrent.λf.(((if (zero? remaining)) λ_.void) λ_.((do2 (f current)) (((recurse (pred remaining)) (succ current)) f)))) n) 0) f)) λa.do3) λa.do2) λa.λb.b) λl. (pair-second (pair-second l))) λl.(pair-first (pair-second l))) λe.λl.((make-pair true) ((make-pair e) l))) λl.(not (pair-first l))) ((make-pair false) void)) λm.λn.((- m) ((* ((/ m) n)) n))) (Y λ/.λm.λn.(((if ((eq? m) n)) λ_.1) λ_.(((if (zero? ((- m) n))) λ_.0) λ_.((+ 1) ((/ ((- m) n)) n)))))) λm.λn.((and (zero? ((- m) n))) (zero? ((- n) m)))) λm.λn.((n pred) m)) λn.(((λn.λf.λx.(pair-second ((n λp.((make-pair (f (pair-first p))) (pair-first p))) ((make-pair x) x))) n) succ) 0)) λn.((n λ_.false) true)) λp.(p false)) λp.(p true)) λx.λy.λt.((t x) y)) λa.λb.((a true) b)) λa.λb.((a b) false)) λp.λt.λf.((p f) t)) λp.λa.λb.(((p a) b) void)) λt.λf.f) λt.λf.t) λa.λb.λc.((+ ((+ ((* ((* 10) 10)) a)) ((* 10) b))) c)) (succ 9)) (succ 8)) (succ 7)) (succ 6)) (succ 5)) (succ 4)) (succ 3)) (succ 2)) (succ 1)) (succ 0)) λm.λn.λx.(m (n x))) λm.λn.λf.λx.((((m succ) n) f) x)) λn.λf.λx.(f ((n f) x))) λf.λx.x) λx.(U U)) (U λh.λf.(f λx.(((h h) f) x)))) λf.(f f))

Slide 14

Slide 14 text

Pure functions

Slide 15

Slide 15 text

Pure functions are deterministic.

Slide 16

Slide 16 text

Pure functions are free of side-effects.

Slide 17

Slide 17 text

Functional programming is abstraction and composition.

Slide 18

Slide 18 text

Multiplatform Functional Architecture

Slide 19

Slide 19 text

Boundaries

Slide 20

Slide 20 text

Impure Pure

Slide 21

Slide 21 text

No content

Slide 22

Slide 22 text

No content

Slide 23

Slide 23 text

No content

Slide 24

Slide 24 text

Functional architecture is abstraction and composition.

Slide 25

Slide 25 text

Purity

Slide 26

Slide 26 text

Purity Boundaries

Slide 27

Slide 27 text

Purity Boundaries Composition

Slide 28

Slide 28 text

Architecture Patterns are architecture style + context.

Slide 29

Slide 29 text

Model View Update UI architecture pattern

Slide 30

Slide 30 text

Oolong MVU for Kotlin Multiplatform https://oolong-kt.org

Slide 31

Slide 31 text

No content

Slide 32

Slide 32 text

No content

Slide 33

Slide 33 text

No content

Slide 34

Slide 34 text

No content

Slide 35

Slide 35 text

No content

Slide 36

Slide 36 text

No content

Slide 37

Slide 37 text

No content

Slide 38

Slide 38 text

No content

Slide 39

Slide 39 text

No content

Slide 40

Slide 40 text

No content

Slide 41

Slide 41 text

No content

Slide 42

Slide 42 text

No content

Slide 43

Slide 43 text

No content

Slide 44

Slide 44 text

No content

Slide 45

Slide 45 text

https://staltz.com/unidirectional-user-interface-architectures.html#elm

Slide 46

Slide 46 text

Purity

Slide 47

Slide 47 text

No content

Slide 48

Slide 48 text

No content

Slide 49

Slide 49 text

No content

Slide 50

Slide 50 text

data class Model( )

Slide 51

Slide 51 text

data class Model( val count: Int )

Slide 52

Slide 52 text

data class Model( val count: Int ) sealed class Msg { }

Slide 53

Slide 53 text

data class Model( val count: Int ) sealed class Msg { object Increment : Msg() }

Slide 54

Slide 54 text

data class Model( val count: Int ) sealed class Msg { object Increment : Msg() object Decrement : Msg() }

Slide 55

Slide 55 text

data class Model( val count: Int ) sealed class Msg { object Increment : Msg() object Decrement : Msg() } data class Props( )

Slide 56

Slide 56 text

data class Model( val count: Int ) sealed class Msg { object Increment : Msg() object Decrement : Msg() } data class Props( val count: Int, )

Slide 57

Slide 57 text

data class Model( val count: Int ) sealed class Msg { object Increment : Msg() object Decrement : Msg() } data class Props( val count: Int, val increment: (Dispatch) -> Unit, )

Slide 58

Slide 58 text

data class Model( val count: Int ) sealed class Msg { object Increment : Msg() object Decrement : Msg() } data class Props( val count: Int, val increment: (Dispatch) -> Unit, val decrement: (Dispatch) -> Unit, )

Slide 59

Slide 59 text

typealias Dispatch

Slide 60

Slide 60 text

typealias Dispatch = (Msg) -> Unit

Slide 61

Slide 61 text

No content

Slide 62

Slide 62 text

No content

Slide 63

Slide 63 text

val init: () -> Pair> = { }

Slide 64

Slide 64 text

val init: () -> Pair> = { Model(count = 0) }

Slide 65

Slide 65 text

val init: () -> Pair> = { Model(count = 0) to none() }

Slide 66

Slide 66 text

val update: (Msg, Model) -> Pair> = { msg, model -> }

Slide 67

Slide 67 text

val update: (Msg, Model) -> Pair> = { msg, model -> when (msg) { } }

Slide 68

Slide 68 text

val update: (Msg, Model) -> Pair> = { msg, model -> when (msg) { Increment -> } }

Slide 69

Slide 69 text

val update: (Msg, Model) -> Pair> = { msg, model -> when (msg) { Increment -> model.copy(count = model.count + 1) } }

Slide 70

Slide 70 text

val update: (Msg, Model) -> Pair> = { msg, model -> when (msg) { Increment -> model.copy(count = model.count + 1) Decrement -> } }

Slide 71

Slide 71 text

val update: (Msg, Model) -> Pair> = { msg, model -> when (msg) { Increment -> model.copy(count = model.count + 1) Decrement -> model.copy(count = model.count - 1) } }

Slide 72

Slide 72 text

val update: (Msg, Model) -> Pair> = { msg, model -> when (msg) { Increment -> model.copy(count = model.count + 1) Decrement -> model.copy(count = model.count - 1) } to none() }

Slide 73

Slide 73 text

val view: (Model) -> Props = { model -> }

Slide 74

Slide 74 text

val view: (Model) -> Props = { model -> Props( ) }

Slide 75

Slide 75 text

val view: (Model) -> Props = { model -> Props( count = model.count, ) }

Slide 76

Slide 76 text

val view: (Model) -> Props = { model -> Props( count = model.count, increment = { dispatch -> dispatch(Increment) }, ) }

Slide 77

Slide 77 text

val view: (Model) -> Props = { model -> Props( count = model.count, increment = { dispatch -> dispatch(Increment) }, decrement = { dispatch -> dispatch(Decrement) }, ) }

Slide 78

Slide 78 text

runtime( init, update, view, render )

Slide 79

Slide 79 text

runtime( init, update, view, render )

Slide 80

Slide 80 text

runtime( init, update, view, render )

Slide 81

Slide 81 text

val render: (Props, Dispatch) -> Any? = { props, dispatch -> }

Slide 82

Slide 82 text

val render: (Props, Dispatch) -> Any? = { props, dispatch -> setContent { } }

Slide 83

Slide 83 text

val render: (Props, Dispatch) -> Any? = { props, dispatch -> setContent { Counter(props, dispatch) } }

Slide 84

Slide 84 text

@Composable fun Counter(props: Props, dispatch: Dispatch) { }

Slide 85

Slide 85 text

@Composable fun Counter(props: Props, dispatch: Dispatch) { OutlinedButton(onClick = { }) { Icon(vectorResource(R.drawable.ic_decrement)) } }

Slide 86

Slide 86 text

@Composable fun Counter(props: Props, dispatch: Dispatch) { OutlinedButton(onClick = { props.decrement(dispatch) }) { Icon(vectorResource(R.drawable.ic_decrement)) } }

Slide 87

Slide 87 text

@Composable fun Counter(props: Props, dispatch: Dispatch) { OutlinedButton(onClick = { props.decrement(dispatch) }) { Icon(vectorResource(R.drawable.ic_decrement)) } Text("") }

Slide 88

Slide 88 text

@Composable fun Counter(props: Props, dispatch: Dispatch) { OutlinedButton(onClick = { props.decrement(dispatch) }) { Icon(vectorResource(R.drawable.ic_decrement)) } Text("${props.count}") }

Slide 89

Slide 89 text

@Composable fun Counter(props: Props, dispatch: Dispatch) { OutlinedButton(onClick = { props.decrement(dispatch) }) { Icon(vectorResource(R.drawable.ic_decrement)) } Text("${props.count}") Button(onClick = { }) { Icon(vectorResource(R.drawable.ic_increment)) } }

Slide 90

Slide 90 text

@Composable fun Counter(props: Props, dispatch: Dispatch) { OutlinedButton(onClick = { props.decrement(dispatch) }) { Icon(vectorResource(R.drawable.ic_decrement)) } Text("${props.count}") Button(onClick = { props.increment(dispatch) }) { Icon(vectorResource(R.drawable.ic_increment)) } }

Slide 91

Slide 91 text

Testing

Slide 92

Slide 92 text

@Test fun `initial Model count should be 0`() { }

Slide 93

Slide 93 text

@Test fun `initial Model count should be 0`() { val expected = Model(count = 0) }

Slide 94

Slide 94 text

@Test fun `initial Model count should be 0`() { val expected = Model(count = 0) val (actual, _) = init() }

Slide 95

Slide 95 text

@Test fun `initial Model count should be 0`() { val expected = Model(count = 0) val (actual, _) = init() assertEquals(expected, actual) }

Slide 96

Slide 96 text

@Test fun `Increment msg should increment Model count`() { }

Slide 97

Slide 97 text

@Test fun `Increment msg should increment Model count`() { val msg = Msg.Increment val model = Model(count = 0) val expected = Model(count = 1) }

Slide 98

Slide 98 text

@Test fun `Increment msg should increment Model count`() { val msg = Msg.Increment val model = Model(count = 0) val expected = Model(count = 1) val (actual, _) = update(msg, model) }

Slide 99

Slide 99 text

@Test fun `Increment msg should increment Model count`() { val msg = Msg.Increment val model = Model(count = 0) val expected = Model(count = 1) val (actual, _) = update(msg, model) assertEquals(expected, actual) }

Slide 100

Slide 100 text

@Test fun `Decrement msg should increment Model count`() { }

Slide 101

Slide 101 text

@Test fun `Decrement msg should increment Model count`() { val msg = Msg.Decrement val model = Model(count = 0) val expected = Model(count = -1) }

Slide 102

Slide 102 text

@Test fun `Decrement msg should increment Model count`() { val msg = Msg.Decrement val model = Model(count = 0) val expected = Model(count = -1) val (actual, _) = update(msg, model) }

Slide 103

Slide 103 text

@Test fun `Decrement msg should increment Model count`() { val msg = Msg.Decrement val model = Model(count = 0) val expected = Model(count = -1) val (actual, _) = update(msg, model) assertEquals(expected, actual) }

Slide 104

Slide 104 text

@Test fun `Props count should be equal to Model count`() { }

Slide 105

Slide 105 text

@Test fun `Props count should be equal to Model count`() { val model = Model(count = 0) val expected = model.count }

Slide 106

Slide 106 text

@Test fun `Props count should be equal to Model count`() { val model = Model(count = 0) val expected = model.count val props = view(model) val actual = props.count }

Slide 107

Slide 107 text

@Test fun `Props count should be equal to Model count`() { val model = Model(count = 0) val expected = model.count val props = view(model) val actual = props.count assertEquals(expected, actual) }

Slide 108

Slide 108 text

@Test fun `Props increment should dispatch Increment msg`() { }

Slide 109

Slide 109 text

@Test fun `Props increment should dispatch Increment msg`() { val model = Model(count = 0) val props = view(model) }

Slide 110

Slide 110 text

@Test fun `Props increment should dispatch Increment msg`() { val model = Model(count = 0) val props = view(model) props.increment { msg -> } }

Slide 111

Slide 111 text

@Test fun `Props increment should dispatch Increment msg`() { val model = Model(count = 0) val props = view(model) props.increment { msg -> assertEquals(msg, Msg.Increment) } }

Slide 112

Slide 112 text

@Test fun `Props decrement should dispatch Decrement msg`() { }

Slide 113

Slide 113 text

@Test fun `Props decrement should dispatch Decrement msg`() { val model = Model(count = 0) val props = view(model) }

Slide 114

Slide 114 text

@Test fun `Props decrement should dispatch Decrement msg`() { val model = Model(count = 0) val props = view(model) props.decrement { msg -> } }

Slide 115

Slide 115 text

@Test fun `Props decrement should dispatch Decrement msg`() { val model = Model(count = 0) val props = view(model) props.decrement { msg -> assertEquals(msg, Msg.Decrement) } }

Slide 116

Slide 116 text

Boundaries

Slide 117

Slide 117 text

typealias GetCount

Slide 118

Slide 118 text

typealias GetCount = () -> Int

Slide 119

Slide 119 text

typealias GetCount = () -> Int typealias PutCount

Slide 120

Slide 120 text

typealias GetCount = () -> Int typealias PutCount = (Int) -> Unit

Slide 121

Slide 121 text

class CounterService(context: Context) { }

Slide 122

Slide 122 text

class CounterService(context: Context) { private val prefs = context.getSharedPreferences("counter", MODE_PRIVATE) }

Slide 123

Slide 123 text

class CounterService(context: Context) { private val prefs = context.getSharedPreferences("counter", MODE_PRIVATE) val getCount: GetCount = { } }

Slide 124

Slide 124 text

class CounterService(context: Context) { private val prefs = context.getSharedPreferences("counter", MODE_PRIVATE) val getCount: GetCount = { prefs.getInt("count", 0) } }

Slide 125

Slide 125 text

class CounterService(context: Context) { private val prefs = context.getSharedPreferences("counter", MODE_PRIVATE) val getCount: GetCount = { prefs.getInt("count", 0) } val putCount: PutCount = { count -> } }

Slide 126

Slide 126 text

class CounterService(context: Context) { private val prefs = context.getSharedPreferences("counter", MODE_PRIVATE) val getCount: GetCount = { prefs.getInt("count", 0) } val putCount: PutCount = { count -> prefs.edit().putInt("count", count).apply() } }

Slide 127

Slide 127 text

{ } { count -> } // typealias GetCount = () -> Int // typealias PutCount = (Int) -> Unit val getCount: GetCount = val putCount: PutCount =

Slide 128

Slide 128 text

Side Effects

Slide 129

Slide 129 text

Managed Effects

Slide 130

Slide 130 text

No content

Slide 131

Slide 131 text

No content

Slide 132

Slide 132 text

No content

Slide 133

Slide 133 text

typealias Effect

Slide 134

Slide 134 text

typealias Effect = (Dispatch) -> Any?

Slide 135

Slide 135 text

typealias Effect = suspend (Dispatch) -> Any?

Slide 136

Slide 136 text

typealias Effect = suspend CoroutineScope.(Dispatch) -> Any?

Slide 137

Slide 137 text

private val getCountEffect: (GetCount) -> Effect = { getCount -> }.

Slide 138

Slide 138 text

private val getCountEffect: (GetCount) -> Effect = { getCount -> effect { dispatch -> } }.

Slide 139

Slide 139 text

private val getCountEffect: (GetCount) -> Effect = { getCount -> effect { dispatch -> val count = getCount() } }.

Slide 140

Slide 140 text

private val getCountEffect: (GetCount) -> Effect = { getCount -> effect { dispatch -> val count = getCount() dispatch(Msg.SetCount(count)) } }.

Slide 141

Slide 141 text

private val putCountEffect: (PutCount) -> (Int) -> Effect = { putCount -> }.

Slide 142

Slide 142 text

private val putCountEffect: (PutCount) -> (Int) -> Effect = {.putCount -> { count -> }, }.

Slide 143

Slide 143 text

private val putCountEffect: (PutCount) -> (Int) -> Effect = {.putCount -> { count -> effect { } }, }.

Slide 144

Slide 144 text

private val putCountEffect: (PutCount) -> (Int) -> Effect = {.putCount -> { count -> effect { putCount(count) } }, }.

Slide 145

Slide 145 text

val init: () -> Pair> = { Model(count = 0) to none() }

Slide 146

Slide 146 text

val init: (GetCount) -> () -> Pair> = {.getCount -> { Model(count = 0) to none() } }.

Slide 147

Slide 147 text

val init: (GetCount) -> () -> Pair> = {.getCount -> { Model(count = 0) to none() } }

Slide 148

Slide 148 text

val init: (GetCount) -> () -> Pair> = {.getCount -> { Model(count = 0) to getCountEffect(getCount) } }

Slide 149

Slide 149 text

sealed class Msg { object Increment : Msg() object Decrement : Msg() }

Slide 150

Slide 150 text

sealed class Msg { class SetCount(val count: Int) : Msg() object Increment : Msg() object Decrement : Msg() }

Slide 151

Slide 151 text

val update: (Msg, Model) -> Pair> = { msg, model -> when (msg) { Increment -> model.copy(count = model.count + 1) Decrement -> model.copy(count = model.count - 1) } to none() }

Slide 152

Slide 152 text

val update: (Msg, Model) -> Pair> = { msg, model -> when (msg) { is SetCount -> Increment -> model.copy(count = model.count + 1) Decrement -> model.copy(count = model.count - 1) } to none() }

Slide 153

Slide 153 text

val update: (Msg, Model) -> Pair> = { msg, model -> when (msg) { is SetCount -> model.copy(count = msg.count). Increment -> model.copy(count = model.count + 1). Decrement -> model.copy(count = model.count - 1). } to none() }

Slide 154

Slide 154 text

val update: (PutCount) -> (Msg, Model) -> Pair> = { putCount -> { msg, model -> when (msg) { is SetCount -> model.copy(count = msg.count) Increment -> model.copy(count = model.count + 1) Decrement -> model.copy(count = model.count - 1) } to none() } }

Slide 155

Slide 155 text

val update: (PutCount) -> (Msg, Model) -> Pair> = { putCount -> val putCountEffect = putCountEffect(putCount) { msg, model -> when (msg) { is SetCount -> model.copy(count = msg.count) Increment -> model.copy(count = model.count + 1) Decrement -> model.copy(count = model.count - 1) } to none() } }

Slide 156

Slide 156 text

val update: (PutCount) -> (Msg, Model) -> Pair> = { putCount -> val putCountEffect = putCountEffect(putCount) { msg, model -> when (msg) { is SetCount -> model.copy(count = msg.count) Increment -> model.copy(count = model.count + 1) Decrement -> model.copy(count = model.count - 1) } to none() } }

Slide 157

Slide 157 text

val update: (PutCount) -> (Msg, Model) -> Pair> = { putCount -> val putCountEffect = putCountEffect(putCount) { msg, model -> when (msg) { is SetCount -> model.copy(count = msg.count) Increment -> model.copy(count = model.count + 1) Decrement -> model.copy(count = model.count - 1) } to putCountEffect(model.count) } }

Slide 158

Slide 158 text

runtime( init, update, view, render )

Slide 159

Slide 159 text

runtime( init, update, view, render )

Slide 160

Slide 160 text

runtime( init(counterService.getCount), update, view, render )

Slide 161

Slide 161 text

runtime( init(counterService.getCount), update, view, render )

Slide 162

Slide 162 text

runtime( init(counterService.getCount), update(counterService.putCount), view, render )

Slide 163

Slide 163 text

@Test fun `initial Effect should dispatch SetCount`() { }

Slide 164

Slide 164 text

@Test fun `initial Effect should dispatch SetCount`() { val getCount: GetCount = { 0 } val expected = Msg.SetCount(getCount()) val (_, effect) = init() }

Slide 165

Slide 165 text

@Test fun `initial Effect should dispatch SetCount`() { val getCount: GetCount = { 0 } val expected = Msg.SetCount(getCount()) val (_, effect) = init() runBlocking { effect { actual -> } } }

Slide 166

Slide 166 text

@Test fun `initial Effect should dispatch SetCount`() { val getCount: GetCount = { 0 } val expected = Msg.SetCount(getCount()) val (_, effect) = init() runBlocking { effect { actual -> assertEquals(expected, actual) } } }

Slide 167

Slide 167 text

@Test fun `update effect should put count`() { }

Slide 168

Slide 168 text

@Test fun `update effect should put count`() { val msg = Msg.SetCount(count = 42) val model = Model(count = 0) val putCount: PutCount = { count -> } }

Slide 169

Slide 169 text

@Test fun `update effect should put count`() { val msg = Msg.SetCount(count = 42) val model = Model(count = 0) val putCount: PutCount = { count -> } val (_, effect) = update(putCount)(msg, model) runBlocking { effect { } } }

Slide 170

Slide 170 text

@Test fun `update effect should put count`() { val msg = Msg.SetCount(count = 42) val model = Model(count = 0) val putCount: PutCount = { count -> assertEquals(count, msg.count) } val (_, effect) = update(putCount)(msg, model) runBlocking { effect { } } }

Slide 171

Slide 171 text

Composition

Slide 172

Slide 172 text

No content

Slide 173

Slide 173 text

object Child { }

Slide 174

Slide 174 text

object Child { class Model }

Slide 175

Slide 175 text

object Child { class Model class Msg }

Slide 176

Slide 176 text

object Child { class Model class Msg class Props }

Slide 177

Slide 177 text

object Child { class Model class Msg class Props val init: () -> Pair> = ... }

Slide 178

Slide 178 text

object Child { class Model class Msg class Props val init: () -> Pair> = ... val update: (Msg, Model) -> Pair> = ... }

Slide 179

Slide 179 text

object Child { class Model class Msg class Props val init: () -> Pair> = ... val update: (Msg, Model) -> Pair> = ... val view: (Model) -> Props = ... }

Slide 180

Slide 180 text

object Child { class Model class Msg class Props val init: () -> Pair> = ... val update: (Msg, Model) -> Pair> = ... val view: (Model) -> Props = ... }

Slide 181

Slide 181 text

object Parent { class.Model class Msg class Props val init: () -> Pair> = ... val update: (Msg, Model).-> Pair> = ... val view: (Model).-> Props = ... }

Slide 182

Slide 182 text

class Model( val child: Child.Model )

Slide 183

Slide 183 text

sealed class Msg { class ChildMsg( val child: Child.Msg ) : Msg() }

Slide 184

Slide 184 text

class Props( val child: Child.Props )

Slide 185

Slide 185 text

val init: () -> Pair> = { // Child.init() }

Slide 186

Slide 186 text

val update: (Msg, Model) -> Pair> = { msg, model -> // Child.update() }

Slide 187

Slide 187 text

val view: (Model) -> Props = { model -> // Child.view() }

Slide 188

Slide 188 text

data class Model( )

Slide 189

Slide 189 text

data class Model( val counters: Map )

Slide 190

Slide 190 text

sealed class Msg { }

Slide 191

Slide 191 text

sealed class Msg { class SetCounts(val counts: Map) : Msg() object AddCounter : Msg() class RemoveCounter(val id: Id) : Msg() class CounterMsg( val id: Id, val msg: Counter.Msg ) : Msg() }

Slide 192

Slide 192 text

class Props( )

Slide 193

Slide 193 text

class Props( val counters: List, val addCounter: (Dispatch) -> Unit, )

Slide 194

Slide 194 text

class Props( val counters: List, val addCounter: (Dispatch) -> Unit, ) { class CounterRow( ) }

Slide 195

Slide 195 text

class Props( val counters: List, val addCounter: (Dispatch) -> Unit, ) { class CounterRow( val props: Counter.Props, val removeCounter: (Dispatch) -> Unit, ) }

Slide 196

Slide 196 text

github.com/pardom/mfa-with-oolong

Slide 197

Slide 197 text

What Have We Learned?

Slide 198

Slide 198 text

Purity

Slide 199

Slide 199 text

Purity Boundaries

Slide 200

Slide 200 text

Purity Boundaries Composition

Slide 201

Slide 201 text

Architecture Patterns are architecture style + context.

Slide 202

Slide 202 text

Model View Update UI architecture pattern

Slide 203

Slide 203 text

No content

Slide 204

Slide 204 text

Multiplatform Functional Architecture with Oolong • oolong-kt.org • guide.elm-lang.org • github.com/pardom/mfa-with-oolong