Indi
hsfzxjy 的博客 i.hsfzxjy.site

一个依赖于外部状态 s 的伪函数 f' :: a -> b ,我们可以将其改写为 f :: a -> s -> (b, s) 使其良定。即,在输入输出中显式传递状态 <c…

讨论

还没有评论,来说第一句吧。

hsfzxjy 的博客 的其他文章