SkillsCast coming soon.

Scala has a powerful type system that allows many properties of a program to be verified at compile-time. Do you still think of types as Int, String and Object? Types like ""Fold[Nat, ({ type L[X <: HList, Z <: Nat] = Succ[Z] })#L, Nat._0]"" are only a small step away. You can have the compiler perform computations on natural numbers, enforce the sizes of collections and always get the correct element type out of a heterogeneous list. All of that happens at compile-time without impacting the runtime performance of your code.

This introduction to type-level programming will show you a step-by-step translation from value-level computations to type-level computations. You will learn what mechanisms you can use to structure your code and what limits Scala puts on the expressiveness of types.

The talk is based on my type-level experiments in github.

YOU MAY ALSO LIKE:

• Compiling Collections to SQL with Slick (SkillsCast recorded in December 2017)
• Fast Track to DevOps Fundamentals (in London on 23rd - 24th September 2019)
• CloudNative London 2019 (in London on 25th - 27th September 2019)
• Converting Architectural Requirements into Code using CloudFormation (in London on 18th September 2019)
• Lightbend Scala Language - Professional (in London on 9th - 10th September 2019)
• Lightbend Scala Language - Expert (in London on 11th - 13th September 2019)
• Haskell eXchange 2019 (in London on 10th - 11th October 2019)
• Scala eXchange London 2019 (in London on 12th - 13th 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)