Phantom Typeでコンパイル時に状態チェックする: shibuya.swift #4

Transcript

1. 1IBOUPN
   5ZQFͰίϯύΠϧ࣌ʹ
   ঢ়ଶνΣοΫΛ͢Δ TIJCVZBTXJGU
   
   ,B[VIJSP
   )BZBTIJ
2. 1IBOUPN
   5ZQFͱ͸ ཁ͸ܕύϥϝʔλΛ࢖ͬͯɺ
   ݟͨ໨্ݱΕͳ੍͍໿Λ෇͚Δ͜ͱΒ͍͠
3. 1IBOUPN
   5ZQFͱ͸ ༓ྶΈ͍ͨͳܕ ཁ͸ܕύϥϝʔλΛ࢖ͬͯɺ
   ݟͨ໨্ݱΕͳ੍͍໿Λ෇͚Δ͜ͱΒ͍͠
4. 1IBOUPN
   5ZQFͱ͸ ༓ྶΈ͍ͨͳܕ 1IBOUPN
   5ZQF ཁ͸ܕύϥϝʔλΛ࢖ͬͯɺ
   ݟͨ໨্ݱΕͳ੍͍໿Λ෇͚Δ͜ͱΒ͍͠
5. ྫ͑͹ʜ
6. 1IBOUPN
   5ZQFΛ࢖ͬͨ
   Ϋϥεఆٛ class PokemonStateType {} class Struggle: PokemonStateType {} // ઓಆঢ়ଶ class Calm: PokemonStateType {} // ٳܜঢ়ଶ class Pokemon<T: PokemonStateType> { static func use() -> Pokemon<Calm> { return Pokemon<Calm>() } func ready() -> Pokemon<Struggle> { return Pokemon<Struggle>() } } extension Pokemon where T: Struggle { func attack() {} }
7. 1IBOUPN
   5ZQFΛ࢖ͬͨ
   Ϋϥεఆٛ class PokemonStateType {} class Struggle: PokemonStateType {} // ઓಆঢ়ଶ class Calm: PokemonStateType {} // ٳܜঢ়ଶ class Pokemon<T: PokemonStateType> { static func use() -> Pokemon<Calm> { return Pokemon<Calm>() } func ready() -> Pokemon<Struggle> { return Pokemon<Struggle>() } } extension Pokemon where T: Struggle { func attack() {} } ঢ়ଶΛܕύϥϝʔλͱͯ࣋ͭ͠ϙέϞϯΫϥεΛ࡞੒͢Δ
8. 1IBOUPN
   5ZQFΛ࢖ͬͨ
   Ϋϥεఆٛ class PokemonStateType {} class Struggle: PokemonStateType {} // ઓಆՄೳঢ়ଶ class Calm: PokemonStateType {} // ઓಆෆՄঢ়ଶ class Pokemon<T: PokemonStateType> { static func use() -> Pokemon<Calm> { return Pokemon<Calm>() } func ready() -> Pokemon<Struggle> { return Pokemon<Struggle>() } } extension Pokemon where T: Struggle { func attack() {} } ϙέϞϯ͸ʮઓಆঢ়ଶʯͱʮٳܜঢ়ଶʯΛ࣋ͭ class PokemonStateType {} class Struggle: PokemonStateType {} // ઓಆঢ়ଶ class Calm: PokemonStateType {} // ٳܜঢ়ଶ class Pokemon<T: PokemonStateType> { static func use() -> Pokemon<Calm> { return Pokemon<Calm>() } func ready() -> Pokemon<Struggle> { return Pokemon<Struggle>() } } extension Pokemon where T: Struggle { func attack() {} }
