Programozás kombinátorokkal

Ezen a standon a világ legegyszerűbb programozási nyelvén kell egyszerű feladatokat megoldani. A nyelvet Moses Schönfinkel fejlesztette ki az 1920-as években, ez a legrégebbi Turing-teljes nyelv, amin tetszőleges algoritmus (számítógépes/formális program) megfogalmazható. Azóta sem sikerült egyszerűbb leírást találni: a nyelv 3 operátorból és 2 egyenlőségből (átírási szabályból) áll. . A magasabb megfigyelés-alapú típuselmélet (angolul Higher Observational Type Theory, röviden HOTT) a kombinátor-kalkulus egy finomított változata, melyben programokon túl matematikai bizonyításokat is lehet írni.

A témában Dr. Kaposi Ambrus a 101170308 — HOTT — ERC-2024-COG projekt keretében végez kutatásokat Karunkon.

A program 09.25-én 15:00 és 21:00 óra között szabadon látogatható.