La biblioteca core.match implementa un algoritmo de compilación de coincidencia de patrones que utiliza la noción de "necesidad" de la coincidencia de patrones diferida.
core.match