Unconference

on YouTube ↗01h 08m

" summary

Survey of concrete outcomes and tools: a research demo shows higher inductive types in Agda letting data types encode equalities (e.g. plus and minus zero identified) so the compiler rejects invalid functions; a Swift library emulates higher‑kinded types, adds effects, optics and testing support; Scala patterns promote tagless‑final and type‑class abstractions for interpreters and laws; a production migration to Scala + Akka ships a feature in 500 lines of Scala, cuts infrastructure from 16 legacy nodes reduced to 8, and grows the team while dropping incidents.

AI-written summary · about

" chapters (6)

1. 0:00Start
2. 0:14Speaker 1 (begins at.
3. 10:48Speaker 2 (begins at.
4. 21:42Speaker 3 (begins at.
5. 38:22Speaker 4 (begins at.
6. 54:58Speaker 5 (begins at.

" related talks

• 35mIntroducing Typelevel Scala into an OO environmentMarcus Henry · Typelevel Summit Philadelphia 2016
• 22mScale By The Bay 2018 Unconference: Gabriel ClaramuntGabriel Claramunt · Scale By The Bay 2018
• 46mTesting in the world of Functional ProgrammingLuka Jacobowitz · Lambda World Cádiz 2018
• 41mThe Dialectics of Type-Level ProgrammingAaron Levin · Lambda World 2016
• 25mScale By The Bay 2018 Unconference: Joe KachmarJoe Kachmar · Scale By The Bay 2018
• 44mTelling the Truth with TypesChristopher Davenport · Typelevel Summit Philadelphia 2019
• 02h 49mFrom Java to Scala 3, from Lambdas to Functional Programming: More Readable, More Expl...Jonathan winandy, Ugo Bourdon · Devoxx France 2023
• 31mBoring use cases for exciting typesItamar Ravid · Lambda World Cádiz 2018