> 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'.
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.
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
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.
1 reply →