We’re working on a library for using Haskell as a “metalanguage” for generating EVM bytecode.
To a first approximation it’s just using the do notation to write EVM assembly.
But since we have all of Haskell available as a “macro” language, we can start to build up abstractions, and hopefully improve on LLL (which is a very idiosyncratic language, and far from being a real Lisp).
We don’t yet have anything really public, but you can see an example of very simple use here:
We’re working on a library for using Haskell as a “metalanguage” for generating EVM bytecode.
To a first approximation it’s just using the
donotation to write EVM assembly.But since we have all of Haskell available as a “macro” language, we can start to build up abstractions, and hopefully improve on LLL (which is a very idiosyncratic language, and far from being a real Lisp).
We don’t yet have anything really public, but you can see an example of very simple use here:
https://github.com/dapphub/ds-weth/blob/master/src/weth4.hs
[Comment removed by author]
Thanks! I think I’ll make a post here once we have a preliminary release, which I hope is, um, next week maybe.
That will include a Keccak-256 helper for calculating those numbers at compile time!