随笔分类 - haskell

Power!!!

摘要：最近在看 Learn you a haskell for great good，刚好看到IO。因为实在想不到去哪写haskell练手，于是就去codewars上面找水题刷了。感觉给了我最大震撼的FP是scheme，给了我现代FP体验的是Coq（好多东西和haskell无缝衔接，除了记号方面的适应）阅读全文

posted @ 2022-01-17 23:51 jjppp 阅读(84) 评论(0) 推荐(0) 编辑