Hasochism：依赖类型 Haskell 编程的苦与乐 [pdf] (2013)
文章探讨了使用依赖类型 `Haskell` 编程的体验，这种编程既令人愉悦又充满挑战。它深入分析了这种编程范式的复杂性，揭示了其独特的优势和困难。文章旨在阐述依赖类型 `Haskell` 编程带来的满足感，同时也强调了其固有的复杂性。
Hasochism：依赖类型 Haskell 编程既是一种乐趣，也是一种痛苦。它描述了使用依赖类型 Haskell 编程的复杂性，这种编程既令人满足，又具有挑战性。该文章探讨了这种编程范式所带来的独特优势和困难。