|
|
|
|
|
|
by Animats
1637 days ago
|
|
|
Oh, that kind of table. I was expecting decision tables.[1] "Smart contracts" for Etherium should have been decision tables. But no, they had to make it Turing-complete. A good thing about decision tables is that there's a finite and small number of cases, so they can be exhaustively tested. Also, they're readable. That's what you want for contracts. Not Solidity programs, which are expensively insecure. [1] https://en.wikipedia.org/wiki/Decision_table |
|
|