実践クライアントサイドSwift

Sample code: https://github.com/ishkawa/talks/tree/master/2017-02-24-swiftjn/Demo

Transcript

1. 実践クライアントサイドSwi
2. 実践的モデリング 入力フォームというエラーの塊を例に
4. 共通 ⇔ 多様
5. フィールドってなに?
6. 名前と値を持っていて、バリデーションができる。
8. struct FormField { let name: String let value: String func validate() throws {...} } 文字を入力するフィールド
10. フィールドが持つ値はString とは限らない。
11. struct FormField<Value> { let name: String let value: Value func validate() throws {...} } 何を入力するフィールドにもなれる型
13. バリデーションはフィールドの種類によって異なる
14. インターフェースと実装を分けた方がよい
15. ジェネリック型 → プロトコル
16. protocol FormField { associatedtype Value var name: String { get } var value: Value { get } func validate() throws }
17. フィールドの種類に応じたパラメーターも設定可能
19. struct StringFormField: FormField { let name: String let value: String let maxCharactersCount: Int func validate() throws { if value.isEmpty { throw FormFieldError( title: "未入力 項目 ", message: "\(name) 入力 ") } if value.characters.count > maxCharactersCount { throw FormFieldError( title: "文字数 ", message: "\(name) \(maxCharactersCount) } } } 文字を入力するフィールド
21. struct SelectionFormField<Value>: FormField { let name: String let value: Value? func validate() throws { if value == nil { throw FormFieldError( title: "未選択 項目 ", message: "\(name) 選択 ") } } } 値を選択するフィールド
22. 順調？
23. let prefecture = Prefecture(id: 13, name: "東京都") let selectionFormField = SelectionFormField( name: 都道府県, value: prefecture) try selectionFormField.validate() let product = selectionFormField.value!
24. 1. バリデーションを行う 2. 値を取り出す 操作の順序という暗黙のルールに依存
25. 良い設計は誤った用法を コンパイルエラーにする
26. 良い設計は誤った用法を コンパイルエラーにする ( なるべく)
27. let prefecture = Prefecture(id: 13, name: "東京都") let selectionFormField = SelectionFormField( name: 都道府県, value: prefecture) try selectionFormField.validate() let product = selectionFormField.value! バリデーションと値の取り出しが別々
28. protocol FormField { associatedtype Value associatedtype Product var name: String { get } var value: Value { get } func buildProduct() throws -> Product } バリデーションと結果の取得を同時に行う
29. struct SelectionFormField<Value>: FormField { let name: String let value: Value? func buildProduct() throws -> Value { guard let value = value else { throw FormFieldError( title: "未選択 項目 ", message: "\(name) 選択 ") } return value } } 修正版の値を選択するフィールド
30. let prefecture = Prefecture(id: 13, name: "東京都") let selectionFormField = SelectionFormField( name: 都道府県, value: prefecture) let product = try selectionFormField.buildProduct() バリデーションと結果の取得が同時になった
31. 入力フォームってなに?
32. フィールドを集めて、結果をまとめるもの。
34. struct SignUpForm { let nameField: StringFormField let emailField: EmailFormField let prefectureFormField: SelectionFormField<Prefecture init(name: String, email: String, prefecture: Prefecture }
35. フィールドを集めて、結果をまとめるもの。
36. フィールドのエラーやプロダクトをまとめるもの。
37. protocol Form { associatedtype Product func buildProduct() throws -> Product }
38. struct SignUpForm: Form { let nameField: StringFormField let emailField: EmailFormField let prefectureFormField: SelectionFormField<Prefecture init(name: String, email: String, prefecture: Prefecture // SignUpRequest API 表 型 func buildProduct() throws -> SignUpRequest {...} }
39. struct SignUpForm: Form { let nameField: StringFormField let emailField: EmailFormField let prefectureFormField: SelectionFormField<Prefecture init(name: String, email: String, prefecture: Prefecture // 全 // 組 立 同時 行 func buildProduct() throws -> SignUpRequest { return SignUpRequest( name: try nameField.buildProduct(), email: try emailField.buildProduct(), prefectureID: try prefectureFormField.buildProdu } }
40. // 入力値 渡 let form = SignUpForm( name: nameTextField.text, email: emailTextField.text, prefecture: prefecturePickerView.selectedValue) do { sendRequest(try form.buildProduct()) } catch { // 発生 }
41. 順調？
42. let form = SignUpForm( name: nameTextField.text, email: emailTextField.text, prefecture: prefecturePickerView.selectedValue) do { sendRequest(try form.buildProduct()) } catch { // 失敗 ? }
44. フィールドの識別子が必要
45. enum & switch 文による網羅性
46. どのフィールドに対するエラーハンドリングも コンパイル時にチェックされる... ？
47. protocol Form { associatedtype FieldID associatedtype Product func buildProduct() throws -> Product } フォームにFieldID を導入
48. protocol FormField { associatedtype FieldID associatedtype Value associatedtype Product var id: FieldID { get } var name: String { get } var value: Value { get } func buildProduct() throws -> Product } フィールドにFieldID を導入
49. struct FormFieldError<FieldID> { let fieldID: FieldID let title: String let message: String } フィールドエラーにもFieldID を導入
50. struct SignUpForm: Form { enum FieldID { case name case email case prefecture } let nameField: StringFormField<FieldID> let emailField: EmailFormField<FieldID> let prefectureField: SelectionFormField<FieldID, Prefect init(name: String, email: String, prefecture: Prefecture ... } }
51. struct SignUpForm: Form { ... init(name: String, email: String, prefecture: Prefecture nameField = StringFormField( id: .name, name: " 名", value: name, maxCharactersCount: 20) emailField = EmailFormField( id: .email, name: " ", value: email) prefectureField = SelectionFormField( id: .prefecture, name: " 住 都道府県", value: prefecture) } }
52. let form = SignUpForm( name: nameTextField.text, email: emailTextField.text, prefecture: prefecturePickerView.selectedValue) do { sendRequest(try form.buildProduct()) } catch let error as FormFieldError<SignUpForm.FieldID> { switch error.fieldID { case .name: nameTextField.becomeFirstResponder() case .email: emailTextField.becomeFirstResponder() case .prefecture: pushPrefectureViewController() } } catch { // 来 }
53. 網羅性は利用できたが、惜しい。
54. let form = SignUpForm( name: nameTextField.text, email: emailTextField.text, prefecture: prefecturePickerView.selectedValue) do { sendRequest(try form.buildProduct()) } catch let error as FormFieldError<SignUpForm.FieldID> { // ↑ 型 存在 気 難 } catch { // 何 ... }
55. 1. というハンドルすべきエラーが発生する 2. それ以外にハンドルすべきエラーは起きない という暗黙のルールが発生している。
56. 良い設計は誤った用法を コンパイルエラーにする
57. protocol Form { associatedtype FieldID associatedtype Product // ↓ 時点 型 失 func buildProduct() throws -> Product }
58. protocol Form { associatedtype FieldID associatedtype Product func buildProduct() -> Result<Product, FormFieldError<FieldID>> }
59. protocol FormField { associatedtype FieldID associatedtype Value associatedtype Product var id: FieldID { get } var name: String { get } var value: Value { get } func buildProduct() -> Result<Product, FormFieldError<FieldID>> }
60. は複数の組み合わせが難しい
61. struct SignUpForm: Form { let nameField: StringFormField let emailField: EmailFormField let prefectureFormField: SelectionFormField<Prefecture ... func buildProduct() throws -> SignUpRequest { return SignUpRequest( name: try nameField.buildProduct(), email: try emailField.buildProduct(), prefectureID: try prefectureFormField.buildProdu } } try の場合
62. struct SignUpForm: Form { let nameField: StringFormField let emailField: EmailFormField let prefectureFormField: SelectionFormField<Prefecture ... func buildProduct() -> Result<SignUpRequest, FormFieldError<FieldID let nameResult = nameField.buildProduct() let emailResult = emailField.buildProduct() let prefectureResult = prefectureFormField.buildProd // 3 楽 組 合 ... } } の場合
63. 他の言語に聞いてみよう
65. struct SignUpForm: Form { let nameField: StringFormField let emailField: EmailFormField let prefectureFormField: SelectionFormField<Prefecture ... func buildProduct() -> Result<SignUpRequest, FormFieldError<FieldID // Curry, Runes 使 Haskell return curry(SignUpRequest.init) <^> nameField.buildProduct() <*> emailField.buildProduct() <*> prefectureField.buildProduct() } }
66. let form = SignUpForm( name: nameTextField.text, email: emailTextField.text, prefecture: prefecturePickerView.selectedValue) // case 消 switch form.buildProduct() { case .success(let request): sendRequest(request) case .failure(let error): switch error.fieldID { case .name: nameTextField.becomeFirstResponder() case .email: emailTextField.becomeFirstResponder() case .prefecture: pushPrefectureViewController() } }
67. 正しく使われていることを コンパイル時に保証できるようになった
68. まとめ
69. 良い設計は誤った用法を コンパイルエラーにする