> Who stole the original thinkers of that era, and planted type-theoretical bureaucrats in their place? Once a sufficiently advanced type-theory is in place, o

> Who stole the original thinkers of that era, and planted type-theoretical bureaucrats in their place? Once a sufficiently advanced type-theory is in place, original thought can be automated and rigorously proven at compile-time. ;-)