在Haskell中,sort的类型为(Functor io, MonadIO io, Ord a) => Shell a -> io [a]。它以Shell monad的形式接收流,将其排序为列表,然后将其包装在MonadIO??中。
这在我看来是违反直觉的。我的初学者说,MonadIO只应该在与外部世界交互时使用,而sort不需要这样做。
我原以为sort是(Ord a) => Shell a -> Shell a,所以它很适合于流。
这是包作者的疏忽,还是我不理解如何使用sort?
发布于 2022-06-07 16:45:50
MonadIO io => io [a]比Shell a要好,因为Shell是一个MonadIO实例,select将列表举到Shell。因此,如果您愿意,可以编写您自己的更具体的sort,它的类型是您喜欢的,由turtle提供的sort实现:
sortStream :: Ord a => Shell a -> Shell a
sortStream = sort >=> selecthttps://stackoverflow.com/questions/72525754
复制相似问题