Union Types and Option Types
- 2025-03-16 In past years, I've experimented union types in a low level language (Copper) and a higher level language.
- I got very interesting results but I'm currently experimenting a trimmed down version: just the option types.
Unverified
- 2025-03-16 In past years, I've experimented union types in a low level language (Copper) and a higher level language.
- I got very interesting results but I'm currently experimenting a trimmed down version: just the option types.
Sources: Tibleiz