Change propagation in programming environments is an add-on at the framework level such as React.
There was a lot of work on dataflow virtual machines in the wake of Backus's Turing Award Lecture on formal functional programming. This is because dataflow programming is one way of thinking about change propagation in functional programming, and people were seriously re-visiting the conflict, going back to the first implementation of LISP, between the concepts of state and pure lambda calculus.
While I recognize that dataflow merely pushes that conflict to the end-points of the dataflow graph, it does seem to have practical merit as evidenced by frameworks attempting to grapple with it. However, in the decades since then, I've not noticed any functional programming languages that have inherent change propagation.
Am I missing something?