Hacker News new | ask | show | jobs
by SirensOfTitan 3246 days ago
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.
2 comments
emsimot 3245 days ago
Yoichi's Bamboo is looking pretty good.

https://medium.com/@pirapira/bamboo-compiler-started-produci...

link
daraosn 3246 days ago
That's what Tezos is doing, using OCaml for their smart contracts.
link
dbrgn 3245 days 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 :)

link