Back To Workshops
Murray Hill - 2 Day Workshop

Monday/Tuesday June 18th & 19th, 09:00-16:00

Type-driven Development

About this Workshop

Type-driven Development has gotten a lot of steam over the past few years. Like many new trends in software, type-driven development looks good intellectually but can it help real businesses deploy real products and make real money today? My answer is an emphatic 'Yes, it can!' This workshop aims to provide a basic knowledge of what it means for an application to be type-driven as well as an understanding of what it takes to create a Scala application in the type-driven discipline.

Required Knowledge

  • Familiarity with type systems and the difference between the type level and the value level
  • Understanding of pure functions
  • No libraries or plugins will be used

Learning Objectives

  • Understanding of the implicit keyword and how it can be used to make business logic more easily read
  • What to use Type Classes for and when to deploy them effectively
  • How to abstract over arity at the type level
  • How to build a core application of type driven "magic" such that less technical developers (or non-developers) can easily get to writing the business logic


Marcus Henry, Jr.

I have been developing software professionally since 2010. At the end of 2013, I Googled "a better java" and that's how I stumbled upon the Scala programming language. Since then I've really gotten into strongly-typed, purely functional development. Currently, I work in center city Philadelphia for IntegriChain writing typeful, functional Scala applications for life sciences.