What is an appropriate type for smart contracts?
I’m wondering what is the best way to express smart contracts in typed languages such as Haskell or Idris (so you could, for example, compile it to run on the Ethereum network). My main concern is: what is the type that captures everything that a contract could do? Naive solution: EthIO A naive solution would … Read more
