Este artículo muestra cómo reconstruir en Haskell una de las teselaciones de animales del artista holandés M. C. Escher —en la que el plano se cubre completamente con figuras de aves que encajan entre sí sin solaparse— empleando la biblioteca diagrams y su backend Rasterific para generar una imagen PNG.
El texto parte del concepto de teselación, definido como la cobertura de una superficie mediante formas repetidas, cuyo ejemplo más familiar es el damero. A partir de ahí, explica el principio matemático clave: si cada lado de un cuadrado se sustituye por una curva y los lados opuestos comparten esa misma curva, las teselas encajan perfectamente para cubrir el plano. Esta idea se traslada al código Haskell mediante un tipo de dato algebraico (ParallelogramTile) que almacena dos curvas laterales (Trail' Line V2 a), las cuales se concatenan —invirtiendo dos de ellas— para formar un contorno cerrado del tipo Trail' Loop V2 Double.
El autor obtiene los puntos de control muestreando el dibujo original con Inkscape y los introduce en una función cubicSpline, que genera curvas suaves que pasan por todos los puntos especificados. Para cubrir todo el plano con la tesela, el artículo describe funciones genéricas que calculan la traslación necesaria entre copias, descartan las teselas cuya bounding box no intersecta con el área visible y dibujan el resultado final.