-
JavaScript é a linguagem de programação mais usada ativamente e conta com a especificação da linguagem chamada ECMA-262, mantida pelo tc39, além de diversas implementações.
-
Em especial, surgiram problemas porque nas versões anuais do E 262 faltava um mecanismo automatizado para verificar a correção e a conformidade da especificação.
-
Foi proposta uma nova abordagem que extrai automaticamente uma especificação mecanizada a partir de uma especificação Pro, permitindo diversas aplicações, como a síntese de programas de teste de conformidade e a realização de análise de tipos.
-
A partir da especificação mecanizada extraída, é possível gerar automaticamente implementações de linguagens de propósito específico, e ela foi disponibilizada como open source para uso real no desenvolvimento da linguagem JavaScript.
-
Uma abordagem promissora para o desenvolvimento de linguagens de programação é primeiro projetar a linguagem com uma especificação mecanizada e, a partir dela, gerar tanto a especificação Pro quanto a implementação da linguagem; isso se mostrou viável e prático no JavaScript.
-
Mais detalhes sobre esse trabalho podem ser encontrados na edição de abril de 2024 da Communications da ACM, que apresenta um método aplicável tanto a linguagens de programação existentes quanto a novas linguagens.
4 comentários
É uma pena que matérias como esta, que apresentam esse tipo de coisa, raramente forneçam links para o artigo original.
Em algumas matérias científicas de certos veículos, eles colocam o DOI no final para que o leitor possa encontrar o artigo apresentado; eu gostaria que essa prática se difundisse mais.
De qualquer forma, então eu mesmo procurei e trouxe o artigo e o link do GitHub mencionados na matéria acima.
Ah, eu também só tinha trazido a notícia, então obrigado por complementar com informações sobre o artigo!
eumaparece um erro de digitação!Abaixo está o vídeo relacionado no YouTube.
https://www.youtube.com/watch?v=JGxc-KIUnQY
O conteúdo acima foi resumido usando o Corely.
https://corely.ai/content/…