Katharos - Functional programming and CSP-style concurrency for Python
Show HN: Katharos Functional programming and CSP-style concurrency for Python
Katharos ist eine Bibliothek für funktionale Programmierung und Nebenläufigkeit in Python. Sie kombiniert algebraische Abstraktionen wie Funktoren, Applicatives, Monaden, Semigruppen und Monoide mit konkreten Typen wie Maybe, Result, ImmutableList und IO. Dazu kommt eine Message-Passing-Nebenläufigkeit im Stil von Go, bei der Kommunikation über typisierte Kanäle erfolgt und Empfänge als Result-Werte behandelt werden – so sind Fehler wie geschlossene Kanäle Werte, die du behandeln kannst, statt Exceptions, die du abfangen musst. Mit do-Notation, Result.catch und strukturierter Nebenläufigkeit vereinfacht Katharos komplexe Logik und macht Code komponierbar und typsicher.
Die beiden Hälften teilen sich eine Idee: Modelliere Fehler, Effekte und nebenläufige Kommunikation als komponierbare, typsichere Werte.