Some Programming Language Ideas

Some programming language ideas Published on 21-02-2025 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. Hopefully it’s interesting. Explanation of existing concepts Here are a few short explanations and references to existing concepts that I refer to later on. The explanations are meant to give you some intuition about them if you are not at all familiar with them. Refinement types A refinement type is a type with a a predicate attached to it that holds for every value of this type. Rust is not a language that has user-definable refinement types, but you can find some examples of refinements in the standard library, like NonZero and NonNull . The documentation for NonZero mentions that NonZero can result in memory optimization. For example, Option> is th ... Read full article.