从Monad的角度来看, data Maybe a =Just _ | Just a ,即Nothing =Just _。可以这样理解吗?
时间: 2023-06-04 13:06:39 浏览: 177
maybe-baby:最小化防御性编码。 Maybe monadJavaScript实现
可以这样理解。从Monad的角度来看,Maybe就是一个Monad,它的return操作将一个值a放到Just a中,而bind操作根据Maybe是否为Nothing进行不同的处理。如果Maybe为Nothing,bind操作会直接返回Nothing;如果Maybe为Just a,bind操作会将a传递给后续的计算。因此,可以将Nothing看作是Just的另一种形式,这两者对于bind操作的影响是相同的。
阅读全文