Chasing Arrows, in categories containing functors and monads by Jim NEWTON et Uli

Talk's page 👉 https://scala.io/talks/chasing-arrows-functors-monads

Description:
At EPITA (www.epita.fr), we recently presented a course in Category Theory for Programmers (ct4p), where we presented Categories with a mathematical foundation. To make everything make sense, we culminated the course with a history of mapping functions in Lisp and other functional programming languages. Simple lists from programming languages of the 1980s have be generalized in two different, incompatible ways:

1. powerful list manipulation libraries
2. functors and monads

We used Scala as a vehicle to develop commutative diagrams for mapping functions and showed how flatMap makes the diagrams in a Kleisli category commute.

This presentation was judged as illuminating for the mathematicians helping them understand the programming perspective, and also illuminating for the programmers helping them understand what monad are and how they relate to Category Theory.

This ScalaIO talk will be a overview of the EPITA CT4P course, with emphasis on commutation diagrams and simple Scala programming. The talk will be accessible to intermediate programmers of Scala, Python, Lisp and other languages.

Видео Chasing Arrows, in categories containing functors and monads by Jim NEWTON et Uli канала ScalaIO FR