9. 1IBOUPN
   5ZQFΛ࢖ͬͨ
   Ϋϥεఆٛ class PokemonStateType {} class Struggle: PokemonStateType {} // ઓಆՄೳঢ়ଶ class Calm: PokemonStateType {} // ઓಆෆՄঢ়ଶ class Pokemon<T: PokemonStateType> { static func use() -> Pokemon<Calm> { return Pokemon<Calm>() } func ready() -> Pokemon<Struggle> { return Pokemon<Struggle>() } } extension Pokemon where T: Struggle { func attack() {} } ઓಆঢ়ଶͷ࣌͸BUUBDL ͕࣮ߦՄೳ class PokemonStateType {} class Struggle: PokemonStateType {} // ઓಆঢ়ଶ class Calm: PokemonStateType {} // ٳܜঢ়ଶ class Pokemon<T: PokemonStateType> { static func use() -> Pokemon<Calm> { return Pokemon<Calm>() } func ready() -> Pokemon<Struggle> { return Pokemon<Struggle>() } } extension Pokemon where T: Struggle { func attack() {} }
10. 1PLFNPOΫϥεΛ࢖ͬͯΈΔ let pokemon = Pokemon.use() pokemon.attack() // -> ίϯύΠϧ࣌ʹΤϥʔ pokemon.ready().attack() // -> ͬͪ͜͸ίϯύΠϧΤϥʔ͕ग़ͳ͍
11. 1PLFNPOΫϥεΛ࢖ͬͯΈΔ let pokemon = Pokemon.create() pokemon.attack() // -> ίϯύΠϧ࣌ʹΤϥʔ pokemon.ready().attack() // -> ͬͪ͜͸ίϯύΠϧΤϥʔ͕ग़ͳ͍ ܕύϥϝʔλʹ$BMN͕࣋ͭ৔߹ɺBUUBDL ϝιο υ͸ݺ΂ͳ͍ let pokemon = Pokemon.use() pokemon.attack() // -> ίϯύΠϧ࣌ʹΤϥʔ pokemon.ready().attack() // -> ͬͪ͜͸ίϯύΠϧΤϥʔ͕ग़ͳ͍
12. 1PLFNPOΫϥεΛ࢖ͬͯΈΔ let pokemon = Pokemon.create() pokemon.attack() // -> ίϯύΠϧ࣌ʹΤϥʔ pokemon.ready().attack() // -> ͬͪ͜͸ίϯύΠϧΤϥʔ͕ग़ͳ͍ ܕύϥϝʔλʹ4USVHHMFΛ࣋ͭ1PLFNPOͷ৔߹ɺ BUUBDL ϝιου͕ݺ΂Δ let pokemon = Pokemon.use() pokemon.attack() // -> ίϯύΠϧ࣌ʹΤϥʔ pokemon.ready().attack() // -> ͬͪ͜͸ίϯύΠϧΤϥʔ͕ग़ͳ͍
13. ݟ্͔͚͸Ӆ͞ΕͨܕΛ࢖ͬͯ
    ঢ়ଶ؅ཧ͕Ͱ͖ͨʜ
