I’m a compulsive designer of strong typed functional, logic and object-oriented programming languages! The rest of the time, I'm software developer working really hard to produce usable and used applications.
During a short short trip in type-land we are going to see how some type citizens can be highlighted as high order “transformation” functions. Step by step we will discover or rediscover identity, functor, applicative, monad then composition, pipelining and finally kliesli composition.
Our conference is dedicated to providing a harassment-free conference experience for everyone, regardless of gender, gender identity and expression, age, sexual orientation, disability, physical appearance, body size, race, or religion (or lack thereof). We do not tolerate harassment of conference participants in any form. Sexual language and imagery is not appropriate for any conference venue, including talks, workshops, parties, Twitter and other online media. Conference participants violating these rules may be sanctioned or expelled from the conference without a refund at the discretion of the conference organisers.