Zjaggsb8apahger3z6fz
SkillsCast

How to Program the Type System

14th December 2017 in London at Business Design Centre

There are 53 other SkillsCasts available from Scala eXchange 2017

Please log in to watch this conference skillscast.

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

Scala has a rich static type system which provides powerful features such as implicits and typeclasses.

In this talk, you will explore a real world use case combining typeclasses, literal types, shapeless and scala.meta to program the type-system to understand and validate simple SQL queries.The resulting solution will ensure they match a given schema without requiring a database connection!!

The code examples are based on Troy, an open-source Cassandra driver which allows developers to paste raw queries within Scala code in a way such that they get compile time schema validation and derivation of case-class marshallers for free.

The talk targets established Scala developers who would like to know more about advanced Scala features and libraries. You will learn how to program the type system, use HLists, and augment all of that using a pinch of scala.meta on the top!

Have a sneak peek at the code examples here.

YOU MAY ALSO LIKE:

Thanks to our sponsors

How to Program the Type System

Tamer AbdulRadi

Tamer is a Senior Software Engineer at Disney Streaming Services, building and maintaining distributed systems armed with nothing but Scala, types and the power of functional programming.

SkillsCast

Please log in to watch this conference skillscast.

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

Scala has a rich static type system which provides powerful features such as implicits and typeclasses.

In this talk, you will explore a real world use case combining typeclasses, literal types, shapeless and scala.meta to program the type-system to understand and validate simple SQL queries.The resulting solution will ensure they match a given schema without requiring a database connection!!

The code examples are based on Troy, an open-source Cassandra driver which allows developers to paste raw queries within Scala code in a way such that they get compile time schema validation and derivation of case-class marshallers for free.

The talk targets established Scala developers who would like to know more about advanced Scala features and libraries. You will learn how to program the type system, use HLists, and augment all of that using a pinch of scala.meta on the top!

Have a sneak peek at the code examples here.

YOU MAY ALSO LIKE:

Thanks to our sponsors

About the Speaker

How to Program the Type System

Tamer AbdulRadi

Tamer is a Senior Software Engineer at Disney Streaming Services, building and maintaining distributed systems armed with nothing but Scala, types and the power of functional programming.

Photos