Hmmm Liskov substitution principle is an object oriented programming concept, not sure it applies real well to languages, it definitely wasn't coined for that u

Hmmm Liskov substitution principle is an object oriented programming concept, not sure it applies real well to languages, it definitely wasn't coined for that use. If you squint a certain way since a Typescript library transpiled can be used from any Javascript library then it would be roughly analog to the Liskov substitution principle for types in an OO language. The same applies to Objective-C as it can be called from C.