Bosque a Microsoft Language

A programming language without loops!

Bosque: a programming language that is free and open-source designed and developed by Microsoft. Bosque’s goals as a language are to include better software quality and improved developer productivity. The history behind Bosque is that it was designed by Mark Marron on April 15 of 2019, who wanted to go past the structured programming model from the 1970s. Bosque was designed as an experiment to see if we could make a programming language for the average citizen. This programming language was used to enable deep automated code reasoning and to deploy new generation development tools, and compliers. The compilers are called compiler intermediate Representations or IR’s and are designed with specific source language programs. This program allows for symbolic-testing, enhanced fuzzing, etc. it allows for new ways to think and build language compilers.

https://www.technotification.com/2019/04/microsoft-launches-bosque-programming-language.html

It is considered a language that is now machine-assisted for reliable software development. Bosque pushes the average person to utilize code and code structure for productivity. The coding structure is outdated and we have been using it for 51 years with rarely any change in the way our code is structured. A new coding structure is on the horizon which will help shape the future of everything as we know it. Currently being tested by developers and coding community members with people loving it and some questioning how it will achieve “no loops” and many more features that it claims to have. As an IR, Bosque is going to overcome the challenges of automated program reasoning.

Bosque’s platform is that it’s open based and not as much profitable as other languages. Bosque is an experiment that is used to see if we can make code structure much simpler. If we can eliminate how complex code is we can eliminate the number of bugs in code. Complexities and bugs can occur in loops, uninitialized variables, the indexes in arrays, etc. This programming language, for now, is still getting developed and is now meant for research and development. This programming language serves as the next programming structure for the next generation. Bosque as a programming language will shape the future generations to come of programming structures. Bosque isn’t just simple for humans it’s also simple for machines to comprehend as well. Bosque will also help developers make better and much easier to use IDEs which can create a lot of business for Microsoft.

Bosque will help make it simpler for everyone by making one simple language for modern development. Currently, Bosque is just residing as compiler intermediate representation for ‘IDE tooling’, ‘code reasoning’, and other progressive need of automated code reasoning. Bosque is derived from typescript as they are some of the most popular languages to code with. Bosque is really cool as it allows for multiple attachments onto a variable. Bosque also still allows for the traditional style of coding to be intertwined in its language and coding system.

The Benefits of Bosque are:

  • It is simple, the simplicity makes it easier for humans and machines to understand the language and understand each other.
  • Allows for fewer bugs, Bosque is such a simple language that it allows for fewer bugs by having less of a complex language. Humans, when coding has a tendency to go off into other tangents and humans, aren’t always perfect in code so productivity is slowed down when a human makes a lot of errors. These bugs cause the code not to work such as garbage in and garbage out. These bugs will also have A.I. work a lot harder to realize what a coder has typed out and the instructions it has to follow.
  • Bosque is an experimental ad open-source that allows for the coding community to have input into the next generation of compilers and languages to make it simpler for everyone.
  • Bosque is considered the leading edge in what coding structure is and is going to be for current and future programmers.

The downsides of Bosque are:

  • It is still a growing language in a sea of many other growing languages.
  • The community is still confused as to how Bosque will take away popular coding techniques such as loops and looping structures. The community believes that the author of the language will not be able to achieve what he wants to which is making another golden age of coding.
  • Bosque is not really a language as one is supposed to type but rather something one is supposed to conversate and experiment on. Bosque is not yet ready to be utilized for companies to program off just yet.

Some more downsides can include that Bosque’s main goal is language design. It has limited support for compilations, development, and has no support for packaging and deployment. In general, it is an experiment so that by itself can tell you that Bosque has no intention of actually releasing and a language but instead be a base for other IDE’s and compiler. Bosque fails to tell developers how itself as a structure of coding is going to eliminate loops that help developers with long coding periods. Loops themselves increase productivity even though they are complex in most cases.

Software engineers and developers tend to fail due to human error and complicated coding techniques. This language switches it up because you get fewer bugs which in turn allows for a better workflow and better productivity. Along with helping the common coder and common person succeed it will also help machines. Machines can understand Bosque better than the regular coding structure because it is much simpler. A news site did an article on Bosque and they labeled it as the future of A. I as they said it is built for A. I in the cloud. As coined by Mark himself he believes a new golden age of compilers and code structure for machine learning and coding, in general, is here. The main focus, for now, is to eliminate well complexities in code. TO have a level of ‘pure code’ which eliminates accidental and prolonging side effects such as bugs.

  1. If Statement example:
Ref: https://www.microsoft.com/en-us/research/project/bosque-programming-language/

2. Loop Example (Functor; no loops in Bosque)

Right is a for loop example from JavaScript Left is an example of a functor from Bosque.

The design of Bosque is very intricate but very simple in a sense. It is based on a programming ‘paradigm’ called ‘regularized programming’. This is shown to the world by the main research software development engineer Mark Marron. His design aspect of Bosque as told by him is to, “eliminate substantial sources of accidental complexity”. According to Mark’s research paper, the current coding structure has five major sources of complexity. These are

  1. loops,
  2. mutable state, and frames,
  3. recursion,
  4. invariants,
  5. indeterminate behavior.

Marks seeks to end these complexities and make the new coding structure more productive. He seeks to replace or eliminate these.

  1. Loops will be eliminated,
  2. going to use immutable data,
  3. going to restrict recursion,
  4. going to fully determine the language semantics,
  5. introduce algebraic bulk data operators.

As the project of this new concept of coding is still under development, Mark pushes people to go out and help collaborate with others on this new idea of coding. Mark made it super easy for developers and coders to discuss Bosque. He set it up as an open-source GitHub repository. This will allow for developer feedback and the experiment to continue with more people. The reason that this language was derived from ML, typescript, and Javascript is that most people and developers are already familiar with these languages so it will make it easy for them to get used to the new compiler and language. The design is blatantly simple. The majority of news networks that displayed the new language all used language like, “simple” or “increase productivity” in their headlines. The result of Bosque is something called ‘regularized programming’ which practically “gets rid” of all the complexities of our regular coding structures.

Popularity of Bosque

Bosque is a really new language being released on April 15, 2019. It is theoretically supposed to be one of the most popular coding languages of all time as Mark aims it to be the next golden age of development. Bosque is very popular with developers who want to create new IDE’s and make them more simple. It is also popular with A.I. developers as it makes it easier to code and communicate with machines. Machines can easily understand what a human is trying to type out and interpret into task or sets of a task that it is required to do. Bosque is completely restructuring the coding structure of the 1970s into a new era of coding for the average people. Mark stated in an interview that after a year and a half of Bosque being released for open source and more of the community has given their input, Bosque is stabilizing and is getting good remarks.

As of now, Bosque is in a type of research and development stage and isn’t really a language that is going to be used by regular people but will be a base for other languages and compilers. Bosque is going to set the base for A.I. development in the near future and is probably being used right now for A.I. On GitHub, we can see a community being built around this new and unprecedented language. Bosque even grabbed the eyes of the banking tycoon Morgan Stanley to use it to make Morphir. Morphir is a system that uses various languages and is built on data format to get any applications domain model and business logic. Bosque after its release also gained so much attention on Reddit, Hacker News, and Twitter with people discussing the features and purpose of the language.

--

--

Get the Medium app

A button that says 'Download on the App Store', and if clicked it will lead you to the iOS App store
A button that says 'Get it on, Google Play', and if clicked it will lead you to the Google Play store