HN Explorer

9 comments

[ 2.7 ms ] story [ 22.6 ms ] thread
bckr
This brings up a question I’ve had for a while:

Is it possible to create a programming language that has every possible feature all at once?

I realize there are many features that are opposed to each other. Is it possible to “simply” set a flag at compile / runtime and otherwise support everything? How big would the language’s source code be?

alabhyajindal
Posted this because I love how concise the implementations are. Might be a combination of using OCaml plus lexical and parser generators.
ontouchstart
Programming languages are more a UI problem than a mathematical problem. Not sure how it will evolve if coding agents are becoming the “middlemen”.
sheepscreek
Should be called: “The Exotic Programming Languages Zoo”
kibwen
A shame there's no little language here that demonstrates linear types.
rubenvanwyk
Think Austral is only language doing this currently? The compiler is also written in OCaml if I recall correctly, so can be read in tandem with these.