This essay attempts to make Conal’s vision more understandable to less mathematically-oriented programmers, and also show how this perspective could be the foundation for a new era of programming, not just with user interfaces, but also multi-node computing, storage, machine learning, etc.
void emptyVase( int flowersInVase ) {
if( flowersInVase > 0 ) {
// take one flower and
emptyVase( flowersInVase - 1 ) ;
} else {
// the vase is empty, nothing to do
}
}
L. Schröder, и T. Mossakowski. Algebraic Methodology And Software Technology (AMAST 2002), том 2422 из Lecture Notes in Computer Science, стр. 99--116. Springer; Berlin; http://www.springer.de, (2002)