ðŸĶĒ✅ðŸĶ†

#liskov substitution principle #LSP #poo #object-oriented programming #polymorphism #subtype #software design

🅰ïļâŠƒ

#type theory #set theory #superset #subtype #programming languages #formal methods #mathematical type

☕ïļâ”‹ðŸĩ┋🧉

#distinct versions #flavor profile #style options #alternative choices #subtype #specific taste #related variations

🏷ïļâ†ģ₁

#subtype #subclass #subcategory #type 1 #specific type #sottocategoria

ðŸŒģ→🍃

#type hierarchy #parent type #subtype #generalization #class structure