compilers

3 articles · All tags

• Type Theory in Programming Languages
  What a type system actually does — from preventing bugs at compile time to enabling expressive polymorphism — and why type theory underpins modern language design.
• Garbage Collection
  Automatic memory management that reclaims memory no longer reachable by the program, eliminating manual deallocation and its associated bugs.
• Rust Ownership and Borrowing
  The compile-time memory model that gives Rust memory safety without garbage collection: every value has one owner, and references borrow under strict rules.