Konrad Malawski

Believing that: Life is Study! - Kintaro Oe (Golden Boy); I live, code and enjoy my passion. java.pl | http://geecon.org | krakowscala.pl | krakowgdg.pl

Konrad is a late-night passionate dev living by the motto "Life is Study!", hakking on the Akka toolkit at Typesafe.
His favourite discussion topics range from distributed systems to capybaras. He's a very active member of the polish IT community, co-leading or founding multiple technology user groups in Kraków. Over the last years he's been presenting at conferences such as: GeeCON, JavaOne SF, JFokus or Devoxx.
In those rare times he's not coding, he spreads the joy of computer science, through helping local user groups and whitepaper reading clubs.

Scala's type system is quite a complex one when you think about it. Turns out that there are above 20 "types of types" with their own names, specific use cases and trade-offs!
 
In this talk we'll deep dive into some of the more interesting types, highlighting why we need them, and where to use their power. For example we'll tackle Type Constructors and Higher Kinds - and why they're not the same thing! We'll also talk about Type Classes, Phantom Types, Structural Typing and others. All with the goal of reaching Type Level Nirvana - or simply learning more about type systems. :-)
 
The talk is targeted at developers who have seen at some Scala, but there's no need to be proficient with it..
Slides
Video ←Back