3 ms·
You can have both union types and sum types (imo ideally), or in this case can easily choose to represent the result of the expensive computation in a more reas
by kaba0 3y ago
You can have both union types and sum types (imo ideally), or in this case can easily choose to represent the result of the expensive computation in a more reasonable/descriptive way.
- codebje 3y agoPerhaps the more reasonable/descriptive way to represent the potentially no-value result of the computation is with a sum type, not a union type?