欢迎来到 Type Theory For All 的第38集！今天我们将介绍大衛·克里斯蒂安森，他将带领我们探索 Haskell、Lean、Idris 和写作艺术的奇妙世界。
在这一集中，大衛将会以他独特的视角讲解 Haskell、Lean 和 Idris 这三种不同的编程语言，让我们领略函数式编程的美妙之处。此外，他还将分享写作艺术的技巧，带您走进文字的魅力世界。
如果您想探索编程语言的魅力，或者想提升写作技巧，那么这一集绝对不容错过！跟随大衛的脚步，一起领略 Haskell、Lean、Idris 和写作艺术的奇妙之处吧！
点击链接，立即开始您的探索之旅：https://www.typetheoryforall.com/episodes/haskell-lean-idris-and-the-art-of-writing-1
让我们一起探索无限可能性，感受编程语言和写作艺术的魅力！待在 Type Theory For All，您将不虚此行！
了解更多有趣的事情：https://blog.ds3783.com/