Alef est un langage de programmation de haut niveau, à usage général, créé par Philip Wadler et Simon Peyton Jones. Il porte le nom de la première lettre de l'alphabet hébreu.
Alef est basé sur le langage de programmation fonctionnel Haskell et le langage orienté objet Java. Il est également influencé par le langage de programmation ML.
Alef est un langage à typage statique. Cela signifie que les variables doivent être déclarées avec leur type avant de pouvoir être utilisées.
Les programmes Alef sont constitués de modules. Un module peut contenir des types de données, des fonctions et des classes.
Alef dispose d'un collecteur de déchets efficace qui récupère la mémoire qui n'est plus utilisée par un programme.
Les programmes Alef peuvent être exécutés sur toute plate-forme prenant en charge la machine virtuelle Java (JVM).
Alef est un projet open source. Le code source est disponible sous la licence publique générale GNU.