4 ms·
Eh. Haskell is a general purpose Turing-complete language. Smart contracts need something far safer.
by chowells 9y ago
Eh. Haskell is a general purpose Turing-complete language. Smart contracts need something far safer.
- arianvanp 9y agoHow about http://statebox.org http://statebox.org?
- sciyoshi 9y agoThere's also Simplicity, which is not Turing complete and includes formal verification with Coq https://news.ycombinator.com/item?id=15588380 https://news.ycombinator.com/item?id=15588380
- spopejoy 9y agoPact (http://github.com/kadena-io/pact http://github.com/kadena-io/pact) is a turing-incomplete LISP (no recursion, no lambdas, no unbounded loops ... no macros either ;) ) and built in Haskell. Also has formal verification by directly compiling to SMT-LIB2 (not released yet, but watch a demo! https://youtu.be/l7XuSuEe-Yg?t=22m23s https://youtu.be/l7XuSuEe-Yg?t=22m23s).