Con un linguaggio di programmazione riduzionista o minimalista intendo un linguaggio che cerca di essere il più semplice possibile, purché Turing sia ancora completo. Vorrei un linguaggio di programmazione così riduttivo che abbia il livello di complessità non molto diverso da quello di una macchina di Turing.
Il linguaggio potrebbe accettare valori numerici, ma in tal caso dovrebbe essere limitato a numeri interi positivi e dovrebbe essere possibile simulare gli interi negativi e i punti mobili usando gli interi positivi. Oppure potrebbe non avere alcun valore numerico (chissà, la lingua potrebbe includere la stringa come uno dei suoi tipi, e potrebbe essere possibile simulare l'aritmetica con le stringhe).
Riprendendo, vorrei un linguaggio il più semplice possibile, pur mantenendo la capacità di fare quasi tutte le altre lingue.