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

Introducing PCode types and constructors

The name may be a bit confusing. The long name is parameter code blocks but we will be using the short one – PCode functions. So, a PCode function is a special type and value in Bosque that is similar to lambda functions in other popular languages. The difference is that PCode functions cannot be stored in any variables or entity fields – they must be used as literals in the place of invocation.

It is worth separating this section into two topics, that is, PCode types and PCode constructors.

The former refers to the way we define a PCode function and its signature, while the latter refers to how we actually use PCode functions, that is, how to create a PCode function of a specified type. The syntax is a little bit different when defining PCode and using it.

In order to better understand what we are talking about, let's see an example right away and discuss it later. Let's get back to our previous example, where...