A lencsékkel egymásba ágyazott rekordokat frissíthetsz (azokra a nyelvekre jellemző, amelyek változtathatatlan adatokkal dolgoznak).
Az egymásba ágyazott, változtathatatlan rekordok mezőinek frissítése elég bosszantó tud lenni. Az ilyen esetek kódja pont olyan nehézkes, amilyen mély maga a szerkezet. Ha van mondjuk egy Person, amely Address-t tartalmaz, abban egy Street, abban pedig egy Number, akkor a Number frissítéséhez először létre kell hoznod egy új Street-t, amely az új Number-t tartalmazza, majd egy új Address-t, amely az új Street-t tartalmazza, végül pedig egy új Person-t, amely az új Address-t tartalmazza. Már el is vesztetted a fonalat?
A probléma egyik megoldása a lenses használata.
Valósíts meg több függvényt, amelyek lencsékkel érik el a rekordokat. A tesztkészlet lehetővé teszi azt is, hogy teljesen elhagyd a lencséket, így más megközelítésekkel kísérletezhetsz.
Iratkozz fel az Exercism-re, hogy megtanuld és elsajátítsd a(z) Idris nyelvet 58 feladat segítségével, valódi emberi mentorálással, mindez ingyen.