<h1 id="substitutability">Substitutability<a aria-hidden="true" class="anchor-heading icon-link" href="#substitutability"></a></h1>
<p>We can replace an object of Animal type with object of Cat type.</p>
<p>More formally — <a href="/cs/notes/qrstlbi0nj33325jeyjbnqt">Liskov Substitution Principle</a>.</p>
<hr>
<strong>Backlinks</strong>
<ul>
<li><a href="/cs/notes/6yfy66pd40yrpmh4au5z1sf">Variance (cs)</a></li>
</ul>

Substitutability



These notes are arranged into the below topics:

- AI (Sorry this is on the top, list is alphabetic)
- [[arch]]
- Data
- Execution
- Languages
- Semantics
- [[paradigm]]
- Philosophy
- Dev
- Tools
- Type Theory

## References

- Hierarchy inpiration - [Map of Computer Science](https://www.flickr.com/photos/95869671@N08/36231833334/in/photostream/lightbox/)