Michael Feathers

A Type Driven Approach to Functional Design

Design is the thing that we all assume that we can do. Once we know the syntax of a language we write code to solve our problem, often in an exploratory way. We are left wondering whether there is a more deterministic route toward our solutions.

In this talk, Michael Feathers will describe an approach toward planning the design of the functional portions of an application by using a variation of Haskell type expression syntax. The advantage of using this syntax is that it lays bare opportunities for refactoring and alternative program structure. It can also guide implementation in a variety of static and dynamic functional languages without being overly prescriptive.

Michael Feathers



Michael Feathers is a Member of the Technical Staff at Groupon. Prior to joining Groupon, Michael was the Chief Scientist of Obtiva, and a Senior Consultant with Object Mentor International. Over the years, Michael has spent a great deal of time helping teams after design over time in code bases. Michael is also the author of the book Working Effectively with Legacy Code (Prentice Hall, 2004).