I just posted on r/ProgrammingLanguages yesterday asking for examples of languages or papers like this! Nice. I’m working on a language that will be sort of a

I just posted on r/ProgrammingLanguages yesterday asking for examples of languages or papers like this! Nice. I’m working on a language that will be sort of a cleaner TypeScript, more simple and sound, with powerful static types, but not ML. I think functions taking not just read-only views of data structures but deeply “const,” unchanging views is really important. Code that runs in GCed runtimes like JS engines or the JVM can be quite performant, but not with the level of copying and allocation that immutable data structures typically require (when you need to model them changing over time), and I want to solve that at the type level.