asd*_*234 2 monads haskell functor
给定一个类型列表IO [Double],我希望能够检查列表是否具有所需的长度.
我猜我需要在这里使用仿函数,但我不明白如何定义它.我是否编写了长度函数的仿函数实例？或者我编写一个使用长度函数的数据类型的仿函数实例fmap？
Monads,仿函数等对我来说都是新手.
ama*_*loy 10
类型的值IO [Double]没有长度,因为它不是双打列表,而是IO动作,执行时将生成双打列表.所以,写一个类型的函数是不可能的IO [a] -> Int.
但是,您可以轻松编写类型的函数IO [a] -> IO Int,这很简单fmap length.