SoftwareHub Community · @SoftwareHub
18 followers · 41 posts · Server fosstodon.orgRecommended Programming languages
ATS-lang
https://www.cs.bu.edu/~hwxi/atslangweb/
Koka
https://koka-lang.github.io/koka/doc/index.html
Verona
https://github.com/microsoft/verona
Lean4
https://github.com/leanprover/lean4
NOTE: Recommended in addition to modern C++23.
#SoftwareHub
#SoftwareFreedomProject
#Cairo
#Ankara
#Riyadh
#ATSLang
#PonyLang
#KokaLang
#Vallang
#ValeLang
#ProjectVerona
#Lean4
#isocpp
#cplusplus
#cpp
#modernCplusplus
#ProgrammingLanguages
#SoftwareHub #softwarefreedomproject #cairo #ankara #riyadh #atslang #ponylang #KokaLang #vallang #valelang #projectverona #Lean4 #isocpp #cplusplus #cpp #moderncplusplus #programminglanguages
Micah · @vtmicah
248 followers · 1992 posts · Server vmst.io>THE YEAR OF C++ SUCCESSOR LANGUAGES
https://accu.org/journals/overload/30/172/teodorescu/
by @LucTeo
I suspect by the time #vallang gets its pants on (and hashtag!) #rustlang will have already killed #cpp.
On the bright side, we all benefit from better languages, so my opinion is: may the best language win. I'm just happy people aren't ignoring performance anymore.