Post B1v5RWzFY0qVfJfY80 by AmenZwa@mathstodon.xyz
 (DIR) More posts by AmenZwa@mathstodon.xyz
 (DIR) Post #B1v5RWzFY0qVfJfY80 by AmenZwa@mathstodon.xyz
       2026-01-03T20:47:55Z
       
       1 likes, 0 repeats
       
       My ideal system #programming language (for implementing utilities and compilers, not for implementing OS and drivers) would have C-style semantics with the following caveats and glosses:• No pointers and no manual memory management, only automatic garbage collection😱• No jumps and loops, only recursion with inner functions and tail-call optimisation🤮• No statements, only expressions• Haskell-style ADT syntax for product and sum types• TypeScript-style ∩ intersection syntax for composing product types• TypeScript-style syntax for modules with export-by-default and selective hiding• Hindley-Milner-style, strong, static, polymorphic, inferencing type system• Unicode identifiers, like π, 𝜎, →, ⇒, and so onThere are tonnes of internal tensions and conflicts, even within this short "wish list" of one bloke. This is what makes programming language design "interesting".