Bosque:a nova linguagem de programação da Microsoft sem loops

• A linguagem Bosque visa melhorar a qualidade do software e aumentar a produtividade dos programadores.
• Ele elimina fontes de complexidade como estado mutável, igualdade de referência e loops.
• É inspirado nas linguagens de programação TypeScript e JavaScript.

A programação estruturada e os tipos de dados abstratos se tornaram populares na década de 1970 e, desde então, os temos usado em quase todas as linguagens de programação. Essas metodologias permitiram que os programadores se concentrassem na intenção e no comportamento central de seu código, sem se preocupar com a arquitetura de hardware. Logo isso levou a uma era de ouro de compiladores e Ambiente de Desenvolvimento Integrado.

Para aumentar ainda mais a produtividade, melhorar a qualidade do software e habilitar vários novos compiladores e experiências de ferramentas de desenvolvedor, os engenheiros da Microsoft recentemente criaram uma nova linguagem de programação chamada Bosque.

Bosque é projetado para escrever código simples e fácil de raciocinar para máquinas e humanos. Ele oferece uma série de maneiras de evitar a "complexidade acidental" no processo de codificação e desenvolvimento.

Programação regularizada

O controle de fluxo em um modelo de programação estruturado é gerenciado por condições, sub-rotinas e loops. A nova linguagem de programação, por outro lado, se livra de fontes de complexidade como estado mutável, igualdade de referência e loops. É por isso que os desenvolvedores descreveram este paradigma como "programação regularizada".

Bosque é derivado de uma combinação de sintaxe inspirada em TypeScript e type plus ML e semântica inspirada em JavaScript / Node. Ele oferece suporte a um sistema de tipo não opinativo que permite aos programadores usar diferentes tipos nominais, estruturais e de combinação para codificar os recursos relevantes do domínio do problema de maneira flexível.

Referência:Microsoft | Indo além da programação estruturada

A linguagem não usa 'while', 'do while' e 'for' loops e tem uma abordagem completamente diferente quando se trata de aplicar as condições. Mark Marron, um cientista da computação da Microsoft, introduziu o conceito de ‘Functors’ para substituir loops estruturados enquanto aumenta a qualidade do software.

Funções com transformadores simbólicos

Bosque fornece operações especializadas de dados algébricos em massa e suporte integrado para nenhum (ou dados opcionais) processamento. Ele também suporta o pipeline para processamento de coleção e se e corresponder como expressões.

Há menos necessidade de um grande conjunto de combinadores de instrução devido ao rico conjunto de primitivas de expressão no Bosque. A linguagem fornece uma declaração (habilitado apenas para compilações de depuração) e verificar (habilitado para todas as compilações) como recursos de primeira classe, além de pós / pré-condições e invariantes de classe. Além disso, não há nenhuma construção de loop no Bosque.

Bosque pode ser extremamente útil em projetos de desenvolvimento baseados em nuvem cujas arquiteturas dependem de microsserviços, funções sem servidor e APIs RESTful. Ele pode permitir o carregamento a custo zero para inicialização rápida, rastreamento de sobrecarga ultrabaixo e tempo de execução com mínima variabilidade de desempenho.

O que vem a seguir?

Essa nova linguagem ainda está em fase de desenvolvimento e, se você quiser testá-la, o código está disponível no GitHub.

Os experimentos iniciais indicam que ele pode capacitar várias experiências de próxima geração, como empacotamento automático de API, difusão aprimorada, teste simbólico e compilação em tempo real com suporte a GC estável.

Leia:10 regras de codificação da NASA para escrever um programa crítico de segurança

Bosque está sujeito a revisão, vários bugs e funcionalidades estão faltando, e o desempenho ainda pode ser muito melhorado. Marron e sua equipe se concentrarão em experiências de ferramentas de desenvolvedor mais avançadas, como a definição automática de limites para o uso de memória ao longo do tempo e a verificação de aplicativos livres de erros de tempo de execução sem esforços adicionais.