Thanks. Contracts are an AWESOME idea and I would love to see them make it into a language that everyone uses.

The ideas behind powerful contracts / type systems have been around for a long time: provide properties that are checked such that you can rely on them.

It seems an interesting and difficult problem to try to add a general enough contract system to javascript, which would support things like const and private and "account balance is always positive". But I think that if done well, it would be the single defining feature which would draw me into using a language. Man, would that be awesome.