> The algorithms and all intermediate products would have to match, at every step of the programs

This is where the functional programming model really shines - there typically isn't a bunch of hidden state floating around to break hot-reloading