Comment by bachmeier
2 years 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'.
Yes, counting all the work well before release was why I said "well over" for just 3 years over.
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.
Again, yes this is all very similar to the things I think as well.