Tweet
Tweet

Slide 1

Slide 1 text

@l2hyunwoo KotlinConf’23 Global in Songdo Mathpresso Inc. Android/React Native Developer Functional Kotlin Makes Kotlin functional HyunWoo Lee

Slide 2

Slide 2 text

ೣࣻഋ ೐۽Ӓې߁җ য়೧ Lambda Algebra Monoid Functor / Applicative Functor Tail recursion Currying

Slide 3

Slide 3 text

ೣࣻഋ ೐۽Ӓې߁җ য়೧ Lambda Algebra Monoid Functor / Applicative Functor Tail recursion Currying ੿݈ ੉ѱ पઁ ѐߊী ੄޷о ੓ਸөਃ?

Slide 4

Slide 4 text

ೣࣻഋ ೐۽Ӓې߁ ੽Ӕ ݾ੸ਸ ੉೧ೞҊ যڌѱ ࢎਊ೧ঠೡ ૑ ঌইঠ ೞݴ Ӓ ੉റী ޖ঺੉ ੓ח ૑ ౵ঈ೧ب ן૑ ঋ׮

Slide 5

Slide 5 text

Why we should use it? ೣࣻഋ ೐۽Ӓې߁ਸ ഝਊೞݶ ௏٘ܳ рѾೞѱ ੘ࢿೡ ࣻ ੓Ҋ ӝמ੄ ഛ੢੉ ए਋ݴ ࠁ׮ উ੹ೠ ௏٘ܳ ੘ࢿೡ ࣻ ੓׮

Slide 6

Slide 6 text

рѾೠ ௏٘ ੘ࢿೞӝ

Slide 7

Slide 7 text

рѾೠ ௏٘ ੘ࢿೞӝ

Slide 8

Slide 8 text

рѾೠ ௏٘ ੘ࢿೞӝ

Slide 9

Slide 9 text

рѾೠ ௏٘ ੘ࢿೞӝ

Slide 10

Slide 10 text

߸زਸ ઴੉ݶࢲ উ੿ࢿ ֫੉ӝ

Slide 11

Slide 11 text

߸زਸ ઴੉ݶࢲ উ੿ࢿ ֫੉ӝ

Slide 12

Slide 12 text

߸زਸ ઴੉ݶࢲ উ੿ࢿ ֫੉ӝ ё୓/৻ࠗ ࢚క੄ ߸ز੉ ੓ח ࠗ࠙਷ ࠶۾ Scopeਵ۽ Ѻܻೠ׮

Slide 13

Slide 13 text

ਫ਼Ӭ! ੉Ѣ ೣࣻഋ ೐۽Ӓې߁੉ ݏաਃ? Functional Programming is sometimes treated as synonymous with Purely functional programming. When a pure function is called with some given arguments, it will always return the same result, and cannot be affected by any mutable state or other side effect. - Hudak, Paul (Conception, evolution and application of functional programming lauguages)

Slide 14

Slide 14 text

Pure Function and Side Effect function sum(x: int, y: int)

Slide 15

Slide 15 text

Pure Function and Side Effect function sum(x: int, y: int) ( 2, 5 )

Slide 16

Slide 16 text

Pure Function and Side Effect function sum(x: int, y: int) ( 2, 5 ) 7

Slide 17

Slide 17 text

function sum(x: int, y: int) ( 2, 5 ) 7 ੑ۱੉ زੌೞݶ Ѿҗо ೦࢚ э਷ ೣࣻܳ ࣽࣻ ೣࣻ ( Pure Function) ۄ ೠ׮ Pure Function and Side Effect

Slide 18

Slide 18 text

Pure Function and Side Effect function sumWithSideEffect(x: int, y: int)

Slide 19

Slide 19 text

Pure Function and Side Effect function sumWithSideEffect(x: int, y: int) ( 2, 5 ) 1st

Slide 20

Slide 20 text

Pure Function and Side Effect function sumWithSideEffect(x: int, y: int) ( 2, 5 ) 7 1st

Slide 21

Slide 21 text

Pure Function and Side Effect function sumWithSideEffect(x: int, y: int) ( 3, 6 ) 2nd

Slide 22

Slide 22 text

Pure Function and Side Effect function sumWithSideEffect(x: int, y: int) ( 3, 6 ) 2nd 16

Slide 23

Slide 23 text

Pure Function and Side Effect function sumWithSideEffect(x: int, y: int) ( 3, 6 ) 2nd 16

Slide 24

Slide 24 text

Pure Function and Side Effect

Slide 25

Slide 25 text

