It looks like most people here are so eager to jump on the "this feature is good, this sucks, overal I'm not impressed"-bandwagon (with the typically unwarrante

It looks like most people here are so eager to jump on the "this feature is good, this sucks, overal I'm not impressed"-bandwagon (with the typically unwarranted strong opinions that programmers always have when it comes to this) that they didn't bother to explore the rest of the website in more detail. Go to "people" page and you see that it's a language implemented by professors, PhDs and master students from the Programming Language group at Waterloo[0][1]. Scroll down and you'll see that a number of these features came from the master thesis of a student: Alumni Ph.D. Glen Ditchfield, 1992 Thesis title: Contextual Polymorphism Masters Thierry Delisle, 2018. Thesis title: Concurrency in C∀. Rob Schluntz, 2017. Thesis title: Resource Management and Tuples in C∀. Rodolfo Gabriel Esteves, 2004. Thesis title: Cforall, a Study in Evolutionary Design in Programming Languages. Richard Bilson, 2003 Thesis title: Implementing Overloading and Polymorphism in Cforall David W. Till, 1989 Thesis title: Tuples In Imperative Programming Languages. USRA Andrew Beach, Spring 2017. Line numbering, Exception handling, Virtuals So basically, it's a research language, more-or-less developed one student at a time. [0] https://plg.uwaterloo.ca/~cforall/people https://plg.uwaterloo.ca/~cforall/people [1] https://plg.uwaterloo.ca/ https://plg.uwaterloo.ca/