Cuhdmidthiaumixcyafb
SkillsCast

Exploiting Dependent Types for Safer, Faster Code

10th December 2015 in London at Business Design Centre

There are 36 other SkillsCasts available from Scala eXchange 2015

Please log in to watch this conference skillscast.

Https s3.amazonaws.com prod.tracker2 resource 41088130 skillsmatter conference skillscast o9nohu

Scala's type system allows you to enforce compile-time constraints on your programs, and to take advantage of these constraints to help reason about your code. Yet you still frequently encounter situations where extracting a value from a map is not guaranteed to succeed, or mapping across a set of cases is not guaranteed to be exhaustive. With dependent types you can make operations like these completely safe by construction, in the process eliminating entire classes of errors, and furthermore you can do this without complicating user code. Through this talk you will discover several simple and intermediate examples using dependent types, and Jon will give you a brief outline of some of the challenges involved in implementing typesafe libraries with dependent types in Scala, but the majority of the talk will be accessible to all Scala users.

YOU MAY ALSO LIKE:

Exploiting Dependent Types for Safer, Faster Code

Jon Pretty

Jon has been having fun riding the bleeding edge of Scala for over a decade, and he's not finished yet. While he's not travelling the world attending Scala conferences, or organizing Scala World, Jon spends his time working on a variety of open-source Scala libraries, and providing professional Scala training services.

SkillsCast

Please log in to watch this conference skillscast.

Https s3.amazonaws.com prod.tracker2 resource 41088130 skillsmatter conference skillscast o9nohu

Scala's type system allows you to enforce compile-time constraints on your programs, and to take advantage of these constraints to help reason about your code. Yet you still frequently encounter situations where extracting a value from a map is not guaranteed to succeed, or mapping across a set of cases is not guaranteed to be exhaustive. With dependent types you can make operations like these completely safe by construction, in the process eliminating entire classes of errors, and furthermore you can do this without complicating user code. Through this talk you will discover several simple and intermediate examples using dependent types, and Jon will give you a brief outline of some of the challenges involved in implementing typesafe libraries with dependent types in Scala, but the majority of the talk will be accessible to all Scala users.

YOU MAY ALSO LIKE:

About the Speaker

Exploiting Dependent Types for Safer, Faster Code

Jon Pretty

Jon has been having fun riding the bleeding edge of Scala for over a decade, and he's not finished yet. While he's not travelling the world attending Scala conferences, or organizing Scala World, Jon spends his time working on a variety of open-source Scala libraries, and providing professional Scala training services.

Photos