What will be changed in Swift 4(1)

2017/04/22 Cocoa関西

Transcript

1. What Will be changed in Swiftɹ v4.0.0.1 Daiki Matsudate / @d_date ୈ72ճ Cocoaษڧձؔ੢
5. Qiitaʹهࣄ্͛·ͨ͠
6. Agenda • ͱͯ΋60πΠʔτͰ͸πΠʔτͰ͖ͳ͔ͬͨ • Swift 4ͷมߋ఺ʹ͍͓ͭͯ࿩͠·͢
7. Agenda • Ͳ͏΍ͬͯௐ΂ͨͷ͔ʁ • Swift TweetsͷൃදͰͷగਖ਼ • Swift TweetsޙʹAccept͞ΕͨProposal
8. Ͳ͏΍ͬͯௐࠪͨ͠ͷ͔
9. Ͳ͏΍ͬͯௐࠪͨ͠ͷ͔ • Swift-evolutionͷREADMEΛಡΉ • ManifestΛಡΉ • ֤ϓϩϙʔαϧͷεςʔλεΛ֬ೝ͢Δ • ϝʔϦεΛ೷͍ͯΈΔ
10. Mediumʹهࣄ্͛·ͨ͠ • ͱͯ΋60πΠʔτͰ͸πΠʔτͰ͖ͳ͔ͬͨ • Swift 4ͷมߋ఺ʹ͍͓ͭͯ࿩͠·͢
11. v4.0.0.1 Update
12. Bug Fixed#
13. Swift 3 / 4Ϟʔυʹ͍ͭͯ ͲΜͳʹࣗ෼ͷιʔείʔυΛSwift4ରԠͯ͠΋ɺϑ ϨʔϜϫʔΫ͕Swift4ͰϏϧυ͞Ε͍ͯͳ͚Ε͹ίϯύ Πϧ͕௨Γ·ͤΜɻOSS։ൃऀͷΈͳ͞·ɺ͝ରԠΑΖ ͓͘͠ئ͍͠·͢$
14. Swift 3 / 4Ϟʔυʹ͍ͭͯ ͲΜͳʹࣗ෼ͷιʔείʔυΛSwift4ରԠͯ͠΋ɺϑ ϨʔϜϫʔΫ͕Swift4ͰϏϧυ͞Ε͍ͯͳ͚Ε͹ίϯύ Πϧ͕௨Γ·ͤΜɻOSS։ൃऀͷΈͳ͞·ɺ͝ରԠΑΖ ͓͘͠ئ͍͠·͢$
15. ҟͳΔݴޠϞʔυʹΑΔίʔυͷࠞࡏ • Ϟδϡʔϧ୯ҐͰͷόʔδϣϯࢦఆ͕Մೳɹɹɹɹ ྫ) ΞϓϦ͸Swift4, ϑϨʔϜϫʔΫ͸Swift3
16. Additional Accepted Proposals (+7 %)
17. [SE-0155] Enum Caseͷਖ਼نԽ Accepted •มߋલ enumͷAssociated Value͸λϓϧ •มߋޙ enumͷAssociated Valueʹ͸ɺಠࣗͷୈҰڃߏจΛ దԠ͢Δɻ
18. •ϥϕϧ͸ίϯετϥΫλ໊ͷҰ෦ Expr.elet(locals: [], body: anExpr) // ⭕, Swift 3ͷํ๏ Expr.elet(locals: body:)([], anExpr) // ⭕, Swift 4͔ΒՄೳ
    // f(x: y:)(0, 0)ͱಉ͡ Expr.elet(locals: body:)(locals: 0, body: 0) // ❌ enum Expr { indirect case elet(locals: [(String, Expr)], body: Expr) }
