News for hackers. Stuff that matters.

A comment on What Is Ethereum?. Parent comment

Re:What Is Ethereum? by RexetBlell on Friday July 07, 2017 @09:40PM (#14723573)
I don't think it's very important. There are several other languages that can compile down to EVM bytecode. A cool one is Viper (https://github.com/ethereum/viper), which is NOT Turning complete, but decidable. This makes it easier to reason about the correctness of the code, and formally proving that your code is correct.
[ Parent | on HN ]
Re:What Is Ethereum? by metroidfan832 on Saturday July 08, 2017 @01:03AM (#14724164)
several? Really? Please link me other languages that compile to EVM bytecode.
[ Parent | on HN ]
Re:What Is Ethereum? by Jabanga on Saturday July 08, 2017 @03:32AM (#14724547)
Ethereum developers use Solidity almost exclusively, because it is by far the most developed, but there is also Serpent, Viper and LLL. I don't know if Serpent and LLL are still being actively developed. Yoichi Hirai is also developing Bamboo [1].

[1] https://github.com/pirapira/bamboo

[ Parent | on HN ]