The CuCh Machine

Boehm CuCh to mały, ale potężny interaktywny system programowania, który może działać jako:
(1) logiczny i arytmetyczny programowalny kalkulator
(2) funkcjonalny system programowania
(3) CuCh oznacza normalny reduktor kształtu

Maszyna CuCh reprezentuje:
- Formalne ramy syntezy logiki kombinatorycznej curry i rachunku lambda Kościoła w zestawie sprawdzonych ustawień matematycznych
- Sprawdzone i żyzne podejście opracowane przez 50 lat badań i wdrażania, od kluczowych artykułów z teoretycznej informatyki do jednego z pierwszych

Idea języka, który zawiera kombinatory Curry i rachunek lambda Kościoła, została po raz pierwszy przedstawiona w pracy Boehm Grossa "Wprowadzenie do CuCh" w teorii automatów
ed. Caianiello, Ass. Press (1966). Algorytm, który pozwala na redukcję dowolnego warunku CuCh
do normalnej formy została wyjaśniona w artykule autorstwa Corrado BohmDezaniego "Maszyna CuCh: automatyczne traktowanie zmiennych zmiennych" IJCIS (czerwiec 1972 r. i czerwiec 73 r.).
Po słynnej maszynie CuCh opracowanej z Wolfem Grossem (1966), pod koniec lat 80-tych
Corrado Bohm podjął się realizacji projektu Cuch Machine. Kilku studentów Corrado pomogło mu w tym projekcie, w szczególności Stefano Guerrini i jeden z autorów
(Luigi Mazzucchelli).

Możliwości, przenośność (np. Do aplikacji) i jej potencjalna rola w kontekście
szerokie zastosowanie paradygmatu programowania funkcjonalnego sprawia, że ​​CuCh jest jedną z kluczowych maszyn redukcji w informatyce.