Scala's Type System, Dependent Types and What It Means To You



While it seems that the magic of Scala's type system has been the center of certain conversations, few people seem to comfortably understand it. Heather Miller, PhD Student at EPFL, kicks off NE Scala 2014 by addressing some of the buzz words, surrounding the topic, being thrown around the community.

Her discussion addresses type classes, the usefulness of dependent types, and is designed to turn all of this academese into English. Heather argues that with the right use cases, the type system isn't just automagical, but helpful, intelligent, and protective as well.

There's more from NE Scala 2014!

Follow along as we post each of the talks from this year's Northeast Scala Symposium.

Published March 8, 2014