Nova linguagem de programação desenvolvida no MIT pode trazer benefícios para computação de alto desempenho

Na “ATL” (“A Tensor Language”, na sigla em inglês), os fatores de velocidade e confiabilidade são ambos prioridades, sem competirem entre si. Tudo na linguagem destina-se a produzir um único número ou um tensor — matrizes computacionais com mais de duas dimensões. A ATL é baseada em outra linguagem, a “Coq”, que tem a capacidade inerente de provar asserções de forma matematicamente rigorosa.

Fonte: site MIT News