避免误用类型类实例，求ZipList'的Applicative实例正确实现

首先明确你的核心需求：让ZipList'的<*>操作逐元素匹配应用函数，直到任一列表耗尽即停止，对应测试用例ZipList' [negate, id] <*> ZipList' [1..5]得到ZipList' [-1,2]，同时要避免不小心混用其他类型类的实例。

你的初次尝试问题分析 #

你当前的<*>实现有个关键问题：

ZipList' (f:fs) <*> ZipList' (x:xs) = ZipList' $ f x : (fs <*> xs)

这里的fs <*> xs调用的是普通列表的Applicative实例（因为fs和xs是裸[a]类型），而列表的默认Applicative是笛卡尔积式的全量应用，完全不符合我们的逐元素匹配需求，还会在列表长度不一致时触发运行时错误。

正确的实现代码 #

我们需要让<*>始终作用在ZipList'类型上，或者更简洁地用zipWith实现逐元素应用逻辑，同时保证pure符合Applicative法则（返回无限重复的元素列表，确保pure f <*> xs等价于fmap f xs）：

-- 开启扩展让实例签名更清晰（可选，但推荐）
{-# LANGUAGE InstanceSigs #-}

newtype ZipList' a = ZipList' [a] deriving (Eq, Show)

instance Functor ZipList' where
    fmap f (ZipList' xs) = ZipList' $ fmap f xs

instance Applicative ZipList' where
    -- pure返回无限重复x的列表，满足Applicative法则
    pure :: a -> ZipList' a
    pure x = ZipList' (repeat x)
    
    -- 用zipWith逐元素应用函数，取两个列表的最短长度
    (<*>) :: ZipList' (a -> b) -> ZipList' a -> ZipList' b
    ZipList' fs <*> ZipList' xs = ZipList' $ zipWith ($) fs xs

测试你的用例：

fs = ZipList' [negate, id]
xs = ZipList' [1..5]
zipListApplyTest = fs <*> xs -- 结果：ZipList' [-1,2]，完全符合预期

避免误用其他实例的小技巧 #

为了防止不小心混用普通列表的Applicative实例，你可以：

• 定义辅助函数封装列表和ZipList'的转换，减少裸列表的直接操作：

  toZipList' :: [a] -> ZipList' a
  toZipList' = ZipList'
  
  fromZipList' :: ZipList' a -> [a]
  fromZipList' (ZipList' xs) = xs
  

• 编写代码时尽量显式标注类型，比如：

  zipListApplyTest :: ZipList' Int
  zipListApplyTest = fs <*> xs
  

  这样编译器会帮你检查类型是否正确，避免意外调用其他实例。

验证Applicative法则合规性 #

我们的实现完全符合Applicative的四条核心法则：

1. 同一性：pure id <*> v = v——无限id列表和v逐元素应用，结果就是v本身
2. 同态性：pure f <*> pure x = pure (f x)——无限f列表和无限x列表应用，结果是无限f x列表
3. 互换性：u <*> pure y = pure ($ y) <*> u——两边都是把u里的每个函数应用到y，结果一致
4. 组合性：pure (.) <*> u <*> v <*> w = u <*> (v <*> w)——两边都是逐元素组合函数并应用，结果一致

内容的提问来源于stack exchange，提问作者Matthias Braun