Haskell IO与Cassava库疑问：严格字段与decodeByName处理

问题1：Person数据类型中!String的作用 #

• !是Haskell的严格求值注解。默认Haskell采用惰性求值，字段值会等到被使用时才计算；加!后，这个字段会在构造Person实例时就立即完成求值，不会延迟。
• 示例运行无差异是因为数据量小，惰性求值的延迟特性没体现出来。在处理大量CSV数据或者复杂嵌套结构时，严格字段能避免内存中堆积大量未求值的thunk（惰性表达式），防止内存泄漏、提升性能。
• 对于CSV解析场景来说，cassava读取数据时本来就会把完整内容加载，用严格字段更贴合实际使用，不会产生额外的惰性开销。

问题2：主函数中那段代码的含义 #

整体作用 #

处理CSV解析成功的结果，将每条Person数据格式化为可读字符串并打印到控制台。

逐部分解析 #

• Right (_, v) -> ...：decodeByName的返回值是Either String (Header, Vector Person)，Right分支代表解析成功。(_, v)里的_表示忽略解析得到的表头（Header），v是存储所有Person数据的Vector容器。
• V.forM_ v $ \ p -> ...：V.forM_是Vector库的遍历函数，会遍历v中的每一个元素，对每个元素执行后续的IO操作（打印），后缀_表示丢弃遍历的返回值，只关注副作用。
• \ p -> ...：这里的p是遍历过程中每次取出的单个Person实例，对应CSV里的一行数据。
• putStrLn $ name p ++ " earns " ++ show (salary p) ++ " dollars"：把当前Person的name字段和salary字段拼接成类似"Alice earns 60000 dollars"的字符串，再通过putStrLn输出到控制台。

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