小编cob*_*bra的帖子

我如何理解该声明return 1 getLine？它通过了类型检查，并且看起来与1. getLine和如何return相互“抵消”？这对我来说根本没有意义。

Prelude> :t return 1
return 1 :: (Monad m, Num a) => m a

Prelude> :t return 1 getLine            -- why is it not a type error?
return 1 getLine :: Num t => t          

Prelude> return 1 getLine               
1                                       -- whatever happened to getLine?

另外，为什么最终产品是“纯”的，即使它涉及一个getLine？

给定三个已排序的数组，我需要m从它们中挑选出总和最小的元素。一个额外的限制是它们中的至少r一个必须来自前两个。这是我的尝试：

solve :: [Int]->[Int]->[Int]->Int->Int->Int
solve xs ys zs m r = mini [ (xs'!!i) + (ys'!!j) + (zs'!!k) |
  i <- [max' (len ys - m) .. len xs],
  j <- [max' (r-i) .. len ys],
  k <- [max' (m-i-j) .. len zs],
  i+j+k == m,  
  i+j>=r
  ] where
      mini ws = if null ws then (-1) else minimum ws
      [xs',ys',zs'] = map (scanl (+) 0) [xs, ys, zs]
      max' x = max x 0
      len …

考虑这个关于和 的玩具练习：我们需要根据一组预定义的规则过滤数据包列表。我们还需要根据另一组规则记录一些数据包。现在考虑两个增强功能：WriterWriterT

1. 如果出现重复的连续数据包（满足记录标准），我们应该只创建 1 个日志条目，并打印重复计数。（目标是教授所谓的“延迟记录”技巧。）
2. 我们需要为每个日志条目附加时间戳。（即使用WriterT w IO）

我已经实现了 1，但我坚持将其扩展为 2。首先，下面是 1 的代码。该merge函数处理当前数据包，但将潜在的日志条目传递到下一步，该步骤将决定是否打印它或合并它：

import Control.Monad
import Data.List
import Control.Monad.Writer

type Packet = Int
data Log = Log {
    packet :: Packet,
    acceptance :: Bool,
    bulk :: Int
  } deriving Show

instance Eq Log where
  (==) a b = packet a == packet b

incr :: Log -> Log
incr x = x {bulk = 1 + bulk x}

shouldAccept :: …