Alef ist eine hochentwickelte, allgemeine Programmiersprache, die von Philip Wadler und Simon Peyton Jones entwickelt wurde. Sie ist nach dem ersten Buchstaben des hebräischen Alphabets benannt.
Alef basiert auf der funktionalen Programmiersprache Haskell und der objektorientierten Sprache Java. Sie ist auch von der Programmiersprache ML beeinflusst.
Alef ist eine statisch typisierte Sprache. Das bedeutet, dass Variablen mit ihren Typen deklariert werden müssen, bevor sie verwendet werden können.
Alef-Programme setzen sich aus Modulen zusammen. Ein Modul kann Datentypen, Funktionen und Klassen enthalten.
Alef verfügt über einen effizienten Garbage Collector, der Speicher zurückfordert, der nicht mehr von einem Programm verwendet wird.
Alef-Programme können auf jeder Plattform ausgeführt werden, die die Java Virtual Machine (JVM) unterstützt.
Alef ist ein Open-Source-Projekt. Der Quellcode ist unter der GNU General Public License verfügbar.