تقرير
Category Theory for Programming
| العنوان: | Category Theory for Programming |
|---|---|
| المؤلفون: | Ahrens, Benedikt, Wullaert, Kobe |
| سنة النشر: | 2022 |
| المجموعة: | Computer Science Mathematics |
| مصطلحات موضوعية: | Computer Science - Programming Languages, Mathematics - Category Theory |
| الوصف: | In these lecture notes, we give a brief introduction to some elements of category theory. The choice of topics is guided by applications to functional programming. Firstly, we study initial algebras, which provide a mathematical characterization of datatypes and recursive functions on them. Secondly, we study monads, which give a mathematical framework for effects in functional languages. The notes include many problems and solutions. Comment: Source code and updates available from https://github.com/benediktahrens/CT4P |
| نوع الوثيقة: | Working Paper |
| URL الوصول: | http://arxiv.org/abs/2209.01259 |
| رقم الأكسشن: | edsarx.2209.01259 |
| قاعدة البيانات: | arXiv |
| الوصف غير متاح. |