On: Simplicity: A New Language for Blockchains [pdf]

[tbodt]

Blockchain programming is fundamentally different from all other programming, and we need a new language to handle that. "Solidity" is far from solid.

[unboxed_type → tbodt]

It is far from solid and yet it is easy to understand (modulo corner cases) . I doubt that lambda-calculus-like language will take over it just because it gives one an ability to prove correctness properties in Coq.

[kobeya → tbodt]

This is fundamentally different from Solidity.

[tbodt → kobeya]

Which is what makes it better.