Descrivo un possibile approccio. Definirei per prima cosa le operazioni che dovrebbero essere applicate alla struttura dei dati (se ho capito bene, l'hai già fatto). Usando la notazione Haskell (non ho familiarità con F #, spero che la notazione Haskell sia abbastanza intuitiva per te) per gli elenchi che avresti:
add :: a -> [a] -> [a]
remove :: Eq a => a -> [a] -> [a]
dove presumo che add sia solo l'operazione cons (:) , e remove è una funzione che rimuove la prima occorrenza dell'elemento specificato. Quindi, in Haskell queste sono già funzioni standard:
import Data.List(delete)
add = (:)
remove = delete
Quindi utilizzerei un tipo di dati per le voci del registro:
data Action a = Add a | Remove a
Quindi la fonte delle modifiche alla struttura dei dati genera un flusso di azioni su un tipo specifico. Se il tuo elenco contiene stringhe, hai
actions :: [Action String]
La tua funzione di aggiornamento sarà
update :: Eq a => Action a -> [a] -> [a]
update (Add x) = add x
update (Remove x) = remove x
...
Riassumendo:
- Si definiscono le operazioni elementari sulla struttura dei dati e si cerca di trovare un'implementazione efficiente per loro. Puoi trovare idee interessanti in Strutture dati puramente funzionali .
- Si definiscono le voci del registro come un tipo di dati con un costruttore di dati per operazione.
- L'origine delle azioni viene definita come produzione di un flusso di voci di registro.
- Tutte le posizioni nel codice che devono reagire alle azioni eseguono un flusso di voci di registro come voci di registro di input e di processo utilizzando la funzione di aggiornamento non appena sono disponibili.
Per ragioni di semplicità, ho definito la fonte delle azioni come una lista (pigra, possibilmente infinita). Ciò implicherebbe che i consumatori delle azioni debbano estrarre le voci di registro dalla loro origine. In un'applicazione GUI si preferisce spingere le voci di registro dalla loro origine ai vari componenti della GUI che devono essere aggiornati.
Quindi, l'ultimo aspetto che potresti dover considerare è come rendere la tua applicazione reattiva . (Forse hai già risolto questo problema nella tua applicazione, aggiungo solo alcuni suggerimenti per la completezza.)
Quello di cui hai bisogno è di trasformare il tuo elenco infinito (flusso) di voci di registro in un osservabile, e lasciare che i consumatori osservabili applichino la funzione di aggiornamento alla loro copia locale della struttura dati.
Nel caso tu sia interessato, ci sono sufficienti informazioni sulla programmazione reattiva in F # sulla rete, vedi per es. questo articolo .