About the Talk
December 9, 2014 3:15 PM
52 Upper Street, Islington, London, N1 0QH, GB52 Upper Street, Islington, London, N1 0QH, GB
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.