[closer-devel] Introducing new "type" classes

[Pascal Costanza]

On 16 Feb 2008, at 18:14, Michael Weber wrote:

> A generalization of the above would be predicate dispatch:
> * Ernst et al: "Predicate Dispatching: A Unified Theory of  
> Dispatch"  <http://citeseer.ist.psu.edu/ernst98predicate.html>
> * Ucko: "Predicate Dispatching in the Common Lisp Object System" <http://citeseer.ist.psu.edu/526172.html 
> >
>
> I forgot what Ucko does about the specificity issue.

Those approaches typically restrict the predicate language such that  
it becomes statically tractable (so not Turing complete).


Pascal

-- 
1st European Lisp Symposium (ELS'08)
http://prog.vub.ac.be/~pcostanza/els08/

Pascal Costanza, mailto:pc at p-cos.net, http://p-cos.net
Vrije Universiteit Brussel, Programming Technology Lab
Pleinlaan 2, B-1050 Brussel, Belgium