Algebraic Effects
Posts 2
Algebraic theories 笔记
Andrej Bauer 的 Lecture 1 的笔记。
视频和资料：https://www.cs.uoregon.edu/research/summerschool/summer18/topics.php#Bauer
简介：本次讲座介绍数学（Algebraic theories），可参考文章 What is algebraic about algebraic effects and handlers? 的第 1 节
简单接触 Algebraic Effects
TL;DR：简而言之，代数效应是一种机制，允许在不破坏函数式编程纯度的前提下，更加结构化和组合化地处理副作用。