Lamda-Hirte Play

In dem Rätsel Spiel „Lambda-Hirte“ bekommt man die Aufgabe, auf der Wiese grasende Schafe zurück in die Scheune zu bringen. Diese Aufgabe erfüllt man, indem man Teleporter auf verschiedene Gras-, Sand-, Steinfelder oder andere Teleporter platziert, welche auf wiederum andere Felder abbilden. Wenn der Spieler das Kommando gibt, werden die Schafe auf das Zielfeld teleportiert.

Die Teleporter die man nutzt, können durch typisierte Lambda-Terme beschrieben werden. Es sind sehr simple, da es nur einen Eingabe- und einen Ausgabe-Typ gibt. Als Eingabe/Ausgabe werden die Tiles (Gras, Stein oder Sand) genutzt. Beim Typisierte-Lambda-Kalkül können auch mehrere Eingabe- und Ausgabe-Typen geben, wir haben uns allerdings dagegen Entschieden, weil es das Spiel zu kompliziert macht.