Building a Developer-Friendly Language for Cardano Smart Contracts

The chapter explores the development of a new language for the Cardano community, aiming to simplify smart contract creation through user-friendly events and a modern language. It discusses the technological aspects of smart contracts on Cardano, including compilation targets, node functionality, and design considerations. Additionally, it delves into the functional philosophy of Cardano, the integration of dependent types in smart contracts for enhanced security, and the design choices for easy formal verification.