programming

2 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.