els2014 talk

[paper-els-specializers.git] / talk / outline.org

diff --git a/talk/outline.org b/talk/outline.org
new file mode 100644 (file)
index 0000000..9289360
--- /dev/null
+++ b/talk/outline.org
@@ -0,0 +1,34 @@
+* Introductory material
+** CLOS, generally
+   - generic functions as the base unit
+   - classes group state and assist in method selection
+   - Best. Object System. Ever.
+** How method selection/combination works
+   (basic version)
+** MOP + cacheing implementation of same
+   - C-A-M-U-C, COMPUTE-EFFECTIVE-METHOD
+** MOP, generally
+   - Mention CLASS-EQ here?
+* Example
+  - dispatch based on signum
+* Previous work
+** Predicate Dispatch
+   problem: order basically undecideable.  EVENP / PRIMEP
+** Filtered functions
+   problems: hijacks method combination for its implementation; EQL
+   specializers makes it basically uncacheable
+** Generalized specialisers
+   problem: too complicated/general to implement C-A-M, no specified
+   cacheing, interop between extensions unclear
+* Generalizers
+** double-duty of CLASS
+** cheap cacheability
+** examples
+   - signum
+   - http accept
+   - optima?  Would be good to demo something that's not in the paper,
+     and would tie up loose end from ELS 1 / ECOOP
+* Conclusions
+** Hey, neat!
+** Could be better but is usable now
+** Compiler writers speed things up by a factor of 2 every 18 years...