О! Спасибо. Открывает глаза на его путь. Ну так-то я знал, что у него с математикой где-то швах. А тут видно. Ну что ж, имеем что имеем. И на том спасибо. Конечно, называть его computer scientist я б не стал. Автор очень популярного языка. Всё. В этом смысле Гвидо как-то более продвинутый - хотя тоже отказывался даже знать, что за монады такие. Когда Вадлер впаривал. Wadler да, computer scientist.
Страуструпъ не понялъ, что такое co-product types и поэтому не включилъ ихъ въ С++, хотя въ Алголѣ-68 и въ Симулѣ они уже были, кажется. Онъ думалъ, что co-product types - это лишь такое неправильное использованiе объектовъ и ихъ наслѣдованiя, а принципы ООП были для него важнѣе какой-то тамъ логики или математики.
То-то и оно. Человек без образования, но с понтами. А ведь в Орхусе он вполне мог бы встретиться с настоящими математиками, серьёзными категорщиками. Но понты, понты. 45 языков выучил (ни один не понял, кажется).
Или ему было интересно возиться с реализациями разных ООПишных механизмов, связанных с множественным наследованием, а это было скучно. Вот и ходил С++ по пустыне 40 лет, пока co-product types, наконец, не появились.
Кстати о вреде харизматичного лидера при разработке ЯП.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
no subject
Date: 2026-03-02 14:07 (UTC)no subject
Date: 2026-03-02 14:56 (UTC)Не забудемъ, не простимъ!
no subject
Date: 2026-03-02 16:12 (UTC)no subject
Date: 2026-03-02 23:04 (UTC)Кстати о вреде харизматичного лидера при разработке ЯП.
no subject
Date: 2026-03-02 17:15 (UTC)