Yolc For Ethereum
@yolc_dev
Yolc is a safe, expressive, fun language for Ethereum, powered by YulDSL/Haskell.
Define multi-level hash map at arbitrary storage slot: This is similar to and compatible with Solidity's "mapping (address -> mapping (address -> uint256))".
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…
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…
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.
A short article on "data versioning" and how it catches errors at compile time with two examples. yolc.dev/docs/concepts/…
Haskell makes Yolc expressive. A short article on what "Embedded DSL (EDSL) in Haskell" is for Yolc. yolc.dev/docs/concepts/…
ethprague.com/schedule @EthPrague scheudle out. 27th May, Tuesday morning, 10:30. Yolc's live demo is prepared for you.
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."
"Every complex problem has at least one solution that is simple, easy and WRONG." Use Yolc.