Main Content

42: Rise of the dependent types

About the Talk

December 9, 2014 3:15 PM

52 Upper Street, Islington, London, N1 0QH, GB

52 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.

Ratings and Recommendations

This Talk hasn't been rated yet. Sign In to rate Talks.

comments powered by Disqus