Is it the Straussian interpretation of all examples responding 404 that there exists an upper bound to the high-levelness of general programming languages?
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.
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?
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
17 comments
[ 5.6 ms ] story [ 39.4 ms ] threadEDIT: this might be it: https://github.com/Tipoca/intuitionistic
It's quite frustrating when most of my submissions die without ever reaching the frontpage. Am I so out of touch with the HN community?