Katharos Library Introduces Functional Programming and CSP-style Concurrency to Python

Introduction of Katharos Library

Katharos is a new Python library designed to bring functional programming paradigms and CSP-style concurrency to the language. It combines algebraic abstractions such as Functor, Applicative, Monad, Semigroup, and Monoid with concrete types like Maybe, Result, ImmutableList, and IO. The library's core idea is to model errors, effects, and concurrent communication as composable, type-safe values.

Functional Error Handling

The library provides mechanisms to handle optional values and errors without relying on traditional Python `None` checks or `try/except` blocks. For instance, the `Maybe` type allows for clean short-circuiting on `Nothing` values, and the `Result` type enables errors to be treated as values that can be chained and propagated. This approach aims to make error handling more explicit and less prone to runtime exceptions.

CSP-style Concurrency

Katharos also integrates message-passing concurrency, built upon its functional core. This allows concurrent hand-offs to return `Result` types, meaning that communication failures, such as a closed channel, are handled as values rather than exceptions. This consistent approach to error and effect modeling extends across both functional programming constructs and concurrency features.

Installation and Usage

The Katharos library can be installed using standard Python package managers, specifically via `pip install katharos` or `uv add katharos`. The library includes utilities like `Result.catch` which converts functions that raise exceptions into functions that return a `Result`, simplifying error handling by automatically wrapping exceptions as `Failure` types while preserving traceback information.