Eine neue Frage brachte mich dazu, mich zu fragen, wie man ein
%Vor%in ein
%Vor% Es gibt einen einfachen Weg, es wirklich langsam zu machen, indem man sich in die Liste mit !! indexiert, aber es ist ziemlich unglaublich ineffizient. Es fühlt sich an, als sollte es genügend Parameter geben, um einen ähnlichen Trick wie in reflection zu ziehen, aber ich kann nichts herausfinden. Ist es überhaupt möglich, dies effizient zu tun?
Testen Sie meine Idee in den Kommentaren, Sie können dies tatsächlich direkt schreiben, indem Sie ALens :
ALens basiert auf dem Pretext funktor:
Dies ermöglicht die Verwendung eines einzigen Functor , um alle von ihnen darzustellen, zumindest für die Linsenverwendung.
Ich frage mich immer noch, ob es eine Methode gibt, die allgemein und nicht nur für Linsen funktioniert.