2 个仓库
Awesome GitHub RepositoriesMonadic Do Notation
Syntactic patterns for sequencing monadic actions and binding intermediate results to variables.
Distinct from Collection-to-Task Sequencing: The candidates focus on ML sequence-to-sequence models or specific task sequencing, not the general monadic 'do' notation for control flow.
Explore 2 awesome GitHub repositories matching programming languages & runtimes · Monadic Do Notation. Refine with filters or upvote what's useful.
Awesome Monadic Do Notation GitHub Repositories
用 AI 发现最棒的仓库。我们将通过 AI 为您搜索最匹配的仓库。
- gcanti/fp-ts
gcanti/fp-ts
11,523在 GitHub 上查看fp-ts is a TypeScript library that brings pure functional programming patterns to the language through algebraic data types, type class abstractions, and composable combinators. It provides foundational data types like Option for optional values, Either for typed error handling, and Task for lazy asynchronous computations, all designed to make invalid states unrepresentable and side effects explicit. The library is built on category theory concepts, offering type classes such as Functor, Applicative, Monad, Semigroup, and Monoid with lawful instances for common data structures. The library di
Binds intermediate task results to named fields inside do-notation blocks for readable composition.
TypeScriptalgebraic-data-typesfunctional-programmingtypescript - dry-python/returns
dry-python/returns
4,310在 GitHub 上查看Returns 是一个 Python 函数式编程库，提供用于管理状态、错误处理和可选性的类型安全容器。它作为一个单子 (monadic) 容器库和类型安全错误处理框架，用 Result 和 Optional 容器替换传统的 try-catch 块和空值检查，从而将异常视为数据。 该项目的特色在于使用专门的 Mypy 静态分析插件来验证函数式流水线并模拟高阶类型。它提供了通过 IO 容器隔离副作用的机制，并提供了一个类型安全依赖注入框架，将依赖项的提供推迟到计算的最终执行阶段。 该库涵盖了广泛的函数式原语，包括柯里化、部分应用和声明式数据流水线的组合。它通过将协程包装在容器中来链式处理非阻塞操作，从而支持异步工作流管理，并包括用于资源生命周期管理和自定义容器代数定律验证的实用程序。
Enforces type consistency within monadic do-notation blocks through static analysis to prevent mixing container types.
Python
