2 ms·

Shen is well over a decade old: https://news.ycombinator.com/item?id=3026384 https://news.ycombinator.com/item?id=3026384

• bachmeier 3y ago
  Actually > Shen owes its origins to work done in the 90s by Mark Tarver on applying high performance automated reasoning techniques to the problem of type checking programs. The first version of the work SEQUEL (SEQUEnt processing Language) premiered at the 1993 International Joint Conference on Artificial Intelligence under the title 'A Language for Implementing Arbitrary Logics'. https://shenlanguage.org/OSM/History.html https://shenlanguage.org/OSM/History.html
  • Phiwise_ 3y ago
    Yes, counting all the work well before release was why I said "well over" for just 3 years over.
    • bachmeier 3y ago
      This is hardly an important point, but I don't think a change in the name makes something a different programming language. It's a minimum of 19 years old since Qi was released in 2005. Even then, Qi was just the evolution of the original language, being built on the same ideas.
      • Phiwise_ 3y ago
        Again, yes this is all very similar to the things I think as well.