模式演算
Pattern Calculus
Barry Jay · 初版 2009 年
- 6次提及
- 2人推荐
- 3位 HN 评论者
Hacker News 读者推荐
……还没把所有的 edge-case 都覆盖全，而且我甚至都还没开始聊怎么给这一团乱麻搞个类型系统呢。好在有人已经搞过了，还专门写了本书（我这些想法全是从那儿来的）：Barry Jay 写的《Pattern Calculus》[1]。[1]: http://www.amazon.com/Pattern-Calculus-Computing-Functions-S... 我也不确定这到底是不是最优解。不过我觉得这思路确实相当漂亮。如果你……
tikhonj 在 HN 的推荐
……去应用剩下的部分。所以我干脆每天抽点时间，自底向上一点点啃，越学越觉得着迷；要是哪天没时间看数学书（最近在看 Barry Jay 的《Pattern Calculus》——强烈推荐），我真会抓心挠肝地想看。我觉得涉猎要广，但别妄想样样精通。知道笛卡尔是谁、他是怎么推导出“我思故我在”的，还有那个笛卡尔坐标系，这本身是一码事……
jfaucett 在 HN 的推荐
……讲同样内容的讲义。（我本来想查一下贴出来的，但我现在在用手机，翻起来有点麻烦。）我看过的最有趣的非入门级（但依然自成体系）的例子，就是 Barry Jay 的那本《Pattern Calculus》。他从没有类型讲起，再到引入类型，一步步在 lambda calculus 的基础上构建起模式匹配和 first class pattern。他的这套理论涵盖了函数式、命令式以及面向对象的特性，……
tikhonj 在 HN 的推荐
找书
豆瓣 微信读书 京东 Open Library ISBN 3540891846
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。