4 ms·
Agreed. A turing-complete language isn't the ideal choice for smart contracts. A strongly typed ML or Haskell style language would have been a much better choic
by junkyarddog 10y ago
Agreed. A turing-complete language isn't the ideal choice for smart contracts. A strongly typed ML or Haskell style language would have been a much better choice as a starting point.
- infruset 10y agoThat's exactly what Tezos [1] is proposing: a strongly typed language whose semantics is currently being formalized in the Coq theorem prover. [1]: https://tezos.com/pages/tech.html https://tezos.com/pages/tech.html