Пока что окучивают тему дайверсити и т.п. Вангую, что в ближайшие годы в крупных корпорациях SJW-тренинг станет обязателен для всех разработчиков ML - по крайней мере, human-facing (рекламой и спамом торговать можно будет и без этого, угнетённые вроде не жалуются, что им шлют мало спама).
Сертифицированные программисты на Idris, конечно, тоже тема, но боюсь, большинство желающих пилить бабло и словей таких не знает. Хотя, конечно, если правильно взяться за дело...