作者: Peter F. Drayton , Paul A. Vick , Avner Y. Aharoni , David N. Schach , Amanda Silver
DOI:
关键词:
摘要: Systems and methods that enhance a programming language by introducing null unification on type level in addition to value level, for static types of both reference T. An operator adds nullability (and removes such nullability) is introduced without mention the actual type, steer overloading precise manner.