Durante la lettura dell'articolo Lens over Tea #1, ho trovato l'obiettivo united. La mia implementazione èQual è lo scopo della lente unita?
united :: Lens' a()
united f v = const v <$> f()
che è praticamente la stessa della implementation in the Lens library.
Ciò che mi lascia completamente sconcertato è perché dovrei volere una funzione come questa in primo luogo? Ci sono usi di questo obiettivo?
Non l'ho mai visto o utilizzato in precedenza. Ma immagino sia utile allo stesso modo della funzione id (che restituisce il suo argomento non modificato) o la monade Identity (che è una monade senza "effetti", esattamente equivalente a non usare affatto le monade) sono utili.
Questi e altri concetti simili (incluso il tipo ()!) Sono fondamentalmente strutture "do-nothing", quindi sembrano inutili quando li guardi da soli. Ma diventano utili quando il polimorfismo è coinvolto, offrendoti un'opzione "fai-nulla" per passare alle operazioni generali.