software engineering

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.
• RESTful APIs
  Web APIs designed around resources addressed by URLs and manipulated with standard HTTP methods.
• Git Version Control
  A distributed version control system that records the complete history of a project as content-addressed snapshots.