Howdy Logo
Glossary Hero image

The Howdy Glossary

Search terms in Glossary


Bosque is a programming language designed by Microsoft Research to create code that's simple and easy to reason about. The language introduces features like algebraic data types, pattern matching with exhaustiveness checking, structural typing and immutable programming by default. It doesn't have loop constructs or null references to minimize accidental complexity and improve developer productivity. Bosque uses types as documentation tools and supports both static compilation for performance-critical components and dynamic scripting behavior for rapid iteration scenarios. Its tooling includes an interactive shell environment for program experimentation.