haskell - 我在哪里可以学习高级 Haskell？

Question

关闭。这个问题不符合Stack Overflow guidelines .它目前不接受答案。












要求我们推荐或查找工具、库或最喜欢的场外资源的问题对于 Stack Overflow 来说是无关紧要的，因为它们往往会吸引固执己见的答案和垃圾邮件。相反，describe the problem以及迄今为止为解决它所做的工作。


8年前关闭。







Improve this question




在对 one of my answers 的评论中，SO用户sdcwc本质上指出了以下代码:

comb 0 = [[]]

comb n =
    let rest = comb (n-1)
    in  map ('0':) rest
     ++ map ('1':) rest

可以替换为:

comb n = replicateM n "01"

这让我完全惊呆了。

现在我正在寻找教授这些高级概念的教程、书籍或 PDF。我不是在寻找针对初学者的“什么是 monad”教程，也不是在寻找解释 replicateM 类型的在线引用资料。 .我想学习如何在单子(monad)中思考并有效地使用它们，如果你愿意的话，单子(monad)“模式”。

Answer 1

采用 sequence 之类的函数, filterM , liftM2 , join想想它们是如何为每个 monad 工作的 IO , [] , (->) a , Writer , State .例如，sequence for IO monad 按顺序执行 IO Action :

 [IO a] -> IO [a]

写下签名并尝试使用它们。有些组合很有趣，有些则不那么有趣。

过滤器示例:

{-# LANGUAGE NoMonomorphismRestriction #-}
import Control.Monad
import Control.Monad.State
import Control.Monad.Reader

a = filterM (\x -> do putStrLn $ "Put " ++ show x ++ "?"
                      fmap (=="Y") getLine)

b = filterM (const [False,True])

c m xs = runState (filterM k xs) 0
              where k x = do a <- get
                             let p = a + x <= m
                             when p $ put (a+x)
                             return p

d = filterM (flip id)

a使用 IO 过滤列表 - 它向用户询问每个项目。
b不确定地过滤列表 - 每个项目都不确定地包括和不包括在内。结果，您获得了powerset。 (试试看!)
c过滤列表，维护状态。在这种情况下，这是贪婪的背包——你有容量的背包 m并希望从 xs 插入尽可能多的项目.
d过滤列表，保持只读状态。这并不有趣。我使用过滤函数作为状态，这给出了 flip filter .

单个函数 filterM可以做所有这些事情。

如果您会为其他函数编写类似的代码，您将获得足够的直觉来注意到其他地方的单子(monad)函数。例如，如何获得以下功能？

dup f x = f x x

那么 dup' f x = f x x x呢？ ?