Void Safety in Eiffel, Part 3: the Type Rules
This segment, part 3 of the video series on how to get rid of null pointer dereferencing thanks to Eiffel’s void safety mechanism explains the core part of the mechanism: the notion of attached and detachable type, and the rule that guarantee that all calls will be safe at run time.
Make sure to watch part 1: • Void Safety in Eiffel, Part 1: the end of ... and part 2: • Void Safety in Eiffel, Part 2: the Object ... before starting this video.