OberonCore
https://forum.oberoncore.ru/

Аналог шаблонов С++ в Компонентном Паскале.
https://forum.oberoncore.ru/viewtopic.php?f=81&t=2153
Страница 2 из 2

Автор:  Валерий Лаптев [ Суббота, 02 Октябрь, 2010 09:57 ]
Заголовок сообщения:  Re: Аналог шаблонов С++ в Компонентном Паскале.

Info21 писал(а):
Валерий Лаптев писал(а):
Хотя сделано, конечно, красиво.
Это не красота, а красивость.

Шаблоны С++ - это первая реальная реализация синтаксических макросов, описанная у Кемпбелл-Келли. Еще в Клиппере была, но там как-то это оставалось за кадром. А тут дали этот инструмент в руки программерам.
Как всякий нетривиальный инструмент, шаблоны обнаружили неожиданные применения... :)

Автор:  kemiisto [ Суббота, 02 Октябрь, 2010 11:40 ]
Заголовок сообщения:  Re: Аналог шаблонов С++ в Компонентном Паскале.

Валерий Лаптев, параметризованные типы данных - лучший выбор для коллекций, а абстрактные типы (Ваш пример) полезны для семейств классов. Подробности в приложении.

P.S. Второй автор - разработчик Scala. Там есть и то, и другое. :)

Вложения:
Комментарий к файлу: A Statically Safe Alternative to Virtual Types
10.1.1.18.3290.pdf [256.97 КБ]
Скачиваний: 495

Автор:  Валерий Лаптев [ Суббота, 02 Октябрь, 2010 12:41 ]
Заголовок сообщения:  Re: Аналог шаблонов С++ в Компонентном Паскале.

Понятно, что механизм шаблонов много чего проверяет автоматом. Например, допустимость использования данного типа в данном контексте. Вручную этого не делается.
И все же у меня такое ощущение (после 35 лет работы в сфере разработки ПО и обучения программистов ), что и С++ и без шаблонов слишком переусложненный язык. А шаблоны - добавляют.
Слишком много усложнений и в языке, и в компиляторе.
Вот в КП можно было бы попробовать параметризованный модуль. Но и то, аккуратно надо рассмотреть вопрос о расширяемых записях в шаблонном модуле.

Страница 2 из 2 Часовой пояс: UTC + 3 часа
Powered by phpBB® Forum Software © phpBB Group
https://www.phpbb.com/