Schrödinger’s Lambda: Lazy Polymorphism in Scala 3

Procrastinating object creation so hard even cats refuse to collapse their type until observed

Below are compact yet thought-provoking Scala 3 programs as well as a couple of Java programs. Each section outlines the central idea and then presents the source. Every snippet combines lazy evaluat…