Refinement types

Refinement types for Swift

Transcript

1. Refinement types github.com/hectr
2. a refinement type is a type endowed with a predicate which is assumed to hold for any element of the refined type. — Wikipedia github.com/hectr
3. refinement types a.k.a encoding valida,ons at the typelevel github.com/hectr
4. Why? github.com/hectr
5. Stringly typed example struct Foo: Codable { let id: String } • id cannot be nil ! • id could be empty " github.com/hectr
6. Refined string example struct Foo: Codable { let id: String.NonEmpty } • id cannot be nil ! • id cannot be empty " github.com/hectr
7. Refined string example struct Foo: Codable { let id: String.NonEmpty } • id cannot be nil ! • id cannot be empty " ... we'll explain this later. github.com/hectr
8. Almost any type is suscep0ble to be refined: • Int (e.g. divisible by...) • Float (greater than...) • Double, etc.: (e.g. nega7ve) • String: (e.g. starts with...) • Array (e.g. contains...) • Set (e.g. count is...) github.com/hectr
9. The idea is not new: make illegal states unrepresentable github.com/hectr
10. Refinement types implementa.ons: (frameworks or dialects) • Scala • Haskell • TypeScript • Perl • ... github.com/hectr
11. What about Swi,? github.com/hectr
12. There isn't language support for refinement types. ! github.com/hectr
13. There isn't language support for refinement types (yet). ! github.com/hectr
14. But... github.com/hectr
15. refined type = base type + predicate github.com/hectr
16. refined type ≈ wrapper type + generic constraint github.com/hectr
17. wrapper type + generic constraint struct Refined<Constraint: Predicate> { let wrapped: Constraint.Value init?(_ value: Constraint.Value) { guard Constraint.isValid(value: value) else { return nil } self.wrapped = value } } github.com/hectr
18. wrapper type + generic constraint protocol Predicate { associatedtype Value static func isValid(value: Value) -> Bool } github.com/hectr
19. Refined string example (cont) struct Not<P: Predicate>: Predicate { static func isValid(value: P.Value) -> Bool { return !P.isValid(value: value) } } struct IsEmpty: Predicate { static func isValid(value: String) -> Bool { return value.isEmpty } } github.com/hectr
20. Refined string example (cont) let foo: Refined<Not<IsEmpty>> github.com/hectr
21. Refined string example (cont) let foo: Refined<Not<IsEmpty>> ! github.com/hectr
22. Refined string example (cont) // let foo: Refined<Not<IsEmpty>> extension String { typealias Empty = Refined<IsEmpty> typealias NonEmpty = Refined<Not<IsEmpty>> } github.com/hectr
23. Refined string example (cont) // let foo: Refined<Not<IsEmpty>> extension String { typealias Empty = Refined<IsEmpty> typealias NonEmpty = Refined<Not<IsEmpty>> } let foo: String.NonEmpty github.com/hectr
24. Is it that easy? github.com/hectr
25. No, it is not... github.com/hectr
26. Refined types need to seamlessly integrate with their base types. github.com/hectr
27. type transparency github.com/hectr
28. type transparency struct Photo: Codable { var title: Refined<Count<String, LessThan<Int_20>>> var height: Refined<RangeOf<Double_100, Double_1000>> var width: Refined<RangeOf<Double_100, Double_1000>> } let jsonString = "{\"width\":150,\"height\":150,\"title\":\"Apple\"}" let jsonData = jsonString.data(using: .utf8)! let photo = try! JSONDecoder().decode(Photo.self, from: jsonData) _ = photo.width * 2.0 _ = "photo called " + photo.title XCTAssertEqual(photo.title, "Apple") XCTAssertEqual(photo.width, 150) github.com/hectr
29. But that is another story... github.com/hectr
30. github.com/hectr
31. github.com/hectr
32. github.com/hectr
33. github.com/refined-swi4 github.com/hectr