PhantomTypes
A phantom type is a custom type that has one or more unused type parameters.
Phantom types allow you to enforce type-safety without sacrificing readability. It also reduces the amount of tests we need to write because silly mistakes are forbidden by the compiler.
If you're keen to know more, I recommend you read my medium article.
Example
Consider we have a User object like this...
struct User {
var email: Email = ""
var name: Name = ""
var age: Age = 18
var isAdmin: IsAdmin = false
}
If a developer tries to set a name value to the email property we will get a type-mismatch error from the compiler.
How can we enforce type-safety?
enum Types {
enum Email {}
enum Name {}
enum Age {}
enum IsAdmin {}
}
typealias Email = Phantom<Types.Email, String>
typealias Name = Phantom<Types.Name, String>
typealias Age = Phantom<Types.Age, Int>
typealias Location = Phantom<Types.IsAdmin, Bool>
Adding even more context
We might even consider making them even more explicit, so a User's email can't be assigned to another Email field in the code, such as the Login email...
protocol EmailHaving {}
extension EmailHaving {
typealias Email = Phantom<Phantom<Self, Types.Email>, String>
}
extension User: EmailHaving {}
extension Login: EmailHaving {}
User().email = Login().email // type-mismatch error!
12 Oct 9, 2022
3 Aug 26, 2022
9 Sep 25, 2022
589 Dec 24, 2022
2 Mar 14, 2022
2 May 23, 2022
1 Oct 13, 2021
155 Sep 17, 2022
360 Nov 26, 2022
3 Sep 16, 2022
280 Jan 2, 2023
94 Feb 28, 2022
531 Dec 26, 2022
253 Sep 19, 2022
0 Jan 28, 2022
1.3k Jan 9, 2023
10 Nov 2, 2022
3 Nov 21, 2021
74 Mar 11, 2022
3.4k Dec 28, 2022
543 Oct 29, 2022
0 Dec 26, 2021
1.6k Dec 30, 2022
13.9k Jan 6, 2023
19 Sep 5, 2022
16 Aug 3, 2021
23 Apr 27, 2022
0 Nov 6, 2022
21 Dec 29, 2022