19. •ϥϕϧ͸λϓϧͷҰ෦Ͱ͸ͳ͍ enum Expr { indirect case elet(locals: [(String, Expr)], body: Expr) } let f = Expr.elet //([(String,Expr)],Expr) -> Expr f([], anExpr) // ⭕ f(locals: [], body: anExpr) // ❌ ม਺ʹ֨ೲ͢Δͱɺϥϕϧͷ৘ใ͕ফ͑Δ
20. enum SyntaxTree { case type(variables: [TypeVariable]) case type(instantiated: [Type]) } case .type // ❌: ᐆດ case .type(variables: let variables) // ⭕:ϑϧωʔϜΛࢦఆ͢Δ • ڞ௨ͷϕʔεωʔϜΛ࢖͑Δ
21. enum Animation { case fadeIn(duration: TimeInterval = 0.3) // ⭕ } let anim = Animation.fadeIn() // ⭕ • Associated ValueʹσϑΥϧτ஋ΛઃఆͰ͖Δ
22. enum Tree { case leaf() // (()) -> Tree } enum Tree { case leaf(Void) } •ۭͷλϓϧ͸௚઀ࢦఆͰ͖ͳ͘ͳͬͨ • Swift 4͔Β❌ • ্ͱಉ͜͡ͱΛ΍Δʹ͸ɺVoidΛॻ͘
23. case .variable(name: let x) // ⭕ case .variable(x: let x) // ❌: `x`ͱ͍͏ϥϕϧ͸ͳ͍ case .lambda(parameters: let params, body: let body) // ⭕ case .lambda(params: let params, body: let body) // ❌: ୈҰҾ਺ϥϕϧ͕ؒҧ͍ͬͯΔ •ύλʔϯͷҰ؏ੑ indirect enum Expr { case variable(name: String) case lambda(parameters: [String], body: Expr) } ϥϕϧ໊͸౷Ұ͢Δඞཁ͕͋Δ
24. case .variable(let name) // ⭕: ม਺໊͕ϥϕϧ໊ͱಉ͡ case .lambda(let parameters, let body) // ⭕: ม਺໊͕ϥϕϧ໊ͱಉ͡ case .variable(let x) // ❌: ϥϕϧͷॻ͖ํ͸1௨Γʹ౷Ұ͢Δඞཁ͕͋Δɻ case .lambda(let params, let body) // ❌: ্هͱಉ༷
    case .lambda(parameters: let params, let body) // ❌ •ύλʔϯͷҰ؏ੑ indirect enum Expr { case variable(name: String) case lambda(parameters: [String], body: Expr) } ϥϕϧ໊ͱม਺໊͕ಉҰͷ࣌ʹݶΓɺϥϕϧΛ লུՄ
25. [SE-0161] Smart KeyPaths: Better Key-Value Coding for Swift Accepted •มߋޙ \Λ͚ͭΔ͜ͱͰɺKeyPathͱͯ͠࢖͏͜ͱ͕Ͱ͖Δ
26. [SE-0161] Smart KeyPaths: Better Key-Value Coding for Swift Accepted class Person { var name: String var friends: [Person] = [] var bestFriend: Person? = nil init(name: String) { self.name = name } } var han = Person(name: "Han Solo") var luke = Person(name: "Luke Skywalker") luke.friends.append(han)
27. [SE-0161] Smart KeyPaths: Better Key-Value Coding for Swift Accepted // create a key path and use it let firstFriendsNameKeyPath = \Person.friends[0].name let firstFriend = luke[keyPath: firstFriendsNameKeyPath] // "Han Solo" // or equivalently, with type inferred from context luke[keyPath: \.friends[0].name] // "Han Solo" // rename Luke's first friend luke[keyPath: firstFriendsNameKeyPath] = "A Disreputable Smuggler" // optional properties work too let bestFriendsNameKeyPath = \Person.bestFriend?.name let bestFriendsName = luke[keyPath: bestFriendsNameKeyPath] // nil, if he is the last Jedi \Λ͚ͭΔ͜ͱͰɺKeyPathͱͯ͠࢖͏͜ͱ͕Ͱ͖Δ
28. [SE-0163] String Revision: Collection Conformance, C Interop, Transcoding • StringΛBidirectionalCollection, RangeReplaceableCollection΁ͷద߹ • String.SubSequenceΛSubstringܕͱ͢Δ • Unicodeϓϩτίϧͷಋೖ • C interop ϝιου΁ͷ౷߹ • Transcoding Infrastructure ͷվగ •มߋޙ Accepted
29. [SE-0164] Protocol Extensionʹ͓͚Δfinalͷআڈ Accepted •มߋલ •มߋޙ protocol extensionͷϝιουʹfinal͕࢖͑Δ protocol extensionͷϝιουʹfinal͕࢖͑ͳ͘ͳΔ
30. [SE-0165] DictionaryͱSetͷڧԽ Accepted
31. [SE-0165] DictionaryͱSetͷڧԽ Accepted #
32. [SE-0168] Multi-Line String Literals Accepted “””τϦϓϧΫΥʔτ”””Λ࢖͏͜ͱͰɺෳ਺ߦͷString Λ࢖͏͜ͱ͕Ͱ͖ɺ”ͷΤεέʔϓ͕ඞཁͳ͘ͳΔ assert( xml == """ <?xml version="1.0"?> <catalog> <book id="bk101" empty=""> <author>\(author)</author> <title>XML Developer's Guide</title> <genre>Computer</genre> <price>44.95</price> <publish_date>2000-10-01</publish_date> <description>An in-depth look at creating applications with XML.</description> </book> </catalog> """ )
33. [SE-0169] privateͱextensionͷ૬ޓ࡞༻ͷվળ Accepted •privateଐੑͰ΋ɺextensionΛ·͍ͨͰͷΞΫηε͕Մೳ struct S { private var p: Int func f() { use(g()) // ⭕:extensionʹએݴ͞Ε͍ͯΔg()ʹΞΫηεՄೳ } } extension S { private func g() { use(p) // ⭕:SͷextensionͳͷͰɺpʹΞΫηεͰ͖Δ } } extension S { func h() { use(g()) // ⭕:h()͸g()ʹΞΫηεͰ͖Δɻ } }
34. // FileA.swift struct A { private var aMember : Int } // FileB.swift extension A { private func foo() { bar() // ⭕, foo()͸bar()΁ΞΫηεͰ͖Δ } } extension A { private func bar() { aMember = 42 // ❌, private͸ϑΝΠϧΛ·͍ͨͰͷΞΫηεෆՄ } } •privateʹ͸ϑΝΠϧΛ·͍ͨͰͷΞΫηε͸Ͱ͖ͳ͍
35. ·ͱΊ • swift4΁ͷ࠷ऴϦϒϥϯν͸6/1 • ΩϟονΞοϓ͸͜·Ίʹ͠·͠ΐ͏% (ݱࡏActive ReviewͷProposal͸5ͭ)
36. Thank you$