«Idris for (im)practical Scala Programmers», Marcin Rzeźnicki

I will show how value-dependent types known from Idris can be used in Scala development by explaining how to express idiomatic Idris code in Scala. Audience will not only be able to learn a bit of the former language and its unique approach to type-safety, but also those with some Scala experience will see that VDT can be to a great extent simulated in the latter. Ultimately, I will try to elaborate on the question of if and how various forms of dependent typing are useful for a contemporary programmer.

Watch Speakers speeches at ScalaUA2018

Leave a Reply

Your email address will not be published. Required fields are marked *