[Sune Debel] Effect composition without higher kinded types

Sune Debel, Data Scientist at Hypefactors A/S

BIO
Sune is a data scientist and machine learning engineer at Hypefactors and a functional programming enthusiast. Sune is the author of the python library “pfun” which provides data structures and types for statically typed functional programming in Python.

ABSTRACT
The Python “typing” module introduced in Python 3.5 supports parametric polymorphism. This means that we can express many types essential for functional programming, including monads. Unfortunately, the “typing” module doesn't support higher kinded types. This makes it highly impractical to use common approaches for working with composed monads such as monad transformers or tagless final. In this talk I’ll present an alternative technique for composing monads which can be accurately typed without higher kinded types.

---

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 at most 50 (fire regulation).

Regards,

Ramón and Joakim