Lesley's Digital Garden

Home

❯

Notes

❯

Programming Language Design MOC

Programming Language Design MOC

Feb 24, 2025

  • parent : programming languages MOC
  • computing/PL

type theory

Interesting Features

  • algebraic effect
  • allocators for zig containers
  • defer statement
  • expression-oriented language
  • second-class reference
  • capabilities system
  • distinct types
  • implicit parameters
  • geometry type system
  • variadic functions
  • pattern matching
  • access control

Performance

  • tail call optimization

Error Handling

  • error handling

Design Mistakes and Anti-Features

  • Covariant arrays
  • implicit variable declaration
  • JavaScript variable hoisting
  • late binding closure in Python
  • C++ std::max returns wrong value
  • context sensitive pattern matching in Rust

Safety

  • law of exclusivity

Thoughts

  • on viral annotations
  • On language features that “encourages bad practices”
  • On default visibility
  • 0-index vs 1-index

Graph View

  • Interesting Features
  • Performance
  • Error Handling
  • Design Mistakes and Anti-Features
  • Safety
  • Thoughts

Backlinks

  • programming languages MOC
  • on programming language complexity and bad features

Created with Quartz v4.5.2 © 2026. All notes are written in Obsidian.

  • GitHub Repository
  • Mastodon