14. ࣮༻ྫ
15. IUUQTHJUIVCDPNLB[VIJSP4USJOH4UZMJ[FS
16. 4USJOH4UZMJ[FS w /4"UUSJCVUFE4USJOHΛܕʹΑͬͯ࢖͍΍͘͢͠ ͨϥΠϒϥϦΛ࡞Γ·ͨ͠
    w 1IBOUPN
    5ZQFʹΑͬͯൣғબ୒தͱελΠϧ ద༻தͷঢ়ଶΛ੾Γସ͑Δ
17. 4USJOH4UZMJ[FS let msg = “shibuya.swift".stylize() .range(0..<7) .color(0x009911).font(.HelveticaNeue) .range(8..<UInt.max).color(0xaa22cc).font(.HelveticaNeue_Bold).attr w ςΩετʹରͯ͠ϝιουνΣʔϯͰελΠϧΛద༻͠ ͍ͯ͘
    w /4"UUSJCVUFE4USJOHͱಉ༷ɺ೚ҙͷൣғʹରͯ͠ελ ΠϧΛద༻͢Δͱ͍͏ྲྀΕͰͭ͘Δ
18. ঢ়ଶભҠਤͱͯ͠·ͱΊΔͱ ܕύϥϝʔλΛ੾Γସ͑Δ͜ͱͰঢ়ଶΛߦͬͨΓདྷͨ Γ͠ͳ͕Βɺద੾ͳϝιουΛίʔϧ͢Δ
19. ঢ়ଶʹΑͬͯ
    ίϯύΠϧΤϥʔ͕ى͖Δ // ൣғબ୒ͨ͋͠ͱͰԿ͔ελΠϧΛద༻͍ͯ͠ͳ͍ͱίϯύΠϧΤϥʔ label.attributedText = "shibuya.swift".stylize().range(0..<7).attr // ൣғબ୒ޙʹ৭Λద༻͍ͯ͠ΔͷͰίϯύΠϧʹ௨Δ label.attributedText = "shibuya.swift".stylize().range(0..<7).color(0x009911).attr ྫ͑͹6*-BCFMʹରͯ͠ɺจࣈྻͷ͋Δൣғͷ ΈελΠϧΛద༻ͯ͠୅ೖ͢Δ৔߹Λߟ͑Δ
20. ঢ়ଶʹΑͬͯ
    ίϯύΠϧΤϥʔ͕ى͖Δ // ൣғબ୒ͨ͋͠ͱͰԿ͔ελΠϧΛద༻͍ͯ͠ͳ͍ͱίϯύΠϧΤϥʔ label.attributedText = "shibuya.swift".stylize().range(0..<7).attr // ൣғબ୒ޙʹ৭Λద༻͍ͯ͠ΔͷͰίϯύΠϧʹ௨Δ label.attributedText = "shibuya.swift".stylize().range(0..<7).color(0x009911).attr ൣғબ୒Λ͍ͯ͠Δ࣌͸ɺͦͷޙͰඞͣελΠ ϧͷద༻Λ͢Δඞཁ͕͋Δ
21. ঢ়ଶʹΑͬͯ
    ίϯύΠϧΤϥʔ͕ى͖Δ // ൣғબ୒ͨ͋͠ͱͰԿ͔ελΠϧΛద༻͍ͯ͠ͳ͍ͱίϯύΠϧΤϥʔ label.attributedText = "shibuya.swift".stylize().range(0..<7).attr // ൣғબ୒ޙʹ৭Λద༻͍ͯ͠ΔͷͰίϯύΠϧʹ௨Δ label.attributedText = "shibuya.swift".stylize().range(0..<7).color(0x009911).attr ελΠϧΛద༻ͨ͠ޙ͸ɺผͷελΠϧΛద༻ ͢Δ͔/4"UUSJCVUFE4USJOHͱͯ͠୅ೖͰ͖Δ
22. 1IBOUPN
    5ZQF
    ·ͱΊ w ܕύϥϝʔλʹΑͬͯΦϒδΣΫτͷৼΔ෣͍ ʹ੍໿Λ༩͑ΒΕΔ
    w ίϯύΠϥʹΑͬͯਖ਼͍͠ৼΔ෣͍Λ͍ͯ͠Δ͔ Ͳ͏͔νΣοΫͰ͖Δ
    w ؒҧͬͯͨΒ͝ΊΜ
23. ΋͠Կ͔͏·͍࢖͍ํ͕͋Ε͹
    ڭ͑ͯԼ͍͞N @
    @ N
24. ࢀߟࢿྉ w 4XJGU
    Ͱ
    1IBOUPN
    5ZQF
    ༓ྶܕ
    w IUUQRJJUBDPNUBLFUPJUFNTFGEFDEF
    w 'VODUJPOBM
    4OJQQFU
    
    1IBOUPN
    5ZQFT
    w IUUQTXXXPCKDJPCMPHGVODUJPOBMTOJQQFUQIBOUPNUZQFT
    w LB[VIJSP4USJOH4UZMJ[FS
    w IUUQTHJUIVCDPNLB[VIJSP4USJOH4UZMJ[FS