François-René Rideau <fare@mukn.com>

 

 

Object-Orientation Elucidated

So far: >10 chapters, >300 pages,
>200 annotated bibliography entries.

Claude proofreads (finds bugs!) — helps with exercises!

Need help with last technical chapter (efficiency, MOP)

1. Introduction: About the Book

2. What Object-Orientation is — Informal Overview

3. What Object-Orientation is not

4. OO as Internal Extensible Modularity

5. Minimal OO

6. Rebuilding OO from its Minimal Core

7. Inheritance: Mixin, Single, Multiple, or Optimal

8. Types for OO

9. Extending the Scope of OO

10. Efficient Object Implementation

11. Conclusion

Annotated Bibliography

30 years too late

Yet still decades ahead

Ideas unknown or under-known (even to Lispers!)

Yes CLOS is far ahead overall...
but not everywhere (FIX THAT!)

Pure functional approach, laziness, lenses.

Examples in pure Scheme with autocurrying

Magic formula (with autocurrying):
(def (fix m t) (Y (m t))
(def (mix p c t s) (c (p t s) s))

NB: Gerbil Scheme builtin objects are stateful
(but also pure prototype library)

C3 is *objectively* better than CLOS linearization
(Dylan, Python, Perl...)

You can mix "classes and structs"
(Ruby, Scala).

Both together: C4.

Implemented in Gerbil Scheme.
(I had Claude do it in C++ templates)

Challenge: make it (optional) default in SBCL(?)

Slides:          github.com/metareflection/poof

Join me:       Gerbil Scheme https://cons.io

Blog: ngnghm.github.io     X: x.com/ngnghm

Hire me:       <fahree@gmail.com>