> They need a much better idea of time (such as approaches to McCarthy's fluents).
I am not sure what the time problem is for functional programming, but I reckon the Elm language/framework solves problems with time in a very elegant way with it's flavour of FRP and Signals.
In Elm, you can play back your UI interactions in a debugger as they happened and watch the variables as they would have been!