© 2020 Strange Loop
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.