Wir wissen, dass jeder generische TypF[_] mitmap Methode, die einigen @ entspricGesetz, ist ein functor. Zum Beispiel,List[_], Option[_], undF[A] = Env => A sind functors. Ich frage mich nur, ob diese Funktor-Abstraktion sinnvoll ist.

Wie kann ich die Tatsache nutzen, dass es sich um Funktoren handelt? Können Sie ein Beispiel für eine nicht triviale Berechnung zeigen, bei der das @ verwendet wirmap und eigentlich nützlich sein?