Nix의 지연 평가로 슈퍼 마리오 브라더스 3를 플레이하는 방법

Super Mario Derivations

Nix 언어의 지연 평가 덕분에 무한히 깊은 속성 집합을 만들 수 있습니다. 이 아이디어를 확장하여, 게임의 각 프레임을 파생(derivation)으로 만들고 버튼 입력을 속성 경로로 표현했습니다. 이를 통해 슈퍼 마리오 브라더스 3의 특정 프레임을 Nix 스토어에서 재현할 수 있으며, 입력 시퀀스를 파일로 제공하면 20,000번의 버튼 입력도 처리할 수 있습니다. 각 프레임은 별도의 파생이므로 이전 프레임을 재사용할 수 있어 효율적입니다.