Functional programming enables the modeling of business domains based on a type system. This allows to prevent invariants already at runtime and customers have the possibility to give feedback directly to the code.
In this workshop you can try it out yourself. We model a domain and check the resulting type descriptions against a set of business rules. We will take a look at tactical design patterns in Functional Programming and try out a first implementation.