Optional Types and Leaf: Removing automatic dereference Optional values are one of the fundamental extrinsic types in Leaf, as are shared values. Originally optional values were used just like regular values, dereferenced
Can a language be safe? Some languages hand us sharp knives and encourage us to play with them. Other languages put us in padded rooms and discourage us from doing