Book Image

Learn Bosque Programming

By : Sebastian Kaczmarek, Joel Ibaceta
Book Image

Learn Bosque Programming

By: Sebastian Kaczmarek, Joel Ibaceta

Overview of this book

Bosque is a new high-level programming language inspired by the impact of structured programming in the 1970s. It adopts the TypeScript syntax and ML semantics and is designed for writing code that is easy to reason about for humans and machines. With this book, you'll understand how Bosque supports high productivity and cloud-first development by removing sources of accidental complexity and introducing novel features. This short book covers all the language features that you need to know to work with Bosque programming. You'll learn about basic data types, variables, functions, operators, statements, and expressions in Bosque and become familiar with advanced features such as typed strings, bulk algebraic data operations, namespace declarations, and concept and entity declarations. This Bosque book provides a complete language reference for learning to program with Bosque and understanding the regularized programming paradigm. You'll also explore real-world examples that will help you to reinforce the knowledge you've acquired. Additionally, you'll discover more advanced topics such as the Bosque project structure and contributing to the project. By the end of this book, you'll have learned how to configure the Bosque environment and build better and reliable software with this exciting new open-source language.
Table of Contents (22 chapters)
1
Section 1: Introduction
5
Section 2: The Bosque Language Overview
10
Section 3: Practicing Bosque
15
Section 4: Exploring Advanced Features

Typed strings

In addition to the primitive String type, Bosque provides two additional types to broaden the possibilities through extra features such as metadata or supporting validation through regular expressions – SafeString<T> and StringOf<T>. Let's learn more about these in the following subsections.

SafeString<T>

The SafeString <T> type is defined by a parameter representing a validation pattern for its content through a regular expression. This feature can be useful for simplifying string formatting or for performing content validation.

Let's consider an example program to convert USD to EUR that are provided as strings with the currency symbol.

Important note

As of this writing, the methods of the String and Regex entities presented in the next example are not fully implemented yet. Therefore the code will not compile properly. Keep this in mind while analyzing it.

Have a look at the following practical example:

...