An Introduction to Dependent Typing in Scala - Advanced
Please log in to watch this conference skillscast.
Dependent typing is at the forefront of much programming language research, not least the DOT calculus being planned for the future of Scala. But what is dependent typing exactly? Why is it important, and what can actually be done with it now? Why should the average Scala developer care?
Dependent typing allows you to prove the correctness of our programs in ways that you couldn’t otherwise do. Complex data structures and algorithms are prone to error-ridden implementations - getting them right is hard. With dependent typing, you can encode invariants in a way the compiler can check for you, easing the burden of implementation and preventing bugs.
Scala already has good support for dependent typing, perhaps more than any other mainstream language. Whilst the syntax is not trivial, learning to use dependent typing techniques is easier than you might think, and it is immediately applicable to many areas.
The Call for Papers is now open for Scala eXchange 2017! Submit your talk for the chance to join a stellar line-up of experts on stage. Find out more.
Get your tickets for Scala eXchange 2017!
YOU MAY ALSO LIKE:
- Lightning Talks 1 (SkillsCast recorded in December 2015)
- Real-time Systems with Spark Streaming and Kafka (in London on 30th September - 1st October 2019)
- µCon London 2020 - The Conference on Microservices, DDD & Software Architecture (in London on 27th - 29th May 2020)
- Keynote Evening by Brian Ketelsen! (in London on 17th October 2019)
- Lightbend Scala Language - Professional (in London on 9th - 10th September 2019)
- Lightbend Scala Language - Expert (in London on 11th - 13th September 2019)
- Scala eXchange London 2019 (in London on 12th - 13th December 2019)
- Scalax2gether Community Day 2019 (in London on 14th December 2019)
- London Java Community August Meetup (in London on 28th August 2019)
- London Java Community August (in London on 28th August 2019)
- The Last Frontier and Beyond (SkillsCast recorded in August 2019)
- Why API Design Matters, and Why Yours Sucks! (and mine sucks too!) (SkillsCast recorded in June 2019)
Thanks to our sponsors
An Introduction to Dependent Typing in Scala - Advanced
Nick Pollard
I started learning Scala almost 4 years ago, quickly getting to grips with the more functional aspects and developing an appetite for the type-level programming styles it enables. I have been writing Scala in Industry full-time since early 2013, and pushed Scala heavily at my previous organisation (Scotiabank). I am active in the Scala open source community, especially with the Typelevel organization.
Please log in to watch this conference skillscast.
Dependent typing is at the forefront of much programming language research, not least the DOT calculus being planned for the future of Scala. But what is dependent typing exactly? Why is it important, and what can actually be done with it now? Why should the average Scala developer care?
Dependent typing allows you to prove the correctness of our programs in ways that you couldn’t otherwise do. Complex data structures and algorithms are prone to error-ridden implementations - getting them right is hard. With dependent typing, you can encode invariants in a way the compiler can check for you, easing the burden of implementation and preventing bugs.
Scala already has good support for dependent typing, perhaps more than any other mainstream language. Whilst the syntax is not trivial, learning to use dependent typing techniques is easier than you might think, and it is immediately applicable to many areas.
The Call for Papers is now open for Scala eXchange 2017! Submit your talk for the chance to join a stellar line-up of experts on stage. Find out more.
Get your tickets for Scala eXchange 2017!
YOU MAY ALSO LIKE:
- Lightning Talks 1 (SkillsCast recorded in December 2015)
- Real-time Systems with Spark Streaming and Kafka (in London on 30th September - 1st October 2019)
- µCon London 2020 - The Conference on Microservices, DDD & Software Architecture (in London on 27th - 29th May 2020)
- Keynote Evening by Brian Ketelsen! (in London on 17th October 2019)
- Lightbend Scala Language - Professional (in London on 9th - 10th September 2019)
- Lightbend Scala Language - Expert (in London on 11th - 13th September 2019)
- Scala eXchange London 2019 (in London on 12th - 13th December 2019)
- Scalax2gether Community Day 2019 (in London on 14th December 2019)
- London Java Community August Meetup (in London on 28th August 2019)
- London Java Community August (in London on 28th August 2019)
- The Last Frontier and Beyond (SkillsCast recorded in August 2019)
- Why API Design Matters, and Why Yours Sucks! (and mine sucks too!) (SkillsCast recorded in June 2019)
Thanks to our sponsors
An Introduction to Dependent Typing in Scala - Advanced
Nick Pollard
I started learning Scala almost 4 years ago, quickly getting to grips with the more functional aspects and developing an appetite for the type-level programming styles it enables. I have been writing Scala in Industry full-time since early 2013, and pushed Scala heavily at my previous organisation (Scotiabank). I am active in the Scala open source community, especially with the Typelevel organization.