Reversible contextual Python with strong properties
I previously mentioned my effort to learn how best to do semi-formal development in Python . Here I report my progress, done during my end of year 2021 holiday break. The effort is to find a 'best design' to achieve certain properties, and I am doing this by rewriting code again and again to progress a 'design' towards a 'better design'. At rewrite 21 we have: A systematic way to write reversible, context aware code. Context specific algorithms can be defined over containers as well as over higher order functional applications. Logical and declarative 'free-variable' oriented style is possible. Function applications with context can be 'saved' to state and to be continued later or elsewhere. Quoted expressions can help define equalities and inclusion properties. Some insights: This could be Java or C++! Python is handy with a focus on 'abstract' arguments, but traits would carry us through an OO implementations. What about types? The qu...