Esta questão começou de

Minha tradução de "ML para o programador de trabalho"(WorldCat) por L. C. PAULSON para F # que usa functores para os exemplos.Desejo eventual de traduzir "Estruturas de Dados Puramente Funcionais"(WorldCat) por Chris Okasaki, que usa functores.Leitura "TIPOS DE CATEGORIAS E ESTRUTURAS - Uma introdução à teoria da categoria para o cientista da computação em funcionamento"(WorldCat) de Andrea Asperti e Giuseppe Longo.Não entendendo tudo, principalmente a teoria das categorias.

SML.NET pode fazer functores e trabalhou com o Microsoft .NET.
* Vejo:Guia do Usuário SML.NET Seção 4.8.2 Tipos de classe e functores?

Eu continuo vendo que o F # não pode fazer functores verdadeiros por causa de alguma limitação no Microsoft .NET.
* Os functores ML podem ser totalmente codificados no .NET (C # / F #)?
* Qualquer solução para o functor?

Então, se o SML.NET poderia fazer functores no .NET, então por que o F # não pode? O que o SML.NET fez que o F # não consegue?

Quanto mais eu aprendo sobre functores vindos da teoria das categorias, mais eu vejo a beleza deles e desejo tê-los em F #.

EDITAR

Em uma busca para entender melhor a relação entre teoria das categorias e programação funcional, veja estesQ & A aCS: StackExchange.