laarhoven

代数效应似乎是函数式编程中的一种圣杯。当我在这里说“代数效应”时，我的意思是：将任何效应视为程序中的值或类型，同时还有一些简单的运算（代数）来组合效应。这实际上是什么样子的？想到的两种语言是 Idris 和 PureScript。当您使用他们的效果支持进行编程时，您编写了 monadic 代码，但本质上有一个您可以从......