Comments 8
прочитав перевод таки мало что понял, но заинтересовало, поэтому потратил 15 мин на чтение по диагонали оригинальной статьи, той что была представлена авторами языка на конференцию, что рекомендую, штука интересная
см здесь
http://people.csail.mit.edu/lamanda/assets/documents/LiuPOPL2022.pdf
и пример конструкций самого языка:
Всё уже было.
https://en.wikipedia.org/wiki/APL_(programming_language)
APL (назван по книге A Programming Language)[5] — язык программирования, оптимизированный для работы с массивами, предшественник современных научных вычислительных сред, таких как MATLAB, использует функциональную парадигму программирования.
Появился в: 1964
Странно, MATLAB (an abbreviation of "MATrix LABoratory") - это хоть и проприетарный язык, но он как раз работает с тензорами/матрицами по дефолту. Хотя, конечно, поддерживает не только матрицы.
В MIT разработали прототип первого в мире тензорного языка программирования с формальной верификацией оптимизаций