Beim Lesen durch den Lens over Tea #1 Artikel fand ich das united Objektiv. Meine Implementierung istWas ist der Zweck der Einheitslinse?
united :: Lens' a()
united f v = const v <$> f()
die so ziemlich das gleiche wie das implementation in the Lens library ist.
Was mich völlig verblüfft ist, warum sollte ich eine Funktion wie diese in erster Linie? Gibt es irgendwelche Verwendungen dieses Objektivs?
Ich habe noch nie zuvor gesehen oder verwendet. Aber ich kann mir vorstellen, dass es genauso nützlich ist wie die id Funktion (die das Argument unverändert zurückgibt) oder die Identity Monade (die eine Monade ohne "Effekte" ist; genau so, als ob sie überhaupt keine Monaden verwendet).
Diese und andere ähnliche Konzepte (einschließlich der () Art!) Sind im Grunde "Do-Nothing" Strukturen, so dass sie nutzlos erscheinen, wenn Sie sie selbst betrachten. Aber sie werden nützlich, wenn Polymorphismus involviert ist, indem sie dir eine "nichts machen" -Option geben, um zu allgemeinen Operationen überzugehen.