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 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).