Сотрудники Массачусетского технологического института в США (MIT) и Калифорнийского университета разрабатывают новый язык программирования для высокопроизводительных компьютеров. Так называемый "тензорный" язык программирования (A Tensor Language или сокращенно ATL) должен ускорить вычисления, сохранив высокую надежность. Ученые рассказали, что в основе ATL лежит существующий язык программирования Coq со встроенным помощником, способным проверять эффективность алгоритма строгим математическим методам. Еще одной полезной особенностью этого языка является тот факт, что программы, написанные на нем, всегда завершаются и не могут застрять в бесконечном цикле, как это бывает с Java.