I find Oleg's take on inheritance/subclassing to be particularly enlightening: http://okmij.org/ftp/Computation/Subtyping/ http://okmij.org/ftp/Computation/Sub

I find Oleg's take on inheritance/subclassing to be particularly enlightening: http://okmij.org/ftp/Computation/Subtyping/ http://okmij.org/ftp/Computation/Subtyping/