Alef es un lenguaje de programación de alto nivel y propósito general creado por Philip Wadler y Simon Peyton Jones. Debe su nombre a la primera letra del alfabeto hebreo.
Alef se basa en el lenguaje de programación funcional Haskell y en el lenguaje orientado a objetos Java. También está influenciado por el lenguaje de programación ML.
Alef es un lenguaje de tipado estático. Esto significa que las variables deben ser declaradas con sus tipos antes de que puedan ser utilizadas.
Los programas Alef se componen de módulos. Un módulo puede contener tipos de datos, funciones y clases.
Alef tiene un recolector de basura eficiente que recupera la memoria que ya no está siendo utilizada por un programa.
Los programas Alef pueden ejecutarse en cualquier plataforma que soporte la máquina virtual Java (JVM).
Alef es un proyecto de código abierto. El código fuente está disponible bajo la Licencia Pública General GNU.