Boomerang je univerzální programovací jazyk s inovativním typovým systémem. Je staticky typovaný a podporuje funkcionální i objektově orientované programování. Boomerang je navržen tak, aby byl jednoduchý, efektivní a snadno se učil.
Typový systém Boomerang je založen na principu typové inference, což znamená, že typ proměnné je automaticky odvozen z kontextu, ve kterém je použita. Díky tomu jsou programy Boomerang velmi stručné a snadno čitelné.
Boomerang má také inovativní systém modulů, který umožňuje vývojářům modulovat své programy způsobem, který je typově bezpečný a zároveň efektivní.
Boomerang je projekt s otevřeným zdrojovým kódem, uvolněný pod licencí Apache 2.0.