Welcome

This blog is intended as a place to share thoughts and ideas about the Bosque programming language and platform. Some of these are foundational concepts that shape the project. Others are just fun things that came up and seem worth sharing.

Posts

  • An Effectively Ω(c) Language and Runtime

    Taking a quick break from some (fun) bosque language features and their implications for correctness and reliability to think about performance and efficiency a bit.

  • Fun Bosque Feature -- TypeOf Strings

    Simple new type and Type-Of Strings!!!

    In the last 2 features of the blog we have looked at the Bosque string types and a reworking of regular expressions. In this entry we are going to explore how these features, work the the new type operator in Bosque to provide a powerful and flexible way to work with strings containing implicitly structured data in a type safe manner.

  • Fun Bosque Feature -- Regexes

    Regular Expressions!!!

    Regular expressions are a powerful and ubiquitous feature of modern programming languages. However, they are also a frequent source of bugs, confusion, security issues, and can even be subject to denial-of-service attacks – a great rundown of these issues can be found here and here. In addition to these issues, the historical use and development of modern regexes has been driven by text search tasks but, in Bosque, a critical use case is validation and parsing.

  • Fun Bosque Feature -- Strings

    Strings!!!

    As the first installment in a (hopefully ongoing and entertaining) series of posts on fun Bosque features, I thought I would start with strings. Strings are a fundamental data type in most programming languages and Bosque is no exception. Despite their ubiquitous and seemingly simple nature, strings can often turn out to be the source of subtle complications, bugs, and security vulnerabilities!

  • Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents

    To start things off I thought it would be good to share a paper (arxiv version) and a talk that I gave on it at the Onward! conference last year. The paper is titled “Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents” and it is a reflection on the role of programming languages in enabling reasoning in humans, symbolic systems, and AI agents. This paper and talk outline some of the core ideas that I have been exploring in the Bosque project and that form the basis of the production focused version of the system that I am working on now.

subscribe via RSS