SkillsCast
42: Rise of the dependent types
3
SkillsCast
About the Speaker
Photos
Please log in to watch this conference skillscast.
In simple words, this project will let scala programmers use values at type-level, allowing a lot of compelling use-cases. The talk will show where and how literal-based singleton types can be (and in some cases already are) useful.
YOU MAY ALSO LIKE:
- There's a Prolog in your Scala! (SkillsCast recorded in December 2013)
- ScalaCon 2022: Opening Keynote Networking Party (in London on 4th October 2022)
- ScalaCon 2022 (Online Conference on 4th - 8th October 2022)
- Developer Productivity Engineering - Next Big Thing in Software Development (in London on 29th June 2022)
- LJC Lunchtime Lighting Talks (Online Meetup on 1st July 2022)
- Not My Type (SkillsCast recorded in November 2021)
- A History of Enterprise Monads (SkillsCast recorded in May 2021)
Thank you to our sponsors and partners
Platinum
Gold
Silver
Bronze
42: Rise of the dependent types
George Leontiev
George became interested in Scala right after he graduated from university. As soon as the opportunity presented itself, he switched to full-time Scala programming, and has never looked back. Nowadays he's working on backends at SoundCloud, and contributing to opensource on his free time.