3 ms·
>> OO subtyping is hard to reason about formally in formal systems designed for FP...news at 11! Well. Even systems like L2 (which are not functional) find sub
by octo_t 13y ago
>> OO subtyping is hard to reason about formally in formal systems designed for FP...news at 11!
Well. Even systems like L2 (which are not functional) find subtyping difficult. It becomes difficult in the presence of overloading and overriding.
- gngeal 13y agoI 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