sidnt / zionotes

⸮ 🔴zio notes | zio nursery 🔵?
0 stars 0 forks source link

lenses #15

Open sidnt opened 4 years ago

sidnt commented 4 years ago

with a deeply nested data structure, a state tree, a rich state tree, with lots of branches, so you have lots of tips and you have to have the right address to point you till the tip. it can get long, like doing getfrom.here.to.there.takeright.goleft.just.one.step.more.here.is.the.tip

what lenses propose is giving it

and this is where we will create different types from the same backing state dag. dag means you have defined the atoms well. this is like most normalised state of data in a slice of time. the data might only grow with time. ie, in the next jump, what we see are only newly added nodes. the data might only mutate in place with time. ie, in the next jump, what we see are only changes in the existing nodes.

what does it mean to store an Option[Person] in the db. it means whatever data structure we get back, to understand it, we use the Option abstraction.

any higher level abstraction can be constructed by reading from a set of these nodes. while the nodes might directly represent . to define that type, basically that map, a collection of references, we'll define the


ripland

with this state dag, and the passage of time.