Pure Function and Side Effect ೣࣻ ղীࢲ ҙ੢ೞ૑ ঋח, ੹৉ ࢚క/߸ࣻ ഑਷ (౵ੌ, ചݶ) ੑ୹۱١ਸ ನೣೠ ৻ࠗ ࢚కী ৔ೱਸ ઴ ࣻ ੓Ҋ ੉ܳ ҙ଴ೞח ೯ਤܳ ನೣೞח ೣࣻܳ Side Effectۄ ೠ׮.

Slide 26

Slide 26 text

Pure Function and Side Effect ೣࣻഋ ೐۽Ӓې߁ਸ ഝਊೞݶ ௏٘ܳ рѾೞѱ ੘ࢿೡ ࣻ ੓Ҋ ӝמ੄ ഛ੢੉ ए਋ݴ ࠁ׮ উ੹ೠ ௏٘ܳ ੘ࢿೡ ࣻ ੓׮

Slide 27

Slide 27 text

Pure Function and Side Effect ࣽࣻೣࣻܳ ࢎਊೞݶ زੌೠ Ѿҗܳ ৘ஏೡ ࣻ ੓ਵ޲۽ (ଵઑ ైݺࢿ) ೣࣻ Ӓ ੗୓ܳ ݽٕചػ ӝמਵ۽ ࢎਊೡ ࣻ ੓׮. ژೠ ৻ࠗ о߸ ࢚కܳ ߸҃ೞ૑ ঋਵ޲۽ زदࢿ ೐۽Ӓې߁ীࢲ ҕਬ ੗ਗ ߸҃ী ؀ೠ ҙबࢎܳ ઁೡ ࣻ ੓׮. ੉۠ ੉੼ਵ۽ ೣࣻഋ ೐۽Ӓې߁ীࢲח ࣽࣻ ೣࣻ੄ ࢎਊਸ ૑ೱೠ׮.

Slide 28

Slide 28 text

Aspect of Functional Programming Ӓ۞ݶ ࣽࣻ ೣࣻ݅ਸ ࢎਊೞח Ѫ੉ ೣࣻഋ ೐۽Ӓې߁ ߑधੌө?

Slide 29

Slide 29 text

Aspect of Functional Programming Ӓۧӝח ೞա, Ӓېо૑Ҍ рױೠ ӝמ ೞաઑର ઁ؀۽ ٜ݅ ࣻ হ׮

Slide 30

Slide 30 text

Aspect of Functional Programming ৻ࠗ ࣁ҅ܳ ߸҃ਸ दெঠ ೞա ߸҃ਸ दఃח ࠗ࠙ਸ ୭ࣗചೞҊ ҳ࠙(Ѻܻ)दః੗

Slide 31

Slide 31 text

߸زਸ ઴੉ݶࢲ উ੿ࢿ ֫੉ӝ ё୓/৻ࠗ ࢚క੄ ߸ز੉ ੓ח ࠗ࠙਷ ࠶۾ Scopeਵ۽ Ѻܻೠ׮

Slide 32

Slide 32 text

Ҋରೣࣻܳ ഝਊೠ ӝמ ഛ੢

Slide 33

Slide 33 text

Ҋରೣࣻܳ ഝਊೠ ӝמ ഛ੢ CSVо ইצ ׮ܲ ౵ੌ ഋध ഑਷ Plain Text۽ Append ೞח ӝמ੉ ୶оػ׮ݶ?

Slide 34

Slide 34 text

Ҋରೣࣻܳ ഝਊೠ ӝמ ഛ੢ ё୓ܳ Stringਵ۽ ੹ജೞח ۽૒ਸ ৻ࠗীࢲ ઱ੑदெ ҕా ۽૒ী ׮ഋࢿਸ ઁҕ

Slide 35

Slide 35 text

઺р ੼Ѩ ਸ ੉೧ೞҊ ࢎਊ೧ঠೡ ૑ ঌইঠ ೞݴ Ӓ ੉റী ޖ঺੉ ੓ח ૑ ౵ঈ೧ب ן૑ ঋ׮ ݾ੸ যڌѱ

Slide 36

Slide 36 text

઺р ੼Ѩ → উ੿ࢿ, ਬ૑ࠁࣻࢿ, оةࢿ ૐо → ࣽࣻೣࣻ ഝਊ, Side Effect Ѻܻ ݾ੸ যڌѱ

Slide 37

Slide 37 text

More, Functional Programming Ҋରೣࣻܳ ഝਊೞৈ ੤ࢎਊࢿਸ ՑযৢܻҊ ࠁ׮ ؊ উ੿੸ਵ۽ ೐۽Ӓې߁ਸ ೞҊ र׮ݶ?

