El objetivo del trabajo es la implementación de algoritmos de matemática discreta en Haskell.

Haskell es un lenguaje de programación funcional desarrollado en los últimos años por la comunidad de programadores con la intención de usarlo como instrumento para la enseñanza de programación funcional. La motivación de este desarrollo es hacer el análisis y diseño de programas más simple y permitir que los algoritmos sean fácilmente adaptables a otros lenguajes de programación funcionales.

En comparación con otros lenguajes de programación imperativos, la sintaxis de Haskell permite definir funciones de forma más clara y compacta. En Haskell las funciones se consideran valores, al mismo nivel que los tipos enteros o cadenas en cualquier lenguaje. Por ello, al igual que es habitual que en todos los lenguajes una función reciba datos de entrada (de tipo entero, flotante, cadena, etc) y devuelva datos (de los mismos tipos), en los lenguajes funcionales una función puede recibir como dato de entrada una función y devolver otra función como salida, que puede ser construida a partir de sus entradas y por operaciones entre funciones, como la composición. Esta capacidad nos proporciona métodos más potentes para construir y combinar los diversos módulos de los que se compone un programa. Por ejemplo, emulando la forma de operar sobre funciones que habitualmente se usa en matemáticas.