……还没把所有的 edge-case 都覆盖全，而且我甚至都还没开始聊怎么给这一团乱麻搞个类型系统呢。好在有人已经搞过了，还专门写了本书（我这些想法全是从那儿来的）：Barry Jay 写的《Pattern Calculus》[1]。[1]: http://www.amazon.com/Pattern-Calculus-Computing-Functions-S... 我也不确定这到底是不是最优解。不过我觉得这思路确实相当漂亮。如果你……
…haven't covered all the edge-cases, and I haven't even begun talking about a type system for this mess. Happily, there's somebody who has, and wrote a book about it (that's where I got all these ideas): Pattern Calculus by Barry Jay[1]. [1]: http://www.amazon.com/Pattern-Calculus-Computing-Functions-S... I'm also not sure whether this is the best possible approach. However, I think it's certainly very neat. If you…
……去应用剩下的部分。所以我干脆每天抽点时间，自底向上一点点啃，越学越觉得着迷；要是哪天没时间看数学书（最近在看 Barry Jay 的《Pattern Calculus》——强烈推荐），我真会抓心挠肝地想看。我觉得涉猎要广，但别妄想样样精通。知道笛卡尔是谁、他是怎么推导出“我思故我在”的，还有那个笛卡尔坐标系，这本身是一码事……
…to apply the rest. So I just set apart some time daily and worked from the bottom up, its constantly more fascinating and I really miss it when I can't spend my daily time with my mathbook (currently 'pattern calculus' by barry jay - highly recommend. I'd say delve into diverse subjects but don't try to be a master of all. Its one thing to know who decartes was, how he arrived at cogito ergo sum, and yea the cartesian…
……讲同样内容的讲义。（我本来想查一下贴出来的，但我现在在用手机，翻起来有点麻烦。）我看过的最有趣的非入门级（但依然自成体系）的例子，就是 Barry Jay 的那本《Pattern Calculus》。他从没有类型讲起，再到引入类型，一步步在 lambda calculus 的基础上构建起模式匹配和 first class pattern。他的这套理论涵盖了函数式、命令式以及面向对象的特性，……
…lecture notes to the same effect. (I'd look them up, but I'm on my phone so it's a bit of a hassle.) The most interesting non-introductory (but still self-contained) example I've seen was Barry Jay's Pattern Calculus book. He introduces pattern matching and first class patterns, first without types and then with, all building upon the lambda calculus. His ideas cover functional, imperative and object-oriented features,…
…:P. I think there's essentially one implementation in a language called bondi[1] but I don't know how it is implemented. [1]: http://bondi.it.uts.edu.au/ As for decidability, I'm not sure. The entire pattern calculus--that is, an extension of lambda calculus supporting this sort of pattern matching--is Turing-complete. I don't know if just the pattern matching part is undecidable though. As I said in my original…
Coincidentally, if you're thinking of adding pattern matching to the underlying calculus (not just as syntactic sugar), the book I mentioned in another comment (Pattern Calculus) is worth a look. The author explores what a language could look like of patterns were first-class and used to express arbitrary computations. At the very least, it could be fun to have an extended version…
我一看到这条评论，立刻就知道你指的是《Pattern Calculus》。看到也有别人对这个想法感兴趣，真是太棒了。我就住在离 UTS（悉尼科技大学）几个街区远的地方，之前去参加过那里的一个编程语言活动。我是在跟 Barry 聊过之后才知道 pattern calculus 的……
I started reading this comment and immediately knew you were talking about Pattern Calculus. Awesome to see someone else interested in the idea. I live a couple of blocks over from UTS and went to a programming language event there. I only found out about pattern calculus after talking to Barry…
……还没把所有的 edge-case 都覆盖全，而且我甚至都还没开始聊怎么给这一团乱麻搞个类型系统呢。好在有人已经搞过了，还专门写了本书（我这些想法全是从那儿来的）：Barry Jay 写的《Pattern Calculus》[1]。[1]: http://www.amazon.com/Pattern-Calculus-Computing-Functions-S... 我也不确定这到底是不是最优解。不过我觉得这思路确实相当漂亮。如果你……
…haven't covered all the edge-cases, and I haven't even begun talking about a type system for this mess. Happily, there's somebody who has, and wrote a book about it (that's where I got all these ideas): Pattern Calculus by Barry Jay[1]. [1]: http://www.amazon.com/Pattern-Calculus-Computing-Functions-S... I'm also not sure whether this is the best possible approach. However, I think it's certainly very neat. If you…
……去应用剩下的部分。所以我干脆每天抽点时间，自底向上一点点啃，越学越觉得着迷；要是哪天没时间看数学书（最近在看 Barry Jay 的《Pattern Calculus》——强烈推荐），我真会抓心挠肝地想看。我觉得涉猎要广，但别妄想样样精通。知道笛卡尔是谁、他是怎么推导出“我思故我在”的，还有那个笛卡尔坐标系，这本身是一码事……
…to apply the rest. So I just set apart some time daily and worked from the bottom up, its constantly more fascinating and I really miss it when I can't spend my daily time with my mathbook (currently 'pattern calculus' by barry jay - highly recommend. I'd say delve into diverse subjects but don't try to be a master of all. Its one thing to know who decartes was, how he arrived at cogito ergo sum, and yea the cartesian…
……讲同样内容的讲义。（我本来想查一下贴出来的，但我现在在用手机，翻起来有点麻烦。）我看过的最有趣的非入门级（但依然自成体系）的例子，就是 Barry Jay 的那本《Pattern Calculus》。他从没有类型讲起，再到引入类型，一步步在 lambda calculus 的基础上构建起模式匹配和 first class pattern。他的这套理论涵盖了函数式、命令式以及面向对象的特性，……
…lecture notes to the same effect. (I'd look them up, but I'm on my phone so it's a bit of a hassle.) The most interesting non-introductory (but still self-contained) example I've seen was Barry Jay's Pattern Calculus book. He introduces pattern matching and first class patterns, first without types and then with, all building upon the lambda calculus. His ideas cover functional, imperative and object-oriented features,…
……:P。据我所知，基本上只有一种语言实现了它，叫 bondi[1]，但我不知道具体是怎么实现的。[1]: http://bondi.it.uts.edu.au/ 至于可判定性（decidability），我也说不准。整个 pattern calculus——也就是支持这种模式匹配的 lambda calculus 扩展——是图灵完备的。但我不知道光是模式匹配这部分是不是不可判定的。就像我最初说的那样……
…:P. I think there's essentially one implementation in a language called bondi[1] but I don't know how it is implemented. [1]: http://bondi.it.uts.edu.au/ As for decidability, I'm not sure. The entire pattern calculus--that is, an extension of lambda calculus supporting this sort of pattern matching--is Turing-complete. I don't know if just the pattern matching part is undecidable though. As I said in my original…
巧的是，如果你正琢磨着把模式匹配加入到底层的演算里（而不仅仅是作为语法糖），我在另一个评论里提过的那本书（《Pattern Calculus》）值得一看。作者探讨了如果模式是一等公民（first-class）并且用来表达任意计算，语言会是什么样子。退一步讲，搞个扩展版本也挺好玩的……
Coincidentally, if you're thinking of adding pattern matching to the underlying calculus (not just as syntactic sugar), the book I mentioned in another comment (Pattern Calculus) is worth a look. The author explores what a language could look like of patterns were first-class and used to express arbitrary computations. At the very least, it could be fun to have an extended version…
我一看到这条评论，立刻就知道你指的是《Pattern Calculus》。看到也有别人对这个想法感兴趣，真是太棒了。我就住在离 UTS（悉尼科技大学）几个街区远的地方，之前去参加过那里的一个编程语言活动。我是在跟 Barry 聊过之后才知道 pattern calculus 的……
I started reading this comment and immediately knew you were talking about Pattern Calculus. Awesome to see someone else interested in the idea. I live a couple of blocks over from UTS and went to a programming language event there. I only found out about pattern calculus after talking to Barry…