- 
      January 6, 2025
      Haskell 里 Generics, Template 与 Typeable 的一些杂思
    
- 
      March 28, 2022
      为什么 haskell 的 monad 定义使用 a -> m b 作为输入
    
- 
      September 15, 2021
      CPS and monad and function
    
- 
      April 13, 2021
      haskell: fix point
    
- 
      August 2, 2020
      haskell中fmap, liftM, mapM, traverse历史问题记录
    
- 
      May 19, 2020
      haskell caf
    
- 
      April 21, 2020
      foldl,foldr,foldl'
    
- 
      April 6, 2020
      REFS code is engineering, types are science
    
- 
      December 2, 2019
      转:haskell如何让你的生活更简单
    
- 
      November 25, 2019
      引用:haskell相关文章列表
    
- 
      October 11, 2019
      转:你是否有编写haskell的能力
    
- 
      October 1, 2019
      类型类、逻辑与哲学
    
- 
      September 20, 2019
      haskell pettern synonyms and view
    
- 
      January 12, 2019
      编程语言的思考
    
- 
      April 23, 2018
      递归中的栈溢出
    
- 
      August 16, 2017
      haskell包管理处理
    
- 
      July 9, 2017
      求值环境模型
    
- 
      April 23, 2017
      Haskell类型限制
    
- 
      April 19, 2017
      函数式编程语言之多语句思考
    
- 
      March 18, 2017
      函子,应用函子,单子