Здравствуйте, INTP_mihoshi, Вы писали:

INT>Здравствуйте, Курилка, Вы писали:

К>>Вот возник вопрос:
К>>в ФЯ есть полиморфизм типов, что имхо есть очень близко к шаблонам C++. Наряду с шаблонами C++ есть generics Java и C#, но там используются несколько иные механизмы. Так вот — какой из подходов будет ближе к тому, как это работает в ФЯ?
К>>Заранее сенкс за любую инфу!

INT>Трудно найти людей, которые одновременно в курсе реализации полиморфизма типов в ФЯ и в еще не существующих языках

Я думаю, что множества скорее всего почти совпадают, но мощность у них очень мала
З.Ы. Интересно — кто-нибудь видел всуе живого теоретика/практика ФП? (в смысле близкого к разработке ФЯ)