Pure

Pure es un lenguaje de programación creado por Frédéric Lizotte. Se basa en el concepto de programación funcional, y está influenciado por los lenguajes Haskell, OCaml y Miranda. Pure es un lenguaje de programación funcional puro, estáticamente tipado. Presenta inferencia de tipos, funciones de orden superior, tipos de datos inmutables y un evaluador perezoso. El intérprete de Pure está escrito en C++, y el lenguaje tiene una interfaz de funciones extranjeras (FFI) ligera para llamar a código C. El lenguaje Pure se publica bajo los términos de la Licencia Pública General GNU versión 3 o posterior.