OberonCore

Что, эту идею тоже в штыки примете?

https://scanlibs.com/nachala-programmirovaniya/

А в чём идея? В чём она особенна, если, как можно судить из короткого описания, речь о С++? При чём тут штыки?

дело не в С++, просто в свое время Страуструп заинтересовался этой идеей и внес изменения в язык.

читайте в самом начале

Чисто человеку эти 5-15 строк быстрее написать, чем найти подходящий код. Мне так кажется. Может быть когда ИИ будет писать программы, это и будет иметь смысл.
Или как они должны использоваться в других программах?

Идея давно известна, что получилось в С++, мы тоже знаем. Что нового для обсуждения? Фамилия Степанова? Так и это известно. Штыки-то где?

Я так понимаю, Kubanych интересуется не тем, полезно ли обобщённое программирование, а тем, почему его не добавляют в КП. Не добавят, стоит ли продолжать эту тему?

Вот лучше эту ссылку используйте для загрузки книги: https://libgen.pw/download.php?id=1183927

"каждый такой алгоритм должен работать на любых типах данных, к которым он применим."
Казуистика (IMHO): вообще-то, алгоритм обязан работать на типах данных, к которым он применим. Ведь с "не на любых" бессмыслица получается.

А так, почитаем, лишним не будет.
libgen - чумовая библиотека.

Видимо, это тема продолжает дискуссию про шаблоны.

Когда-то для Паскаль была библиотека -- AntiDOT ("против дот-нета") -- "нешаблонная" реализация "STL":
https://sourceforge.net/projects/adot/

Оберон не использую и не в курсе, насколько уместны/применимы подобные идеи, но, по крайне мере, архитектура библиотеки довольно таки удобна (а в некоторых аспектах лучше, чем "с шаблонами").

В штыки и в колья.

если они проигрывают в том, что, например, при сравнении легко перепутать = и ==, или в цикле for легко перепутать где вводится инкремент счетчика, а где проверяется условие выхода из цикла,

то, значит, выигрывают в другом, и это другое полезно бы привнести в мир Оберонов,
и этим, я полагаю, является, обобщенное программирование.

обобщенное программирование по скорости разработки почти приближается к программированию с динамической типизацией,
однако дает скорость выполнения компилированного (а не интерпретируемого в случае с динамической типизацией) кода.
исходники получаются сравнительно маленькими, легко читаемыми.

Степанов хороший математик и программист, но плохой продавец.

Преимущества обобщенного программирования люди видят на поздней стадии, пройдя сначала всю муть C++.
А если бы преимущества обобщенного программирования можно было бы увидеть сразу...

Довольно активно применял Ada.Containers.Hashed_Maps и Ada.Containers.Ordered_Maps и не могу сказать, чтобы мне было быстрее написать красно-чёрное дерево или хеш-таблицу. Я уж не говорю про ошибки при таком написании.

Вообще, идея обобщенного программирования интересная и, в принципе, её можно реализовать и в Обероне, где нет шаблонов, для этого нужны только процедурные переменные и чуть больше придётся написать кода.