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

Мой перевод "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.