We discuss computational models and how they relate to blockchains.
Do we want Turing-completeness, or is a weaker model more suitable?
Would a dumber (not a Turing complete) language would make smart contracts smarter (easily verifiable)? We talk about total functional languages and alternatives to accounts-based model. Should we look at the blockchain as a pure data store, possibly equipped with primitives such as map/reduce or similar?