This is the first part of a series explaining the next-generation Haskell effect library, Heftia. Heftia: The Final Word in Haskell Effect System Libraries - Part 1.1 sayo-hs.github.io/blog/heftia/he…

Another future benefit of being an embedded DSL is that the same code can be used as indexer logic. This will be an equivalent to "isomorphic client-server-stack": an "isomorphic contract-indexer-stack."

ethprague.com/schedule ETHPrague scheudle out. 27th May, Tuesday morning, 10:30. Yolc's live demo is prepared for you.

Define multi-level hash map at arbitrary storage slot: This is similar to and compatible with Solidity's "mapping (address -> mapping (address -> uint256))".

Haskell makes Yolc expressive. A short article on what "Embedded DSL (EDSL) in Haskell" is for Yolc. yolc.dev/docs/concepts/…

A short article on "data versioning" and how it catches errors at compile time with two examples. yolc.dev/docs/concepts/…

Yolc is born for a different purpose: No: Simple, Easy, Wrong. Yes: Elegant, Coherent, Correct. More on: addressing essential complexity. Lesss on: creating accidental complexity.

The access control part of the contracts is inherently not suitable for fuzzing or invariant testing. Yolc will introduce a type-level ACL (access control list) for the storage APIs: If applied, you will need to supply the necessary "runtime-witness" as an ACL to have write

Pattern matching on locally-declared supported networks:

A stunt contract is the one that is in the ERC1967 implementation slot, while the actual logic contract in the fallback contract might be different. Yolc uses this technique to make the contract interactable on Etherscan, e.g. basescan.org/address/0x71D9…

Echidna is now using hevm, our tool, to perform an awesome combination of symbolic execution and fuzzing. In my view, this is a very cool and exciting way of using hevm as a library: gustavo-grieco.github.io/blog/echidna-s… Thanks to Gustavo Grieco for the amazing work and write-up!