The newest language to have made an entry into the programmers’ community is BOSQUE. An open source language by Microsoft, it has been developed by Microsoft computer scientist Mark Marron. Marron, who has been working to make the language a reality over the years, believes that BOSQUE is an effort to move beyond the structured programming model that rose to popularity in the 1970s.
What Does BOSQUE Bring To Table?
With BOSQUE, Marron aims to change the behaviour of the programme. The central goal of the language is to build an automated zero-effort code validation. Marron shares that BOSQUE also aims to automate SemVer (semantic versioning) checking and compilation to use SIMD hardware, such as AVX or SSE. While this has been achieved only partly until now, researchers are trying to overcome the challenges to bring out more practical implementations that are viable in the long run.
While facilitating regularised programming, Marron aims to bring a version of BOSQUE that eliminates major sources of errors, simplifies code understanding and modification, and converts many automated reasoning tasks over code into trivial propositions. It aims to get rid of sources of complexity such as loops, mutable state, indeterminate behaviours, reference equality and more.
Though it currently relies on an interpreter written in TypeScript, run on Node.js, as a reference implementation, Marron intends to further develop on this going forward. He aims to focus on TODO items, bug fixes, and developing features that will support writing larger programs in the language.
Taking Inspiration From TypeScript
BOSQUE Has A Long Way To Build Industry Use Cases
Currently, BOSQUE can be used to create automated developer tools such as verifiers and compilers through collaboration with academic and online developer communities. However, researchers see it transitioning from idea to production at a rapid pace, and they aim to improve upon based on the user feedback.
The GitHub repository reads that BOSQUE language should not be used at this point of time for any production work and instead encourage experimentation only with small and experimental side projects at this point in time. Marron believes that outside of academic experimentation, if everything goes well, BOSQUE can find implementation in the cloud and IoT space.