是否可以找到ZIO Stream的大小,我有两个流,想要找到两者之间的内积,我的问题是如何找到大小以迭代它们。我使用map和foldMap解决了问题,但我想检查两种方法之间的性能? 这是我使用Fold and Map的工作:
settings.py
输出:60
是否可以找到ZIO Stream的大小,我有两个流,想要找到两者之间的内积,我的问题是如何找到大小以迭代它们。我使用map和foldMap解决了问题,但我想检查两种方法之间的性能? 这是我使用Fold and Map的工作:
settings.py
输出:60