GoKawiilCopper language creator trims union types down to option-type-only experiment
The developer behind the Copper programming language describes scaling back an earlier attempt at full union types (lists of alternative types a value can hold) to a simpler, option-type-only design. The post details restrictions imposed for efficient compilation, including banning nested unions and treating type order as significant to simplify value representation and enable syntactic sugar for common error-handling patterns.