Интересные у Маккарти были студенты однако:
https://en.wikipedia.org/wiki/Barbara_LiskovИзобрела следующий язык, про который я впервые слышу:
https://en.wikipedia.org/wiki/CLU_(programming_language)>Key contributions include abstract data types, call-by-sharing, iterators, multiple return values (a form of parallel assignment), type-safe parameterized types, and type-safe variant types. It is also notable for its use of classes with constructors and methods, but without inheritance.
Хотя возможно (наверняка) это я просто безграмотный.