Slide 38

Slide 38 text

More, Functional Programming Ҋରೣࣻܳ ഝਊೞৈ ੤ࢎਊࢿਸ ՑযৢܻҊ ࠁ׮ ؊ উ੿੸ਵ۽ ೐۽Ӓې߁ਸ ೞҊ र׮ݶ? Ҋରೣࣻܳ ഝਊೞח ё୓(ё୓ ஶప੉ց)੄ ౠࢿਸ ঌҊ, ੉ܳ ഝਊೞݶ ػ׮

Slide 39

Slide 39 text

Category Theory Ҋରೣࣻܳ ഝਊೞৈ ࢜۽਍ ఋੑ/ӝמਸ ઁҕೞӝ ਤ೧ࢶ ੉ܳ ҳࢿೞח ఋੑী ؀೧ ঌইঠ ೠ׮.

Slide 40

Slide 40 text

ೣࣻഋী ੸੺ೠ “ஶప੉ց" Monad

Slide 41

Slide 41 text

ೣࣻഋী ੸੺ೠ “ஶప੉ց" Monadח ূبಔఠ ஠పҊܻ੄ ݽ֢੉٘ Monad

Slide 42

Slide 42 text

ೣࣻഋী ੸੺ೠ “ஶప੉ց" Monadח ূبಔఠ ஠పҊܻ੄ ݽ֢੉٘ Monad

Slide 43

Slide 43 text

Category Theory ߧ઱ۿ ( Category Theory)ীࢲח ҳઑ୓ ( Object)৬ ҳઑ୓ٜр੄ ҙ҅ ( Morphism, ࢎ࢚)ܳ ׮ܘ׮

Slide 44

Slide 44 text

Functor ف ஠పҊܻ р੄ ೣࣻ੉Ҋ ҳઑ୓ח ҳઑ୓۽, ೣࣻח ೣࣻ۽ ؀਽दఃח ೣࣻ

Slide 45

Slide 45 text

Functor ੉۞ݶ য٣ࢲ ݆੉ࠄ Ѫ э૑ ঋաਃ?

Slide 46

Slide 46 text

Functor

Slide 47

Slide 47 text

Functor੄ ઺୏ ޙઁ

Slide 48

Slide 48 text

Monoid ਤ੄ ࢿ૕ਸ ݅઒ೞח ஠పҊܻ

Slide 49

Slide 49 text

Monoid ਤ੄ ࢿ૕ਸ ݅઒ೞח ஠పҊܻ (ো࢑઺ যו ੌࠗ࠙ਸ ݢ੷ ࣻ೯ೞ؊ۄب ҡଳ׮ ੿ب੄ ੄޷)

Slide 50

Slide 50 text

Monad

Slide 51

Slide 51 text

Monad

Slide 52

Slide 52 text

Monad ੉ ࢿ૕ਸ ഝਊೞৈ ઺୏ػ ఋੑਸ ߩӡ ࣻ ੓׮

Slide 53

Slide 53 text

Monad flatMap ೣࣻܳ ࢤп೧ࠁ੗!

Slide 54

Slide 54 text

Monad Nested Optional۽ оٙସ؍ ௏٘ب

Slide 55

Slide 55 text

Monad

Slide 56

Slide 56 text

Monad ਽ਊ: ৈ۞ ா੉झܳ ೠ ଃਵ۽

Slide 57

Slide 57 text

Monad ਽ਊ: ৈ۞ ா੉झܳ ೠ ଃਵ۽ ী۞ ߊࢤ द ী۞ ఋੑਸ Monad ఋੑਵ۽ ೠߣ ؊ хऱળ׮ݶ?

Slide 58

Slide 58 text

Monadܳ ഝਊೠ ࢚క ୊ܻ੄ ੉੼ Monad ղࠗ ࢚కܳ ইח Ѫҗ ࢚ҙহ੉ ѐߊ੗о ۽૒ਸ ୓੉׬೧ب ޙઁо হب۾ ୊ܻ ೡ ࣻ ੓׮

Slide 59

Slide 59 text

Monad is Everywhere Spring Reactor(Mono)

Slide 60

Slide 60 text

Monad is Everywhere RxJava (Kotlin)

Slide 61

Slide 61 text

Monad is Everywhere

Slide 62

Slide 62 text

Monad is Everywhere Kotlin Result

Slide 63

Slide 63 text

Monad is Everywhere Compose Modifier

Slide 64

Slide 64 text

Thanks! @l2hyunwoo KotlinConf’23 Global in Songdo Mathpresso Inc. Android/React Native Developer Slido