5 ms·
Patchwork solutions won't cut it. "Solidity" is inherently unsuited for the task of safe and correct contract design.
by wyager 10y ago
Patchwork solutions won't cut it. "Solidity" is inherently unsuited for the task of safe and correct contract design.
- happyslobro 10y agoThis looks like an ideal use case for a Haskel based DSL. We need good static analysis capabilities, and we have to carefully manage side effects.
- chc 10y agoI'm not sure Haskell's type system is sophisticated enough to be relied on to prevent the kinds of problems The DAO ran into. As I understand it, one of the bugs boils down to recursive calls between two side-effecting functions, which seems like it would probably be just as possible in a parallel-universe Ethereum based on Haskell.
- happyslobro 10y agoHmm, so the DSL needs to enforce some kind of contract and limit scheme, like that Ada dialect that the aerospace guys occasionally bring up. I bet they have decades of research that the next DAO project devs should familiarise themselves with.
- splintercell 10y agoCheck ou this paper http://publications.lib.chalmers.se/records/fulltext/234939/234939.pdf http://publications.lib.chalmers.se/records/fulltext/234939/...