algebraic data types - bencope.land

bencope.land

algebraic data types

A collection of 6 posts

Where the Compiler Stops

Google recently published a piece titled "Why Go is an ideal language for AI-assisted software engineering." I recommend giving it a read. It makes a compelling, practical point that anyone building production systems with LLMs eventually collides with: when machines write code, the primary bottleneck shifts from

AI, Constraint, and Application

I've been blogging recently about the principles and philosophy behind our agentic AI system called MOTHER. The whole thing started from a handful of design constraints necessary for our agentic system to be an organic piece of our wider architecture: purely serverless with no long-running processes, event-

MOTHER, Metaprogramming, and the Meta Language

I've written about MOTHER's philosophy and its mechanics. This post is about what I realized after I had some time to step back and reflect on the system once it was in place. MOTHER is a metaprogramming system. Literally. It synthesizes programs and executes them immediately

Anatomy of a Reactive Agentic AI System: The Life of a Request in MOTHER

In my previous post, “Agentic AI, Built on Functional and Reactive Principles,” I outlined the philosophy behind our MOTHER architecture - the why behind choosing functional programming and reactive, event-driven design as our foundation. Now, let’s explore the what - how those ideas look in a live system. Unlike orchestrators

F# Discriminated Unions with SQL Enumerations

💡This post is part of F# Advent Calendar 2024. Having worked extensively with both C# (including Entity Framework) and F#, I've found that F# allows us to elegantly model the business domain while seamlessly bridging the gap between code and database. In this post, I'll outline

Cross-Boundary ADTs

Modeling a domain with algebraic data types (ADTs) is a powerful, expressive way to design code that is both concise and readable. Too often, code that does too little with too many lines negatively impacts readability and maintainability. ADTs, when supported by a language, provide a way to do more