AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
Software Unscripted
Compiling Smart Contracts with Lucas Rosa
Apr 21, 2024
Compiler engineer Lucas Rosa discusses tradeoffs in language design, property-based testing, syntax familiarity, compile-time evaluation in smart contracts. Talks about community growth, Cardano smart contracts, syntax complexities, managing execution budgets, and fuzzing in programming languages.
59:30
Episode guests
AI Summary
AI Chapters
Episode notes
Podcast summary created with Snipd AI
Quick takeaways
- Integration of property-based testing in Aiken language enhances robust testing capabilities for financial smart contracts.
- Aiken's purity focus in virtual machine design enhances security by minimizing potentially harmful operations.
Deep dives
Aiken's Focus on Property-Based Testing and Language Design Trade-Offs
Aiken, a programming language for smart contracts, integrates property-based testing into its syntax, a unique feature not commonly found in other languages. This decision stemmed from the core team's expertise in functional programming and the necessity for thorough testing utilities in the financial smart contract domain. By prioritizing property testing from the outset and leveraging knowledge from languages like Haskell, Aiken ensures robust testing capabilities embedded directly in the language.
Get the Snipd
podcast app
Unlock the knowledge in podcasts with the podcast player of the future.
AI-powered
Discover
highlights
Listen to the best highlights from the podcasts you love and dive into the full episode
Save any
moment
Hear something you like? Tap your headphones to save it with AI-generated key takeaways
Share
& Export
Send highlights to Twitter, WhatsApp or export them to Notion, Readwise & more
AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
Discover
highlights
Listen to the best highlights from the podcasts you love and dive into the full episode