Katharos - Functional programming and CSP-style concurrency for Python

Show HN: Katharos Functional programming and CSP-style concurrency for Python

Katharosは、Pythonに代数抽象（Semigroup、Monoid、Functor、Applicative、Monad）と不変データ型、メッセージパッシングによる並行処理をもたらすライブラリです。MaybeやResult、ImmutableList、IOなどの具体的な型を提供し、エラーや副作用、並行通信をすべて「合成可能で型安全な値」として扱います。GoスタイルのCSP並行処理では、チャネルの受信がResultを返すため、チャネルクローズなどの例外的状況を例外ではなく値として処理できます。do記法によりモナドを命令的に書くことも可能で、構造化並行性もサポート。MITライセンスで公開されています。