The bad thing about existing nominally typed OO PLs is that you can't post-hoc let a class implement an interface. If you could add new methods to any class, and then declare that the class now implements a new interface, you'd get the practical benefits of structural typing.
-
-
in CLOS you'd need to redefine C with I as superclass afaict
-
Wouldn't having a predicate function that uses COMPUTE-APPLICABLE-METHODS over all the GFs of the interface suffice?
- 4 more replies
New conversation -
-
This Tweet is unavailable.
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
Read my blog!