热度排名 #1094

代数效应与处理器的「代数」在哪里？（一）

What's Algebraic About Algebraic Effects and Handlers? [1/2] - Andrej Bauer - OPLSS 2018

从计算过程中可以执行的操作开始，留意讲者怎样用方程约束这些操作，再用处理器赋予它们具体的解释。

OPLSS · 1 串讨论 · 热度 2.461

讨论出处