Steel Lang

Език за програмиране от високо ниво, фокусиращ се върху строги типови гаранции при компилация.