Podczas czytania artykułu Lens over Tea #1 znalazłem soczewkę united. Moja implementacja toJaki jest cel obiektywu zjednoczonego?
united :: Lens' a()
united f v = const v <$> f()
która jest prawie taka sama jak implementation in the Lens library.
Co sprawiło, że byłem kompletnie zaskoczony, dlaczego miałbym chcieć takiej funkcji w pierwszej kolejności? Czy są jakieś zastosowania tego obiektywu?
Nigdy nie widziałem ani nie używałem tego wcześniej. Ale wyobrażam sobie, że jest to użyteczne w taki sam sposób, jak funkcja id (która zwraca niezmienioną argumentację) lub monada Identity (która jest monadą bez "efektów", dokładnie równoważna nie używaniu w ogóle monad).
Te i inne podobne koncepcje (w tym typ ()!) Są w zasadzie strukturami "nie robić nic", więc wydają się bezużyteczne, gdy patrzy się na nie same. Ale stają się one przydatne, gdy bierze się pod uwagę polimorfizm, dając opcję "nie robić nic", aby przejść do ogólnych operacji.