So Many New Systems Programming Languages II (2023)
15 points by runxiyu
15 points by runxiyu
Um, why is Swift missing? In terms of popularity it would be at least #2 on that list. Surely the existence of ARC isn’t enough to disqualify it. There’s even an embedded Swift SDK for microcontrollers.
TIL there's a language called lobster
By the inventor of the first real esolang, who went on to play a big role in WASM and game engines. Crazy accomplished guy!
Why doesn’t INTERCAL count as a “real” esoteric language?
Huh, though that INTERCAL wasn't actually implemented! But it looks like the first compiler predates FALSE.
I'd still argue that FALSE was the first modern/influential esolang, as there's a pretty clear line from it to Brainfuck and Befunge.
Wikipedia says FALSE was inspired by C-INTERCAL which was a new implementation in 1990. There was an implementation of INTERCAL in 1972 but it seems not to have survived.
I am startled to learn that COME FROM was a new feature in C-INTERCAL: it seems like it would have been a brilliantly appropriate joke for a language invented at the height of the structured programming wars!
[…] Affine types which are more permissive than linear types and perhaps surprisingly a little harder to reason about and check.
Isn't making something easier to reason about generally the whole point of adding restrictions?
Also, kinda odd how features are included in the bullet points of only some languages that have them (or how it's linear types aren't named as such in the Vale case).
how is it that linear types aren't named as such in the Vale case
Probably just because Vale calls it Higher RAII. Is that what you mean? The way I read it, at least, it's the same.
Edit: Unless we mean linear types in the useless academic sense of «you can only use this variable once». No, I mean the resource interpretation, of course: The restriction is not on use, but on move and destroy, which for a resource-linear type is the same.