https://github.com/ninegua/lambda-viewer

Learn You a Lambda, a Haskell Tutorial
https://github.com/ninegua/lambda-viewer

Last synced: 2 days ago
JSON representation

Learn You a Lambda, a Haskell Tutorial

• Host: GitHub
• URL: https://github.com/ninegua/lambda-viewer
• Owner: ninegua
• Created: 2013-07-10T19:00:07.000Z (over 11 years ago)
• Default Branch: master
• Last Pushed: 2016-12-17T07:27:56.000Z (almost 8 years ago)
• Last Synced: 2024-08-02T01:26:45.254Z (3 months ago)
• Language: Haskell
• Size: 49.8 KB
• Stars: 47
• Watchers: 9
• Forks: 6
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
lambda-viewer

=============

"Learn You a Lambda, a Haskell Tutorial" is a series that shows you how to build an online [Lambda Viewer], step by step. It is meant to be a supplement material to beginners who are already learning Haskell and/or Lambda Calculus from other sources.

Each chapter will be written in both Chinese and English, completed with exercises and sample programs.

The Chinese chapters have been posted to [HaskellCN Forum] as they are written,  and discussions usually go there.

English translation is planned, but not yet written.

**手把手教你做λ**

* [引言](http://a.haskellcn.org/topic/4f9b9d42edefd68d37008f34)

* [（一）关于λ表达式的一切](http://a.haskellcn.org/topic/4f9e4037edefd68d37010c8b)

* [（二）数据类型的结构与解构](http://a.haskellcn.org/topic/4fa39c63edefd68d3701fc0e)

* [（三）漂亮打印与数学归纳法](http://a.haskellcn.org/topic/4fae1f29c34eab3e0101b497)

* [（四）语法识别器、高阶函数和列表推导](http://a.haskellcn.org/topic/501db01e68995699130648d5)

* [（五）语法识别器的拼接与组合](http://a.haskellcn.org/topic/504793ecc19c6ba851069186)

* [（六）如何正确识别λ表达式](http://a.haskellcn.org/topic/51d4a2a198942416ea00000a)

* [（七）从形式语义到等价关系](http://a.haskellcn.org/topic/55ca88129894244992000009)

* [（八）替换与归约](http://a.haskellcn.org/topic/5854e3a59894241c11000000)

[Lambda Viewer]: http://projectultimatum.org/cgi-bin/lambda

[HaskellCN Forum]: http://a.haskellcn.org