Resources › cs › theory › compilers › type_systems

Bookmarks

The Easiest Way to Build a Type Checker

Added on December 2, 2025 · 7 min read

Pyrefly: Type Checking 1.8 Million Lines of Python Per Second

Added on November 5, 2025 · 55:03 · 11.2K views
cs/software_development/performance_optimization

Book draft: “Control structures in programming languages”

Added on November 4, 2025 · 1 min read
cs/theory/programming_languages/functional

Bidirectional Type Checking

Added on October 6, 2025 · 41:31 · 7.2K views
cs/theory/type_theory

A Type System From Scratch – Robert Widmann

Added on July 22, 2025 · 47:55 · 15.1K views
Technical presentation on building a type system from scratch, relevant to language and compiler enthusiasts.
cs/theory/programming_languages/design

Inference in Agda

Added on July 5, 2025 · 1h 30m read

Proofs and Types

Added on December 16, 2024 · 4h 10m read
mathematics/logic

Bibliopolis-Book-retypeset-1984

Added on November 12, 2024 · 1h 34m read
mathematics/logic

Zig-style generics are not well-suited for most languages

Added on July 5, 2024 · 12 min read
cs/theory/programming_languages/design

How should I read type system notation?

Added on June 5, 2024 · 11 min read

Subcategories