I think the problem is with more complex algorithms - where complex means dynamic in nature. Creating (new)/ destroying (existing) actors runtime is the hard p

I think the problem is with more complex algorithms - where complex means dynamic in nature. Creating (new)/ destroying (existing) actors runtime is the hard part in programming, because the complexity dimension explodes via that. +1 thingy in the system means many new possible runtime flows - in theory, even if it's not a de facto new flow; you have to prove if it is and handle accordingly. You can show it in a visualisation, but to be able to do that it must be an animation; time matters. I think a higher language like Idris will be able to generate these animations from the code to make it easier to absorb existing codebases.