Bosque:Nuevo lenguaje de programación de Microsoft sin bucles

• El lenguaje Bosque tiene como objetivo mejorar la calidad del software y la productividad de los programadores.
• Elimina las fuentes de complejidad como el estado mutable, la igualdad de referencia y los bucles.
• Está inspirado en los lenguajes de programación TypeScript y JavaScript.

La programación estructurada y los tipos de datos abstractos se hicieron populares en la década de 1970 y, desde entonces, los hemos estado usando en casi todos los lenguajes de programación. Estas metodologías permitieron a los programadores centrarse en la intención y el comportamiento central de su código sin preocuparse por la arquitectura del hardware. Pronto, esto condujo a una era dorada de compiladores y entornos de desarrollo integrados.

Con el fin de mejorar aún más la productividad, mejorar la calidad del software y permitir varios compiladores nuevos y experiencias de herramientas para desarrolladores, los ingenieros de Microsoft idearon recientemente un nuevo lenguaje de programación llamado Bosque.

Bosque está diseñado para escribir código simple y fácil de razonar tanto para máquinas como para humanos. Ofrece varias formas de evitar la "complejidad accidental" en el proceso de codificación y desarrollo.

Programación regularizada

El control de flujo en un modelo de programación estructurado se gestiona mediante condiciones, subrutinas y bucles. El nuevo lenguaje de programación, por otro lado, elimina las fuentes de complejidad como el estado mutable, la igualdad de referencia y los bucles. Es por eso que los desarrolladores han descrito este paradigma como "programación regularizada".

Bosque se deriva de una combinación de sintaxis inspirada en TypeScript y tipo más ML, y semántica inspirada en JavaScript / Node. Admite un sistema de tipos sin opiniones que permite a los programadores usar diferentes tipos nominales, estructurales y de combinación para codificar las características relevantes del dominio del problema de manera flexible.

Referencia:Microsoft | Más allá de la programación estructurada

El lenguaje no usa bucles "while", "do while" y "for" y tiene un enfoque completamente diferente cuando se trata de aplicar condiciones. Mark Marron, un científico informático de Microsoft, introdujo el concepto de "Functors" para reemplazar los bucles estructurados al tiempo que aumenta la calidad del software.

Funciones con transformadores simbólicos

Bosque proporciona operaciones de datos algebraicos masivos especializados y soporte integrado para ninguno (o datos opcionales) procesamiento. También es compatible con la canalización para el procesamiento de colecciones y si y coincidir como expresiones.

Hay menos necesidad de un gran conjunto de combinadores de declaraciones debido al rico conjunto de expresiones primitivas en Bosque. El idioma proporciona una aserción (habilitado solo para compilaciones de depuración) y comprobar (habilitado para todas las compilaciones) como características de primera clase, además de las condiciones posteriores / previas y las invariantes de clase. Además, no hay ninguna construcción de bucle en Bosque.

Bosque podría ser extremadamente útil en proyectos de desarrollo basados ​​en la nube cuyas arquitecturas dependen de microservicios, funciones sin servidor y API RESTful. Podría permitir una carga sin costo para un inicio rápido, seguimiento de sobrecarga ultrabajo y tiempo de ejecución con una variabilidad mínima del rendimiento.

¿Qué sigue?

Este nuevo lenguaje aún se encuentra en la fase de desarrollo y, si desea probarlo, el código está disponible en GitHub.

Los experimentos iniciales indican que puede potenciar varias experiencias de próxima generación, como la clasificación automática de API, fuzzing mejorado, pruebas simbólicas y compilación en tiempo real con soporte GC estable.

Leer:Las 10 reglas de codificación de la NASA para redactar un programa crítico de seguridad

Bosque está sujeto a revisión, hay varios errores y funciones faltantes, y el rendimiento aún se puede mejorar mucho. Marron y su equipo se centrarán en experiencias de herramientas para desarrolladores más avanzadas, como establecer límites automáticamente para el uso de la memoria a lo largo del tiempo y verificar las aplicaciones sin errores de tiempo de ejecución sin esfuerzos adicionales.