Alef je vysokoúrovňový, univerzálny programovací jazyk, ktorý vytvorili Philip Wadler a Simon Peyton Jones. Je pomenovaný podľa prvého písmena hebrejskej abecedy.
Alef je založený na funkcionálnom programovacom jazyku Haskell a objektovo orientovanom jazyku Java. Je tiež ovplyvnený programovacím jazykom ML.
Alef je staticky typovaný jazyk. To znamená, že premenné musia byť deklarované s ich typmi predtým, ako sa môžu použiť.
Programy Alef sa skladajú z modulov. Modul môže obsahovať dátové typy, funkcie a triedy.
Alef má efektívny garbage collector, ktorý získava späť pamäť, ktorá sa už v programe nepoužíva.
Programy Alef možno spúšťať na akejkoľvek platforme, ktorá podporuje virtuálny stroj Java (JVM).
Alef je projekt s otvoreným zdrojovým kódom. Zdrojový kód je k dispozícii pod všeobecnou verejnou licenciou GNU.