4 ms·
I believe there's a nice book called Foundations of Object Oriented Languages which dissects the problem in depth.
by gngeal 13y ago
I believe there's a nice book called Foundations of Object Oriented Languages which dissects the problem in depth.
- gtani 13y agoPierce's TAPL, also, and Harper's Practical Foundations. There's also some things i've seen about how scala does it, but I'll have to dig for them http://www.cs.cmu.edu/~rwh/plbook/book.pdf http://www.cs.cmu.edu/~rwh/plbook/book.pdf
- octo_t 13y agoSee also the DOT calculus[1] (Dependent Object Types) being the basis for a new foundation for scala's type system [1] - https://github.com/namin/dot https://github.com/namin/dot