Pinchflat

Automating Type-Driven Development with (Co)algebras - Juan Manuel Serrano Hidalgo | Lambda Days 25

Media Tasks
Actions

Raw Attributes

Source: CodeSync
  • livestream: false
  • upload_date_index: 98
  • nfo_filepath: /downloads/CodeSync/Season 2025/s2025e120998 - Automating Type-Driven Development with (Co)algebras - Juan Manuel Serrano Hidalgo ｜ Lambda Days 25.nfo
  • description: ✨ This talk was recorded at Lambda Days in June 2025. If you're curious about our upcoming event, check https://lambdadays.org ✨ Automating Type-Driven Development with (Co)algebras Types matter not only for preventing runtime errors but also for guiding implementation. In some cases, they even provide enough information to automatically derive fully verified code from the signature. This derivation proceeds by pure logical reasoning —no need for LLMs here!— in accordance with the well-known Curry-Howard correspondence. This talk will explore this logical process through the lens of recursion schemes. Specifically, the search space for proofs unfolds from the initial proof sequent, while term extraction emerges from folding over the proof tree. For finite search spaces, hylomorphisms offer a brute-force algorithm, while other algorithms require specialized traversals of the search space. Finally, we will outline how to exploit Scala 3 macros and the tagless-final approach to bring these (co)algebraic techniques into practice! Let's keep in touch! Follow us on: 💥BlueSky: https://bsky.app/profile/lambdadays.bsky.social 💥LinkedIn: https://www.linkedin.com/company/lambda-days 💥Facebook: https://www.facebook.com/lambdadays 💥Mastodon: https://genserver.social/codesync 💥Twitter: https://twitter.com/LambdaDays
  • id: 58563
  • uploaded_at: 2025-12-09T14:09:26Z
  • inserted_at: 2026-01-02T20:14:30Z
  • uuid: 9b45f1fe-c6be-4f4f-85ef-4912cdb2dc2c
  • last_error:
  • playlist_index: 7
  • short_form_content: false
  • predicted_media_filepath: /downloads/CodeSync/Season 2025/s2025e120900 - Automating Type-Driven Development with (Co)algebras - Juan Manuel Serrano Hidalgo ｜ Lambda Days 25.mp4
  • media_filepath: /downloads/CodeSync/Season 2025/s2025e120998 - Automating Type-Driven Development with (Co)algebras - Juan Manuel Serrano Hidalgo ｜ Lambda Days 25.mp4
  • original_url: https://www.youtube.com/watch?v=7F9tH8T4TC4
  • updated_at: 2026-01-02T23:57:33Z
  • media_redownloaded_at:
  • source_id: 5
  • title: Automating Type-Driven Development with (Co)algebras - Juan Manuel Serrano Hidalgo | Lambda Days 25
  • matching_search_term:
  • media_downloaded_at: 2026-01-02T23:57:25Z
  • prevent_download: false
  • thumbnail_filepath: /downloads/CodeSync/Season 2025/s2025e120998 - Automating Type-Driven Development with (Co)algebras - Juan Manuel Serrano Hidalgo ｜ Lambda Days 25-thumb.jpg
  • media_size_bytes: 146286614
  • duration_seconds: 1358
  • metadata_filepath: /downloads/CodeSync/Season 2025/s2025e120998 - Automating Type-Driven Development with (Co)algebras - Juan Manuel Serrano Hidalgo ｜ Lambda Days 25.info.json
  • media_id: 7F9tH8T4TC4
  • prevent_culling: false
  • subtitle_filepaths: en/downloads/CodeSync/Season 2025/s2025e120998 - Automating Type-Driven Development with (Co)algebras - Juan Manuel Serrano Hidalgo ｜ Lambda Days 25.en.srt
  • culled_at:
Worker
State
Scheduled At
Pinchflat.Downloading.MediaDownloadWorker completed