barbersturgeon

They absolutely can. Take a look at http://reactivex.io for implementations in lots of imperative/oo languages. Functional reactive programming can also be done in these languages but may lack some of the convenince of a functional oriented language

It's used as one of the backends for Avalonia UI https://github.com/AvaloniaUI/Avalonia/blob/master/readme.md

(Not affiliated but I love this project. If it wasn't still alpha I'd use it for absolutely everything)

Sounds like prolog or minikanren would suit this - built in search is great as long as you don't accidentally make it exponential tine complexity

The jaded geek in me says just run some ethernet this WiFi is too much hassle

Could you elaborate on what you feel is currently grunt work? Do you mean the difficulty in building and debugging complex models or something more abstract?

I'm working on exactly this, I'd love to chat about your needs from such a tool - drop me an email (see my profile)

Honest question - why is that something to avoid? What does the floating point representation buy you that say an int64 doesn't, with the same choice of units ie. 1 = 10^-6 dollars?