The CuCh Machine

De Boehm CuCh is een klein maar krachtig interactief programmeersysteem dat kan functioneren als:
(1) een logische en rekenkundige programmeerbare calculator
(2) een functioneel programmeersysteem
(3) een CuCh heeft een normale vormverkleiner

De CuCh-machine vertegenwoordigt:
- Een formeel raamwerk voor de synthese van de curry combinatorische logica en de lambda-calculus van de kerk in een reeks beproefde mathematische omgevingen
- Een bewezen en vruchtbare aanpak die is ontwikkeld gedurende meer dan 50 jaar onderzoek en implementatie, van kernwoorden in de theoretische informatica tot een van de eerste

Het idee van een taal die curry-combinatoren en lambda-calculus van de kerk omvat, wordt eerst gepresenteerd in de paper van Boehm Gross "Inleiding tot de CuCh" in Automata Theory
ed. Caianiello, Ass.Press (1966). Een algoritme waarmee de CuCh-term kan worden verlaagd
naar de normale vorm wordt toegelicht in een paper van Corrado BohmDezani "De CuCh-machine: de automatische behandeling van gebonden variabelen" IJCIS (juni 1972 en juni 73).
Na de beroemde CuCh Machine bedacht met Wolf Gross (1966), eind jaren 80
Corrado Bohm ondernam het project om een ​​nieuwe Cuch Machine te realiseren. Verschillende studenten van Corrado hielpen hem in dit project, in het bijzonder Stefano Guerrini en een van de auteurs
(Luigi Mazzucchelli).

De mogelijkheden, de draagbaarheid (bijvoorbeeld voor een app) en de potentiële rol ervan in de context van de
Het wijdverspreide gebruik van het Functional Programming-paradigma maakt de CuCh een van de belangrijkste reductiemachines in de informatica.