Hacker News new | ask | show | jobs
by junkyarddog 3385 days 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.
1 comments
infruset 3385 days ago
That'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

link