As a bonus, it wraps all transactions in the VIP monad, where if you are an important person in Ethereum, you can get your poorly written contracts reversed.<p>Sorry, since the DAO fiasco I don't see Ethereum having any purpose. If a poorly written/unfair contract should be invalidated, I would rather have e the judicial system with hundreds of years of jurisprudence make that decision, than a few people at Ethereum.
Decidability. :) I'd love to see that show up in more languages. I believe it allows for better abstractions without optimization deficiencies because it's all decidable.
Can a blockchain project suffer from scope creep, if so, what would that look like? I have to imagine that you don't have to invent a new language for writing safe code (which in my noob mind, I think this is.) Maybe pick up where some other safety oriented languages already are. If security is the goal, is their path equal to this path: <a href="https://en.wikipedia.org/wiki/Formal_verification" rel="nofollow">https://en.wikipedia.org/wiki/Formal_verification</a> . I can't imagine so, for they're making a new language?<p>It could be that they're making it a little safer, and a little easier, but not really too much safer. The features are described, and they look mostly like security?
for max confusion, there also used to be a programming language called vyper.
<a href="http://lambda-the-ultimate.org/classic/message1064.html" rel="nofollow">http://lambda-the-ultimate.org/classic/message1064.html</a>