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 2021: November Edition (Online Conference on 2nd - 5th November 2021)
- Journey to the Centre of the JVM (SkillsCast recorded in May 2021)
- Connecting the dots - building and structuring a functional application in Scala (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.