Open michielbdejong opened 5 months ago
Very interesting problem statement, and exciting actually that it mentions a todo list because that's task tracking which makes it relevant for our research grant! :)
First thoughts:
To take the todo-list app,
Item
Item#title: string
, Item#completed: bool
ItemList: Item[]
ItemList
is an array is enough for now, will seeState
: each user has one ItemList
SetCompleted of id * bool
SetTitle of id * string
Remove of id
Add of string
Now migrate from array of objects to three separate lists. Define a Lens for that?
And automatically transform the update
and render
functions?
I'm reading the Cambria Project paper now, this reference to Confluent is interesting!
Documenting the existing lens operations of Cambria project
How would we solve the challenge described in section 7 of https://arxiv.org/pdf/2309.11406 ?