Christophe Weblog Wiki Code Publications Music
els2014 talk
[paper-els-specializers.git] / talk / outline.org
1 * Introductory material
2 ** CLOS, generally
3    - generic functions as the base unit
4    - classes group state and assist in method selection
5    - Best. Object System. Ever.
6 ** How method selection/combination works
7    (basic version)
8 ** MOP + cacheing implementation of same
9    - C-A-M-U-C, COMPUTE-EFFECTIVE-METHOD
10 ** MOP, generally
11    - Mention CLASS-EQ here?
12 * Example
13   - dispatch based on signum
14 * Previous work
15 ** Predicate Dispatch
16    problem: order basically undecideable.  EVENP / PRIMEP
17 ** Filtered functions
18    problems: hijacks method combination for its implementation; EQL
19    specializers makes it basically uncacheable
20 ** Generalized specialisers
21    problem: too complicated/general to implement C-A-M, no specified
22    cacheing, interop between extensions unclear
23 * Generalizers
24 ** double-duty of CLASS
25 ** cheap cacheability
26 ** examples
27    - signum
28    - http accept
29    - optima?  Would be good to demo something that's not in the paper,
30      and would tie up loose end from ELS 1 / ECOOP
31 * Conclusions
32 ** Hey, neat!
33 ** Could be better but is usable now
34 ** Compiler writers speed things up by a factor of 2 every 18 years...