Какая загадочная у вас душа
Ну, в общем, я думаю можно выделить 3 группы языков по степени удалённости от аппаратной платформы:
1. Уровень 0. Кроме Assembler'a здесь вроде ничего нет. В ранней юности я, правда программил в машинных кодах (Электроника-60, в ларьке пиво по 44 копейки литр, по пять литров на рыло и утром как огурчик, море девушек, все красивые, всех хочется и имеется, эх времечко...), но этот путь мы отметём как экстремальный
2. Т.н. "высокоуровневые ассеблеры", т.е. почти все императивные языки с изначально задуманной компиляции в машинные коды - Pаscal, Oberon, C, C++ и т.д. Наш выбор - C/C++ из-за высокой развитости, распространнёности и кроссплатформенности
3. Не совсем языки, скорее межплатформенные среды - Java, .NET
Думаю, именно 3-й вариант боллее перспективен в смысле распространения, первые два постепенно отойдут в область узкоспециализированных применений
Есть ещё одна категория - функциональные языки - всякие CAML, OCAML, и иже с ними. Хрен их знает, может и получат рапростаранение.