Re:Hare aims to become a 100-year programming language
by fbdab103 on Wednesday November 08, 2023 @10:29PM
(#38200797)
If I were looking for a 100 year language, I think I might go a little higher level and target Lua (say 5.1 so you could plug in LuaJIT and/or NeoVim plugins). As a dead release, it is already at a situation of no feature churn. The VM is minimal and there are implementations in many other languages.
Besides, we truly need some revolution in system languages, I believe. ATS, F/Low and Rust are really good first tries, but we are not there yet in terms of soundness/completeness optimum. So it will take time and many attempts to develop some truly safe and simple language with resource tracking, generalized compile time computations (i.e. effect/totality tracking and dependent types) and so on.