Nix: el árbol infinito que convierte cada botón de Super Mario en una derivación

Super Mario Derivations

El lenguaje Nix es perezoso: solo evalúa lo que necesitas. Eso permite conjuntos de atributos infinitos, como los de Nixpkgs, que se contienen a sí mismos. El autor explota esta propiedad para crear un emulador de NES donde cada fotograma de Super Mario Bros. 3 es una derivación en el store de Nix. Pulsar botones equivale a recorrer un árbol infinito generado bajo demanda, y el store actúa como historial de estados guardados. El resultado: puedes reproducir el juego con Nix, y cada movimiento es reproducible y cacheable.