2 ms·

I think Ethereum has a lot of potential and really love the platform. With that, the language options that work on top of the EVM are quite awful. There needs

I think Ethereum has a lot of potential and really love the platform. With that, the language options that work on top of the EVM are quite awful. There needs to be considerable investment in either building better options or building EVM compilers for well designed languages. Something functional would be great: OCaml, F#, Haskell with immutability and formally verified abstractions for dealing with the blockchain.

daraosn 9y ago
That's what Tezos is doing, using OCaml for their smart contracts.
- dbrgn 9y ago
  Actually they use OCaml for the blockchain implementation and their own functional and provable language "Michelson" for smart contracts. Fun fact: Michelson was the guy that disproved aether :)
emsimot 9y ago
Yoichi's Bamboo is looking pretty good. https://medium.com/@pirapira/bamboo-compiler-started-producing-evm-bytecode-6a55e4633de9 https://medium.com/@pirapira/bamboo-compiler-started-produci...