Какие-то товарищи тут сделали кошерный типизированный APL-подобный язык (не write-only!). Эталонная штука шейдеры писать и числомолотить. Значительно круче A, J и K, с матрицами работать удобней чем в Матлабе: http://www.ccs.neu.edu/home/pete/pub/esop-2014.pdf
Чем мне это нравится, так это тем что оно прямо видно как обобщается в будущем до квантовых вычислений. Такой язык нужен прямо сейчас для шейдеров и числомолотилок на GPU, и очень будет нужен для числомолотилок на QPU, когда оне появятся.
P.S. уступает оно пока в разных аспектах Q и R. Первому за счёт существования в оном элегантно-вкрученного в самое ядро Query-языка, а вот такая штука для квантовых вычислений как раз пригодится. Второму чисто за счёт незрелости, по моим оценкам. Языку для вычислений надо проходить стресс-тест имплементацией всех примеров из SICP, SICM и ненаписанных ещё
SICNM (механики сплошных сред),
SIHEP (физики высоких энергий),
SINLD (нелинейной динамики),
SIQPC (квантовой физики и химии)
— последние четыре выдуманы, т.к. это как раз те области, где числомолотилки сейчас потребны наиболее.
Чем мне это нравится, так это тем что оно прямо видно как обобщается в будущем до квантовых вычислений. Такой язык нужен прямо сейчас для шейдеров и числомолотилок на GPU, и очень будет нужен для числомолотилок на QPU, когда оне появятся.
P.S. уступает оно пока в разных аспектах Q и R. Первому за счёт существования в оном элегантно-вкрученного в самое ядро Query-языка, а вот такая штука для квантовых вычислений как раз пригодится. Второму чисто за счёт незрелости, по моим оценкам. Языку для вычислений надо проходить стресс-тест имплементацией всех примеров из SICP, SICM и ненаписанных ещё
SICNM (механики сплошных сред),
SIHEP (физики высоких энергий),
SINLD (нелинейной динамики),
SIQPC (квантовой физики и химии)
— последние четыре выдуманы, т.к. это как раз те области, где числомолотилки сейчас потребны наиболее.