inform7-ide VS principia

For those looking for Linux packages instead of compiling themselves, there's a github build project of an earlier version this year https://github.com/ptomato/inform7-ide/actions/runs/19915523...

Inform 7 is a domain-specific language for creating parser-based works of interactive fiction (i.e. old-school "text adventure games"). It does the heavy lifting of parsing and maintaining the consistency of the world model for the programmer.

Inform 7 takes this to the extreme, allowing code such as "A distance is a kind of value. 5 miles specifies a distance."

Pure parser-based games have become niche, but they are still out there and, like others mentioned, have continued to evolve (see Inform 7). You no longer have to "guess the verb".

Neat. Have you ever seen Inform? http://inform7.com/ Might offer some inspiration on future features. It's a pretty cool language that's been around for a long time and has the same use case.

You can check it out here: https://www.principiarewrite.com/

It's crazy to think that we didn't really know for sure whether 1+1=2 until ~1910, yet it's true. That's when Bernard Russell (best known for Russell's teapot, exposing a logical fallacy in Christianity) and some other dude actually proved it from axioms. They laid out the foundation of 1+1 in a book called Principia Mathematica. They worked so rigorously that it took them 360 pages to even prove something as basic as 1+1=2 using the axiomatic method. If you want to use a modern tool like Coq to verify 1+1=2, then the best way of doing this is to formalize Principia Mathematica in Coq.

There are people trying to make it more readable.

Principia

A work from the early 20th century, mathematics, logic.

I think some expert called Bertrand Russell's and A.N. Whitehead's "Principia Mathematica" initiative a "bizarre" piece of work, when seen from the perspective of a programming language designer.

I can't make a qualified statement about this, as I am neither a mathematician nor a language designer. And I cannot find the exact quote on the internet, sorry. Just saying.

In code? See for yourself :

https://www.principiarewrite.com/

Whitehead and Russell’s Principia rewritten in Coq\ (44 comments)