[noogle]

Sounds similar to Kotlin's and TypeScript's approach.

The basic issue exists - how to handle unknown values. It goes beyond programming language constructs.