Pattern Calculus
by Barry Jay · first published 2009
6mentions
2recommended by
3HN commenters
2012–2015first – last mentioned
67% recommend33% neutral
Affiliate links. As an Amazon Associate I earn from qualifying purchases.
…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…
on “Joe Armstrong: Why OO Sucks” ↗…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…
on “Ask HN: How to become a renaissance man?” ↗…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,…
on “Show HN: Caramel – a modern syntax for the 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…
on “Joe Armstrong: Why OO Sucks” ↗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…
on “Show HN: Caramel – a modern syntax for the lambda 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…
on “Joe Armstrong: Why OO Sucks” ↗