Alef je vysokoúrovňový, univerzální programovací jazyk, který vytvořili Philip Wadler a Simon Peyton Jones. Je pojmenován podle prvního písmene hebrejské abecedy.
Alef vychází z funkcionálního programovacího jazyka Haskell a objektově orientovaného jazyka Java. Je také ovlivněn programovacím jazykem ML.
Alef je staticky typovaný jazyk. To znamená, že proměnné musí být před použitím deklarovány se svými typy.
Programy v jazyce Alef se skládají z modulů. Modul může obsahovat datové typy, funkce a třídy.
Alef má účinný garbage collector, který získává zpět paměť, kterou již program nepoužívá.
Programy Alef lze spustit na libovolné platformě, která podporuje virtuální stroj Java (JVM).
Alef je projekt s otevřeným zdrojovým kódem. Zdrojový kód je k dispozici pod licencí GNU General Public License.