Given the 404s I tried to search for papers describing this language. IPL is also short for intuitionistic propositional logic, so it's almost impossible to search. Does anyone know of any actual research material on this?
This is a very interesting programming language concept that I didn't know of before. Highlighting the kind of work that risks getting lost as time goes by is where HN is at it's most valuable. I'd take this over 99% of the other stuff that reaches the front page, 404s be damned. It's a feature and not a bug that not everything is about the thought leaders of the day and the news cycle hysteria.
Because it's an interesting concept for a computer language, and the HN community can reliably be counted on to find other sources to dive into. HN has been known to deep dive on software archeology.
Is it the Straussian interpretation of all examples responding 404 that there exists an upper bound to the high-levelness of general programming languages?
the trouble with "zero abstraction penalty" and "compiles to LLVM" is that you're still paying the penalty of targeting LLVM, which is an abstraction that largely inherits the fraughtness of the C abstract machine; this has also bitten rust in the past
