gpt4 book ai didi

haskell - 在 GHCI 中映射 IO [Int]

转载 作者:行者123 更新时间:2023-12-04 00:53:25 24 4
gpt4 key购买 nike

我想知道如何在 GHCI 中映射 IO [Int]

λ: :{
λ| th :: IO [Int]
λ| th = pure [1, 2, 3, 4]
λ| :}
λ: th
[1,2,3,4]
λ: :t th
th :: IO [Int]
λ: map (+2) th
• Couldn't match expected type ‘[b]’ with actual type ‘IO [Int]’
• In the second argument of ‘map’, namely ‘th’
In the expression: map (+ 2) th

期望的结果:

λ: res = map (+2) th -- <-- some working version of this
λ: res
[3, 4, 5, 6]
λ: :t res
res :: IO [Int]

解决方案可能非常明显,但不知何故我无法理解它。

最佳答案

您可以使用 fmap :: Functor f => (a -> b) -> f a -> f b Functor 的值执行映射.自 IO是一个仿函数,因此您可以使用它后处理 IO 的结果 Action :

Prelude> fmap (map (+2)) th
[3,4,5,6]

您还可以使用中缀运算符 (<$>) :: Functor f => (a -> b) -> f a -> f b 这是一个别名:

Prelude> map (+2) <$> th
[3,4,5,6]

关于haskell - 在 GHCI 中映射 IO [Int],我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/64634878/

24 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com