Marcin Rzeźnicki


Iterators

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.


←Back

Contact

For general info: info@lambdadays.org
To become a sponsor: wioletta@lambdadays.org