<div dir="ltr">Hi Carter, Patrick,<br><br>Thank you for reply.<br>Quorum is interesting!<br>It would be very nice to be able to describe Ethereum's contract with Haskell DSL.<br>The characteristics about immutable and type will fit DApps.<br><br>Thank you very much,<br>Takenobu<br><br><br></div><div class="gmail_extra"><br><div class="gmail_quote">2018-01-27 2:55 GMT+09:00 Patrick Mylund Nielsen <span dir="ltr"><<a href="mailto:haskell@patrickmn.com" target="_blank">haskell@patrickmn.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">The Quorum[1] team has been dreaming about such a<br>
Haskell-beginner-friendly bytecode-generating DSL for a very long time.<br>
The user experience of writing applications in a language where pitfalls<br>
are so non-obvious is one of the biggest pain points of Ethereum in general.<br>
<br>
We would warmly welcome something like this, and would definitely look<br>
to use it in Quorum. (Our EVM is the same as public Ethereum.)<br>
<br>
[1]: A permissioned/non-PoW version of Ethereum with high throughput and<br>
privacy - <a href="https://github.com/jpmorganchase/quorum/" rel="noreferrer" target="_blank">https://github.com/<wbr>jpmorganchase/quorum/</a><br>
<span class="im HOEnZb"><br>
On 1/26/2018 11:43 AM, Carter Schonwald wrote:<br>
> Hello Takenobu, <br>
> while theres definitely a lot of haskell code out there that deals with<br>
> ethereum (or implementing it!), i'm not aware of anything targeting the<br>
> evm isa from haskell or any other mature functional programming language<br>
><br>
> On Fri, Jan 26, 2018 at 8:09 AM, Takenobu Tani <<a href="mailto:takenobu.hs@gmail.com">takenobu.hs@gmail.com</a><br>
</span><div class="HOEnZb"><div class="h5">> <mailto:<a href="mailto:takenobu.hs@gmail.com">takenobu.hs@gmail.com</a>><wbr>> wrote:<br>
><br>
>     Hi cafe,<br>
><br>
>     Does anyone know about the code generator from Haskell's syntax to<br>
>     Ethereum VM language (bytecode)?<br>
>     That is, what corresponds to Solidity in Haskell.<br>
><br>
>     Although Solidity is interesting, it's difficult for me to achieve<br>
>     quality and safety.<br>
>     Does such a project already exist?<br>
><br>
>     Regards,<br>
>     Takenobu<br>
><br>
><br>
><br>
>     ______________________________<wbr>_________________<br>
>     Haskell-Cafe mailing list<br>
>     To (un)subscribe, modify options or view archives go to:<br>
>     <a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-<wbr>bin/mailman/listinfo/haskell-<wbr>cafe</a><br>
>     <<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-<wbr>bin/mailman/listinfo/haskell-<wbr>cafe</a>><br>
>     Only members subscribed via the mailman list are allowed to post.<br>
><br>
><br>
><br>
><br>
> ______________________________<wbr>_________________<br>
> Haskell-Cafe mailing list<br>
> To (un)subscribe, modify options or view archives go to:<br>
> <a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-<wbr>bin/mailman/listinfo/haskell-<wbr>cafe</a><br>
> Only members subscribed via the mailman list are allowed to post.<br>
><br>
</div></div></blockquote></div><br></div>