Vortrag: Composing Side Effects
Programming language paradigms all have a different set of interesting effects, in this presentation I will show you how to treat effects as types and compose them to "effect sandwiches" aka. monad transformers in Haskell.
Imperative main-stream languages allow a function to have any effect on the machine itself, whereas in pure functional languages you need to invite each effect type explicitly. Controlled effects allow explicit parallelism and pure mathematical function can be run in parallel by giving semi-implicit instructions or structures. Undesired effects that have not been invited through types often cause critical failure in security applications.
This talk wants you to take control of your applications' effects or when you are lazy as in functional, give you an idea how to combine monadic libraries.
Info
Tag:
14.06.2014
Anfang:
20:15 Uhr
Dauer:
01:30
Room:
Movie room
Track:
Lecture
Sprache:
en
Links:
Dateien
Concurrent events
- Lecture room
- Doppel-D: Digitale Didaktik
Referenten
 |
publicname |