Re: [Haskell-cafe] Haskell to Ethereum VM ?

Hi Carter, Patrick, Thank you for reply. Quorum is interesting! It would be very nice to be able to describe Ethereum's contract with Haskell DSL. The characteristics about immutable and type will fit DApps. Thank you very much, Takenobu 2018-01-27 2:55 GMT+09:00 Patrick Mylund Nielsen :

The Quorum[1] team has been dreaming about such a Haskell-beginner-friendly bytecode-generating DSL for a very long time. The user experience of writing applications in a language where pitfalls are so non-obvious is one of the biggest pain points of Ethereum in general.

We would warmly welcome something like this, and would definitely look to use it in Quorum. (Our EVM is the same as public Ethereum.)

[1]: A permissioned/non-PoW version of Ethereum with high throughput and privacy - https://github.com/jpmorganchase/quorum/

On 1/26/2018 11:43 AM, Carter Schonwald wrote:

...

Hello Takenobu, while theres definitely a lot of haskell code out there that deals with ethereum (or implementing it!), i'm not aware of anything targeting the evm isa from haskell or any other mature functional programming language

On Fri, Jan 26, 2018 at 8:09 AM, Takenobu Tani mailto:takenobu.hs@gmail.com> wrote:

Hi cafe,

Does anyone know about the code generator from Haskell's syntax to Ethereum VM language (bytecode)? That is, what corresponds to Solidity in Haskell.

Although Solidity is interesting, it's difficult for me to achieve quality and safety. Does such a project already exist?

Regards, Takenobu

_______________________________________________ Haskell-Cafe mailing list To (un)subscribe, modify options or view archives go to: http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe Only members subscribed via the mailman list are allowed to post.

_______________________________________________ Haskell-Cafe mailing list To (un)subscribe, modify options or view archives go to: http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe Only members subscribed via the mailman list are allowed to post.