The concept of effective union types in Whiley exposes some interesting features worth considering. In particular, they result in a separation between the readable and writeable view of a type. But, we’re getting ahead of ourselves! Let’s start with what exactly effective unions are…
Effective Unions
An effective union is a union type which . . . → Read More: Understanding Effective Unions in Whiley
