[Haskell-cafe] Haskell to Ethereum VM ?

[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 <takenobu.hs at gmail.com
> <mailto:takenobu.hs at 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.
>