What will be changed in Swift 4(2)

2017/04/28 Swift愛好会 vol.18

1. What Will be changed in Swiftɹ v4.0.0(2) Daiki Matsudate / @d_date SwiftѪ޷ձ vol.18
2. ࣗݾ঺հ / Self Introduction ɾFreelance Engineer (2017/05ʙ) ɾ@d_date (Ͱ͌ʔͩͯ/Ͱ͌ʔͰ͍ͱ) ɾiOSྺ6೥ (iOS 4ʙ) ɾDaiki Matsudate ɾ6݄ʹαϯϊθʹߦ͖·͢✈
6. Qiitaʹهࣄ্͛·ͨ͠
7. Agenda • ͱͯ΋60πΠʔτͰ͸πΠʔτͰ͖ͳ͔ͬͨ • Swift 4ͷมߋ఺ʹ͍͓ͭͯ࿩͠·͢
8. Agenda • Ͳ͏΍ͬͯௐ΂ͨͷ͔ʁ • Swift TweetsͷൃදͰͷగਖ਼ • Swift TweetsޙʹAccept͞ΕͨProposal
9. Ͳ͏΍ͬͯௐࠪͨ͠ͷ͔
10. Ͳ͏΍ͬͯௐࠪͨ͠ͷ͔ • Swift-evolutionͷREADMEΛಡΉ • ManifestΛಡΉ • ֤ϓϩϙʔαϧͷεςʔλεΛ֬ೝ͢Δ • ϝʔϦεΛ೷͍ͯΈΔ
11. Swift Evolution"
12. apple/swift-evolution
13. apple/swift-evolution
14. Read Manifest#
15. apple/swift/docs/
16. Manifest • ABIStability Manifesto • Generics Manifesto • Ownership Manifesto • String Manifesto
17. Check Status of Proposals$
19. Swift Evolution Reviewத ঝೝࡁ ࣮૷ࡁ ϦδΣΫτ औΓԼ͛
20. Ͳ͏΍ͬͯௐࠪͨ͠ͷ͔ • Swift-evolutionͷREADMEΛಡΉ • ManifestΛಡΉ • ֤ϓϩϙʔαϧͷεςʔλεΛ֬ೝ͢Δ • ϝʔϦεΛ೷͍ͯΈΔ
21. Mediumʹهࣄ্͛·ͨ͠ • ͱͯ΋60πΠʔτͰ͸πΠʔτͰ͖ͳ͔ͬͨ • Swift 4ͷมߋ఺ʹ͍͓ͭͯ࿩͠·͢
22. v4.0.0.1-2 Update
23. Bug Fixed%
24. Swift 3 / 4Ϟʔυʹ͍ͭͯ ͲΜͳʹࣗ෼ͷιʔείʔυΛSwift4ରԠͯ͠΋ɺϑ ϨʔϜϫʔΫ͕Swift4ͰϏϧυ͞Ε͍ͯͳ͚Ε͹ίϯύ Πϧ͕௨Γ·ͤΜɻOSS։ൃऀͷΈͳ͞·ɺ͝ରԠΑΖ ͓͘͠ئ͍͠·͢&
25. Swift 3 / 4Ϟʔυʹ͍ͭͯ ͲΜͳʹࣗ෼ͷιʔείʔυΛSwift4ରԠͯ͠΋ɺϑ ϨʔϜϫʔΫ͕Swift4ͰϏϧυ͞Ε͍ͯͳ͚Ε͹ίϯύ Πϧ͕௨Γ·ͤΜɻOSS։ൃऀͷΈͳ͞·ɺ͝ରԠΑΖ ͓͘͠ئ͍͠·͢&
26. ҟͳΔݴޠϞʔυʹΑΔίʔυͷࠞࡏ • Ϟδϡʔϧ୯ҐͰͷόʔδϣϯࢦఆ͕Մೳɹɹɹɹ ྫ) ΞϓϦ͸Swift4, ϑϨʔϜϫʔΫ͸Swift3
27. Additional Accepted Proposals (+11 ')
28. [SE-0155] Enum Caseͷਖ਼نԽ •มߋલ enumͷAssociated Value͸λϓϧ •มߋޙ enumͷAssociated Valueʹ͸ɺಠࣗͷୈҰڃߏจΛ దԠ͢Δɻ
29. •ϥϕϧ͸ίϯετϥΫλ໊ͷҰ෦ 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) }
30. •ϥϕϧ͸λϓϧͷҰ෦Ͱ͸ͳ͍ enum Expr { indirect case elet(locals: [(String, Expr)], body: Expr) } let f = Expr.elet //([(String,Expr)],Expr) -> Expr f([], anExpr) // ⭕ f(locals: [], body: anExpr) // ❌ ม਺ʹ֨ೲ͢Δͱɺϥϕϧͷ৘ใ͕ফ͑Δ
31. enum SyntaxTree { case type(variables: [TypeVariable]) case type(instantiated: [Type]) } case .type // ❌: ᐆດ case .type(variables: let variables) // ⭕:ϑϧωʔϜΛࢦఆ͢Δ • ڞ௨ͷϕʔεωʔϜΛ࢖͑Δ
32. enum Animation { case fadeIn(duration: TimeInterval = 0.3) // ⭕ } let anim = Animation.fadeIn() // ⭕ • Associated ValueʹσϑΥϧτ஋ΛઃఆͰ͖Δ
33. enum Tree { case leaf() // (()) -> Tree } enum Tree { case leaf(Void) } •ۭͷλϓϧ͸௚઀ࢦఆͰ͖ͳ͘ͳͬͨ • Swift 4͔Β❌ • ্ͱಉ͜͡ͱΛ΍Δʹ͸ɺVoidΛॻ͘
34. 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) } ϥϕϧ໊͸౷Ұ͢Δඞཁ͕͋Δ
35. 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) } ϥϕϧ໊ͱม਺໊͕ಉҰͷ࣌ʹݶΓɺϥϕϧΛ লུՄ
36. [SE-0161] Smart KeyPaths: Better Key-Value Coding for Swift •มߋޙ \Λ͚ͭΔ͜ͱͰɺKeyPathͱͯ͠࢖͏͜ͱ͕Ͱ͖Δ
37. [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)
38. [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ͱͯ͠࢖͏͜ͱ͕Ͱ͖Δ
39. [SE-0163] String Revision: Collection Conformance, C Interop, Transcoding • StringΛBidirectionalCollection, RangeReplaceableCollection΁ͷద߹ • String.SubSequenceΛSubstringܕͱ͢Δ • Unicodeϓϩτίϧͷಋೖ • C interop ϝιου΁ͷ౷߹ • Transcoding Infrastructure ͷվగ •มߋޙ
40. [SE-0164] Protocol Extensionʹ͓͚Δfinalͷআڈ •มߋલ •มߋޙ protocol extensionͷϝιουʹfinal͕࢖͑Δ protocol extensionͷϝιουʹfinal͕࢖͑ͳ͘ͳΔ
41. [SE-0166] Swift Archival & Serialization •௥Ճޙ Codableܕ(Encodable & Decodableͷtypealias)ͷಋೖ
42. [SE-0167] Swift Encoders •௥Ճޙ 1. JSON / Property ListͷDecoder/Encoderͷ௥Ճ 2. NSKeyedArchiver/NSKeyedUnarchiverʹ CodableܕΛαϙʔτ
43. CodableܕͱɺJSON Encoder/DecoderΛ૊Έ߹ΘͤΔ let farm = Farm(name: "Old MacDonald's Farm", location: Location(latitude: 51.621648, longitude: 0.269273), animals: [.chicken, .dog, .cow, .turkey, .dog, .chicken, .cow, .turkey, .dog]) let payload: Data = try JSONEncoder().encode(farm) do { let farm = try JSONDecoder().decode(Farm.self, from: payload) // Extracted as user types: let coordinates = "\(farm.location.latitude, farm.location.longitude)" } catch { // Encountered error during deserialization }
44. [SE-0168] Multi-Line String Literals “””τϦϓϧΫΥʔτ”””Λ࢖͏͜ͱͰɺෳ਺ߦͷ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> """ )
45. [SE-0169] privateͱextensionͷ૬ޓ࡞༻ͷվળ •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()ʹΞΫηεͰ͖Δɻ } }
46. // 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ʹ͸ϑΝΠϧΛ·͍ͨͰͷΞΫηε͸Ͱ͖ͳ͍
47. [SE-0171] Reduce with inout •௥Ճޙ extension Sequence { func reduce<A>(into initial: A, _ combine: (inout A, Iterator.Element) - > ()) -> A { var result = initial for element in self { combine(&result, element) } return result } } inoutΛ࢖ͬͨreduce͕௥Ճ͞ΕΔ
48. [SE-0171] Reduce with inout extension Sequence where Iterator.Element: Equatable { func uniq() -> [Iterator.Element] { return reduce(into: []) { (result: inout [Iterator.Element], element) in if result.last != element { result.append(element) } } } } ܭࢉྔ…O(n) •௥Ճޙ
49. [SE-0171] Reduce with inout extension Sequence where Iterator.Element: Equatable { func uniq() -> [Iterator.Element] { return reduce([]) { (result: [Iterator.Element], element) in guard result.last != element else { return result } return result + [element] } } } ܭࢉྔ…O(n2) •௥Ճલ
50. [SE-0172] One-sided Ranges •มߋޙ let greeting = s.prefix(upTo: i) let withComma = s.prefix(through: i) let location = s.suffix(from: i) ยଆͷΈͷrange operatorΛ௥Ճ let greeting = s[..<i]ɹ// ൒։۠ؒ let withComma = s[...i] // ด۠ؒ let location = s[i...] •มߋલ let greeting = s[s.startIndex..<i] //
51. ·ͱΊ • swift4΁ͷ࠷ऴϦϒϥϯν͸6/1 • ΩϟονΞοϓ͸͜·Ίʹ͠·͠ΐ͏' (ݱࡏActive ReviewͷProposal͸5ͭ)
52. Thank you&