Scala fs2: fromFreeC和代数做什么？

Question

当我研究fs2流操作的实现时，我经常看到在那里使用fromFreeC和Algebra。

fromFreeC 和 Algebra 到底做了什么？为什么和什么时候需要他们？

下面是一个示例，一个fs2流操作eval，它评估效果并返回有效流。

def eval[F[_], O](fo: F[O]): Stream[F, O] =
   fromFreeC(Algebra.eval(fo).flatMap(Algebra.output1))

Answer 1

在版本2.1.0的源代码中，类Pull、Stream和FreeC定义如下：

class FreeC[F[_], +O, +R]
class Pull[+F[_], +O, +R](free: FreeC[Nothing, O, R]) 
class Stream[+F[_], +O](free: FreeC[Nothing, O, Unit])

关键问题是Stream和Pull在F[_]参数上是协变的，而FreeC是不变的。因此，不能将F参数Stream或Pull直接应用于包装值的FreeC类型。为此，我们在这些Nothing字段中使用Nothing作为FreeC的参数，并将FreeC[Nothing, O, Unit]与FreeC[F O, Unit]之间的asInstanceOf转换应用到FreeC[F O, Unit]，然后再次返回。

但是，在这个拉请求中我们在F[_]上创建了类FreeC协变，就像Stream和Pull一样，所以我们只需定义：

class FreeC[+F[_], +O, +R]
class Pull[+F[_], +O, +R] (free: FreeC[F, O, R])
class Stream[+F[_], +O] (free: FreeC[F O, Unit])

因此，fromFreeC函数被删除。这包括在发布版的2.2.0中。

Nothing的使用利用了Scala-2类型的系统特性：Any和Nothing都是多义类型，因此它们可以作为表单A、F[_]、A[_[_]]等类型参数的参数。