From the proposal: > The proposal here differs significantly from Python's types, as the types in this proposal are entirely ignored, not evaluated as expressi

From the proposal: > The proposal here differs significantly from Python's types, as the types in this proposal are entirely ignored, not evaluated as expressions or accessible at runtime as metadata. So guess sorta prior art but quite different. Reading the TC39 minutes for this proposal makes me think it’s highly unlikely that the approach as outlined here will go anywhere.