Development languages for operating systems