I think Typescript is close. It does suffer from JS heritage.
A TS like language that also had a way to runtime check types (for those data boundaries) but mix in some “any” when needed would be a hell of a pragmatic language.
A TS like language that also had a way to runtime check types (for those data boundaries) but mix in some “any” when needed would be a hell of a pragmatic language.
It is made by someone coming from the Elm community, who made a lot of Elm packages.