4 ms·
But what you really want for smart contract is a language with integrated formal verification. The ability to formally prove some properties of your smart contr
by SuchAnonMuchWow 5y ago
But what you really want for smart contract is a language with integrated formal verification. The ability to formally prove some properties of your smart contract is much valuable than functional vs imperative paradigm.
Functional programming might makes it easier to detect flaws in your programs, but when there is billions at stakes and no recourse in case of a bug, you really want your program to be flawless.