Intro to Category Theory and Functional Programming

Описание к видео Intro to Category Theory and Functional Programming

9/1/20 meetup

The categorical data (https://www.categoricaldata.net) and applied category theory (http://www.appliedcategorytheory.org) communities are expanding to San Francisco. We've been spending a lot of time on non-traditional applications of category theory recently, so for this talk I thought I'd lecture on the traditional connection between functional programming and category theory via catamorphisms and monad comprehension: https://db.inf.uni-tuebingen.de/stati...

Комментарии

Информация по комментариям в разработке

Похожие видео