algebraic data types - bencope.land

bencope.land

algebraic data types

A collection of 3 posts

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

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