使用不纯函数映射已挂起副作用是否为不良实践？两类IO写法有何差异？

首先明确核心差异：

• 第一种写法 getData().map(d => println(d.toString)) 中，println 直接写在 map 的转换函数里——这个函数本身是不纯的，因为它直接执行了输出副作用。虽然整个IO结构是挂起状态，不会立即触发操作，但当这个IO最终被运行时，map 里的副作用函数会被调用，副作用才会发生。
• 第二种写法 getData().flatMap(d => IO(println(d.toString))) 中，println 被包裹在 IO 构造器里，flatMap 的参数函数是纯的——它只是返回了一个包含副作用的IO实例，没有立即执行任何副作用，所有副作用都被IO正确挂起。

关于纯度：
整个IO表达式本身都是纯的（它们都只是描述了要执行的操作，没有立即触发副作用），但第一种写法里的map参数函数是不纯的，这是两者最关键的区别。

为什么要避免第一种写法？
虽然两种写法运行后都会输出数据，但map的设计初衷是用来做纯数据转换——把一个纯函数应用到IO的结果上，不应该在里面放置副作用。如果在map里直接写副作用，会让代码的意图变得模糊，违反函数式编程中“副作用必须被IO封装”的原则，长期来看会降低代码的可维护性和可读性（尤其是在复杂的IO链中，不纯的转换函数会让副作用的位置变得难以追踪）。

所以，即使第一种写法看起来更简洁，从函数式编程的规范和代码健壮性来说，更推荐第二种写法，它能更清晰地表达“这是一个需要执行的副作用操作”的意图，也符合IO monad的设计理念。

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