摘要: Monads 翻译叫 “单子” 或者 “一个自函子上的幺半群” 好吧除了让人费解没有什么用 同样举一个书上的例子 data Expr = Val Int | Div Expr Expr eval :: Expr -> Maybe Int eval (Val n) = Pure n eval (Div 阅读全文
posted @ 2021-11-13 20:37 liankewei123456 阅读(47) 评论(0) 推荐(0) 编辑
摘要: Haskell 学习笔记 -- functor / applicative 这部分肯定是 Haskell 中最最抽象的了,我上课就没懂( 还有什么范畴论,自闭了 Functor 函子 函子的意思是一类容器,它里面可以装各种东西 比如 [] \ Maybe \ Tree 要让一个数据结构成为 Func 阅读全文
posted @ 2021-11-13 20:03 liankewei123456 阅读(85) 评论(0) 推荐(0) 编辑
摘要: Haskell学习笔记--IO (是IO不是OI 下周考试,赶紧冲刺 data IO a A value of type IO a is a computation which, when performed, does some I/O before returning a value of ty 阅读全文
posted @ 2021-11-13 19:23 liankewei123456 阅读(37) 评论(0) 推荐(0) 编辑