Good textbook with implementations of OO type system?

This page summarizes the projects mentioned and recommended in the original post on

Our great sponsors
  • Scout APM - Less time debugging, more time building
  • JetBrains - Developer Ecosystem Survey 2022
  • SonarLint - Deliver Cleaner and Safer Code - Right in Your IDE of Choice!
  • mypy

    Optional static typing for Python

    Mypy and pyright both use it. mypy's codebase is reasonably readable and not that big. summarizes mypy implementation and which are the key files to read over if you want to see core type checker logic.

  • rust-langdev

    Language development libraries for Rust

  • Scout APM

    Less time debugging, more time building. Scout APM allows you to find and fix performance issues with no hassle. Now with error monitoring and external services monitoring, Scout is a developer's best friend when it comes to application development.

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts