Table of Contents
Preface
Section 1: Introduction
Chapter 1: Exploring Bosque
Identifying the need for another language
Learning what Intermediate Representation is
Discovering regularized programming
Understanding accidental complexity
Immutability12
Loop-free14
Indeterminate behaviors15
Data invariant violations16
Aliasing16
How the experiment is going so far
What next?18
Bosque applications
Cloud-first development18
Automatic verification19
Synthesis programming19
Summary
Questions
Further reading
Chapter 2: Configuring the Bosque Environment
Technical requirements
Prerequisites for Bosque
64-bit operating system22
The LTS version of Node.js and NPM24
TypeScript26
Installing a C++ compiler
Windows28
Linux28
MacOS29
Installing Bosque
Setting ...
Get Learn Bosque Programming now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
