Bosque applications
As we know, we can try to build a house with Lego, but this could be a much more difficult task than doing so with bricks, iron, and mortar. Although we can do something with different tools, some are more appropriate than others. That is why the following question always arises when we explore a new programming language: What are the applications where this language would be more appropriate over others that I already know about? We will try to answer this question by cover a few scenarios, although this does not imply that these are the only things we can do with Bosque.
Cloud-first development
One of the main challenges of new, trending technologies such as serverless applications, microservices architecture, and IoT is reaching interoperability with a minimum computational cost. Nowadays, we must deal with serializing and deserializing messages or the slow response times of cold services starting up.
Bosque includes features such as API types to simplify the development of APIs. Its initialization design allows a zero-cost load for cold startups, in addition to characteristics such as immutability and its deterministic nature, which will enable us to build high-performance and resilient applications for cloud environments.
Automatic verification
One of the advantages of a programming language that allows you to implement models based on formal reasoning is that this can be analyzed by tools that allow us to identify and eliminate errors through verification and validation processes. This improves the reliability of the execution's results. Some of the application settings could be as follows:
- Cryptographical protocols
- Implementation of finite state machines
- A network's mathematical models
Synthesis programming
The deterministic nature of Bosque makes it an ideal candidate for the application of AI for code synthesis from formal specifications. This has been an existing challenge since the first days of AI as a study branch, so this synergy could be fascinating.