Comments on: Typical Types of Typing and the Types They Typify, Part 2 http://www.youell.com/matt/writing/?p=627 simplify Wed, 31 Oct 2018 04:08:37 -0700 http://wordpress.org/?v=2.8.4 hourly 1 By: matt http://www.youell.com/matt/writing/?p=627&cpage=1#comment-334 matt Tue, 17 Nov 2009 21:39:49 +0000 http://www.youell.com/matt/writing/?p=627#comment-334 Cool! Thanks Tim. I'll look that material over. Cool! Thanks Tim. I’ll look that material over.

]]> By: Tim Snowhite http://www.youell.com/matt/writing/?p=627&cpage=1#comment-333 Tim Snowhite Tue, 17 Nov 2009 21:03:58 +0000 http://www.youell.com/matt/writing/?p=627#comment-333 Further Reading: This paper came to mind when reading your article: Declarative Object Identity using relational types http://domino.watson.ibm.com/comm/research_people.nsf/pages/tip.ecoop2007.html/$FILE/ecoop2007.pdf And while desperately searching for the above, I stumbled across these which looked useful as well: http://lalitpant.blogspot.com/2008/01/object-state-identity-immutability-and.html and the three links referenced at the bottom. Object identity as a query language primitive http://portal.acm.org/citation.cfm?id=290182 Object Identity (OODBMS manifesto) http://www.scs.cmu.edu/afs/cs.cmu.edu/user/clamen/OODBMS/Manifesto/htManifesto/node4.html OCaml pattern guards also look similar to what you're trying to achieve: http://code.google.com/p/ocaml-patterns/wiki/PatternGuards Lisp's Generic Functions are somewhat parallel to what you want in your type-based pattern matching, but they seem to be solving a perpendicular problem: http://gigamonkeys.com/book/object-reorientation-generic-functions.html Hope these help in some way. Further Reading:

This paper came to mind when reading your article:

Declarative Object Identity using relational types http://domino.watson.ibm.com/comm/research_people.nsf/pages/tip.ecoop2007.html/$FILE/ecoop2007.pdf

And while desperately searching for the above, I stumbled across these which looked useful as well:

http://lalitpant.blogspot.com/2008/01/object-state-identity-immutability-and.html and the three links referenced at the bottom.

Object identity as a query language primitive http://portal.acm.org/citation.cfm?id=290182

Object Identity (OODBMS manifesto) http://www.scs.cmu.edu/afs/cs.cmu.edu/user/clamen/OODBMS/Manifesto/htManifesto/node4.html

OCaml pattern guards also look similar to what you’re trying to achieve: http://code.google.com/p/ocaml-patterns/wiki/PatternGuards

Lisp’s Generic Functions are somewhat parallel to what you want in your type-based pattern matching, but they seem to be solving a perpendicular problem: http://gigamonkeys.com/book/object-reorientation-generic-functions.html

Hope these help in some way.

]]> By: while coding » Blog Archive » Typical Types of Typing and the Types They Typify, Part 1 http://www.youell.com/matt/writing/?p=627&cpage=1#comment-332 while coding » Blog Archive » Typical Types of Typing and the Types They Typify, Part 1 Tue, 17 Nov 2009 11:37:03 +0000 http://www.youell.com/matt/writing/?p=627#comment-332 [...] reviewed some common type schemes and bent the concept of “type” a little bit. In the next installment I’m going to bend the idea of “type” just a little more. Be sure to come back and [...] [...] reviewed some common type schemes and bent the concept of “type” a little bit. In the next installment I’m going to bend the idea of “type” just a little more. Be sure to come back and [...]

]]>