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)
- YOW! Lambda Jam 2022 (Online Conference on 1st - 30th May 2022)
- Steve Poole presents Log4Shell : Armageddon or Opportunity? (Online Meetup on 26th January 2022)
- Not My Type (SkillsCast recorded in November 2021)
- Journey to the Centre of the JVM (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.