Diese Frage begann mit

Meine Übersetzung von "ML für den Working Programmer"(WorldCat) von L. C. PAULSON an F #, die für die Beispiele Funktoren verwendet.Eventueller Wunsch zu übersetzen "Rein funktionale Datenstrukturen"(WorldCat) von Chris Okasaki, der Funktoren benutzt.Lesen "KATEGORIEN TYPEN UND STRUKTUREN - Eine Einführung in die Kategorietheorie für den arbeitenden Informatiker"(WorldCat) von Andrea Asperti und Giuseppe Longo.Ich verstehe nicht alles, hauptsächlich die Kategorietheorie.

SML.NET kann functors und arbeitete mit Microsoft .NET.
* Sehen:SML.NET-Benutzerhandbuch Abschnitt 4.8.2 Klassenarten und Funktoren?

Ich sehe immer wieder, dass F # aufgrund einiger Einschränkungen in Microsoft .NET keine echten Funktoren ausführen kann.
* Können ML-Funktoren vollständig in .NET (C # / F #) codiert werden?
* Gibt es eine Problemumgehung für functor?

Also, wenn SML.NET Funktoren auf .NET ausführen könnte, warum kann F # dann nicht? Was hat SML.NET getan, was F # nicht kann?

Je mehr ich über Funktoren lerne, die aus der Kategorietheorie stammen, desto mehr sehe ich deren Schönheit und möchte sie in F # haben.

BEARBEITEN

Um die Beziehung zwischen Kategorietheorie und funktionaler Programmierung besser zu verstehen, sehen Sie dieseQ & A beimCS: StackExchange.