{"repo":"yolc-dev/yul-dsl-monorepo","free":true,"listed":false,"github":"https://github.com/yolc-dev/yul-dsl-monorepo","clone":"git clone https://github.com/yolc-dev/yul-dsl-monorepo.git","description":"The monorepo of YulDSL (a DSL for Solidity/Yul), YulDSL/Haskell (Embedding YulDSL in Haskel), and Yolc (a safe, expressive, fun language for Ethereum, powered by YulDSL/Haskell).","language":"Haskell","stars":40,"topics":["category-theory","compiler","dsl","haskell","linear-types","solidity","yul"],"license":null,"category":"blockchain-web3","readme_excerpt":"Yolc - A Safe, Expressive, Fun Language for Ethereum ==================================================== The key motivation behind Yolc is to strike a balance between the following values for building Ethereum smart contracts. Safe Yolc is purely functional with linear type safety, made for the Ethereum virtual machine. What does purely functional linear type safety mean here? Read more here. Expressive Yolc embeds itself in the Haskell language before being compiled into Solidity/Yul code. Why does expressiveness matter? Read more here. Fun Yolc allows you to write safe code in production, a joyful experience for super coders. Check out these example codes. [!TIP] Yolc is a compiler program for \"YulDSL/Haskell.\" YulDSL is a domain-specific language (DSL) based on category theory for Solidity/Yul. YulDSL can embed itself in different languages, with \"YulDSL/Haskell\" being the first of its kind. Curiously, the name \"yolc\" sounds similar to \"solc,\" the compiler program for \"Solidity/Yul.\" Do not worry if you don't understand some of these concepts. You may start with Yolc right away and have a rewarding, fun experience writing safer production smart contracts. However, if you do feel adventurous and want to delve into the inner workings of YulDSL, read here. [!CAUTION] 🚧 While this project is still work in progress 🚧, currently it is of /technical preview/ version, read the introduction Contact me at info@yolc.dev or join the matrix room if you want to learn more! ----------","default_branch":null,"files":null,"tree":[],"storefront":"/r/yolc-dev","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/yolc-dev/yul-dsl-monorepo/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}