3 ms·
Blockchain programming is fundamentally different from all other programming, and we need a new language to handle that. "Solidity" is far from solid.
by tbodt 9y ago
Blockchain programming is fundamentally different from all other programming, and we need a new language to handle that. "Solidity" is far from solid.
- kobeya 9y agoThis is fundamentally different from Solidity.
- tbodt 9y agoWhich is what makes it better.
- unboxed_type 9y agoIt 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.