Type System: The Beauty And The Beast

Type System plays an important role in building type-safe applications which reduce immense runtime exceptions and developer mistakes. This sophisticated system is leverage by Scala’s most famous functional libraries like Scala-Cats and ScalaZ. This feature-rich system allows implementing pure Functional programming on JVM. It is a beast due to its complex syntax as it prevents developers to explore its beautiful aspects like partial types in Scala. In this talk, we’d be taming the beast and use its beauty to solve real-life issues faced during coding. Our examples will be based on Generics, Constraints, Types Lambda, and Kind Projector plugin.

Following would be the learning objectives of the talk:
1. Practically use cases of type system via real-life coding examples.
2. Implementing custom Higher Kinded Types and handling partial types via Type Lambda and Kind Projector Plugin.

Copyright © 2018-2019 Lunaya Consulting d.o.o.