I am reminded of my thought that reflex [1] is a good fit for the Secure
Polling System poller.
* Type safety and expressiveness could be helpful in a project where
security and mathematics are such concerns.
* reflex can compile to apps and websites.
My prototype [2,3] is structured such that conversion to a functional
reactive programming system should be straightforward.
[1]
https://hackage.haskell.org/package/reflex
[2]
https://thomaslevine.com/scm/securepolling/dir?ci=tip
[3]
https://thomaslevine.com/scm/securepolling/uv/doc/_build/html/index.html