I really love Ethereum and have been invested in it for a while. I think @vbuterin and crew have a clear idea as to how to move past problems, and I find it ex

I really love Ethereum and have been invested in it for a while. I think @vbuterin and crew have a clear idea as to how to move past problems, and I find it exciting to watch the Ethereum foundation execute their vision well. Bitcoin, on the other hand, doesn't perform its simple functions well in the short term, and seems to have very little idea on how to scale long term: 1. Transactions are still pretty expensive and take a good while to settle. 2. Proof of work as a long term consensus strategy just doesn't work. The amount of energy required to mint transactions is immense. 3. Bitcoin hasn't made the headway with corporate partnerships that I think will be critical for larger adoption. On Ethereum's end: a movement to proof of stake, sharding with global consensus, and the corresponding lightening and whisper networks all are really exciting domains of exploration. My two primary worries here are: 1. There has not been much work yet to bring well designed languages to the EVM at this point. Well designed languages, with good testing frameworks (QuickCheck from the Haskell landscape comes to mind), and formally verified fundamentals (e.g. wallets) are critical for contracts to be viable for anything other than playthings. 2. I worry about regulation totally hammering down innovation in this arena before it can sufficiently get past the rough early days. I do cautiously applaud Russia's hesitance to regulate, in an attempt to avoid destroying innovation. On (1), I would love to get involved writing adapters for languages or subsets of languages like OCaml or Haskell to compile down to the EVM. If anyone knows of any resources I could jump into to explore this type of project, I would love it if you linked them.