Please log in to watch this conference skillscast.

Scala is a language with a very sophisticated type system. It is even said to be the "poor-man's prolog". As part of his hacker-time (20% time program) at SoundCloud, George collaborated with Eugene Burmako to explore the possibility of adding an accessible way to use literal-based singleton types to scala.

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)
• Lightbend Scala Language - Professional (in London on 9th - 10th September 2019)
• Lightbend Scala Language - Expert (in London on 11th - 13th September 2019)
• Haskell eXchange 2019 (in London on 10th - 11th October 2019)
• Scala eXchange London 2019 (in London on 12th - 13th December 2019)
• Workshop: Improving compile times (in London on 23rd July 2019)
• London Java Community July (in London on 24th July 2019)
• Why API Design Matters, and Why Yours Sucks! (and mine sucks too!) (SkillsCast recorded in June 2019)
• The Elements of Tagless Final Style (SkillsCast recorded in May 2019)