Get the latest tech news
Some Programming Language Ideas
programming language ideasPublished on This post is me writing down some ideas for programming languages or programming language features. Mainly to get them out of my head into the world without having to write an actual compiler for them 😅 I start by providing some context and then present my ideas.
Other examples that also fall into the category of different interpretation of memory depending on some bit of data are NaN-boxing and Small String Optimization (SSO). If you could overload a function based on a refinement, then you could define a version of push that does not require a mutable borrow, and the usage would look no different! Assume you have a language like Wuffs that can guarantee compile time safety for certain issues like integer arithmetic overflow.
Or read this on Hacker News