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

Chapter 13: Testing in Bosque

So far, you have learned a lot of useful and practical things regarding the Bosque language. You know the idea of the language as well as the syntax and constructs that have been implemented in Bosque. Put simply, you know the language well enough to write programs or even a larger projects. But as we know, writing the business logic is only one part of the development process. Other parts include, for example, writing documentation and… tests! And that is what we will focus on in this chapter. You will learn about the concept of symbolic testing and will learn how to ensure the code's quality using Bosque features and the SymTest tool. Before you jump into this chapter's content, be aware that the SymTest tool is at a very early stage of development, and we can't expect much from it. In its current state, it allows only for pretty basic testing, but you will learn about its possibilities and what it is designed for.

Here is the...