Этот вопрос начался с

Мой перевод "ML для работающего программиста »(WorldCat) Л. С. ПОЛСОНА к F #, который использует функторы для примеров.Возможное желание перевестиЧисто функциональные структуры данных "(WorldCat) Крисом Окасаки, который использует функторы.ЧтениеТИПЫ И СТРУКТУРЫ КАТЕГОРИЙ - Введение в теорию категорий для работающего программиста "(WorldCat) Андреа Асперти и Джузеппе Лонго.Не понимая всего этого, в основном теория категорий.

SML.NET умею делать функторы и работаю с Microsoft .NET.

* Увидеть:SML.NET Руководство пользователя Раздел 4.8.2 Типы классов и функторы?

Я продолжаю видеть, что F # не может делать истинные функторы из-за некоторых ограничений в Microsoft .NET. *

Можно ли полностью кодировать ML-функторы в .NET (C # / F #)? *

Есть ли обходной путь для функтора?

Так что, если SML.NET может создавать функторы в .NET, то почемут F #? Что сделал SML.NET, что может F #т?

Чем больше я узнаю о функторах из теории категорий, тем больше я вижу их красоту и желаю иметь их в F #.

РЕДАКТИРОВАТЬ

В стремлении лучше понять связь между теорией категорий и функциональным программированием см. Эти вопросы и ответы. вCS: StackExchange.