Philip Nilsson: Algebraic Patterns

When moving to a functional style of programming it is a common experience to find that the programs we write are less likely to contain bugs and other undesirable behaviour. There are many reasons for this. Immutability and lack of state lead to programs that are easier to reason about. Strong type systems can help ensure that the parts which comprise our programs are glued together in a coherent way.

Another important dimension is the focus on abstractions whose semantics are well-behaved. For this reason, structures such as Monoids and Monads are equipped with associated sets of laws, such as the Monad Laws. These make sure that small units of functionality compose predictably into more complex behaviour.

In this talk we'll learn specification of functional programs using algebraic laws. We'll focus on the natural intuitions that underly the sometimes daunting looking mathematics involved and learn instead to read such specification using "patterns", similar to the Design Patterns of OOP.

To make things more concrete we'll provide coding examples along the way.

Speaker: Philip Nilsson (https://www.meetup.com/members/76051582/)

Blog: https://philipnilsson.github.io/Badness10k/

https://secure.meetupstatic.com/photos/member/5/a/c/0/highres_261563232.jpeg

---

We have set up a collaboration with Prosa, who generously offered to provide a location for our regular meetups. Please see Prosa's Calendar for more details: Prosa Calendar (https://www.prosa.dk/kalender/hele-kalenderen/)

The ADA meeting room fits about 25 people and if we need more space, we can use the canteen (PASCAL), which has a capacity of +50.

Regards,

Ramón and Joakim