Prosecco Seminar -Interaction from monadic interfaces
- Date : 4/12/2018
- Place : JLL 2, bât C
- Guest(s) : Exequiel Rivas
- Organiser(s) : Equipe Prosecco
Interaction from monadic interfaces
Exequiel Riva s
An interface is a point in which two systems interact. A monadic interface is a concrete description of the operations by which a computation can interact with an environment. Based on folklore ideas from the functional programming community, we will see how interfaces, computations and environments are represented in a modular way using type constructors, free monads and cofree comonads. Interaction of computations and environments will come for free from this description.