Мне нужен элемент управления GUI для обновления всякий раз, когда обновляется постоянная структура данных (PDS).
Мне нужно обновить PDS, когда пользователь выполняет определенные действия.
Так, например, SWT Tree и простая древовидная структура данных.
Есть много ручных, безобразных способов сделать это, но мне кажется, что это очень распространенная ситуация, и, скорее всего, там будет очень чистый подход.
Я читал о FRP, линзах, актерах и т. Д. ... кажется, что может быть очень простой, чистый и эффективный подход к решению подобных ситуаций.