搜索结果：functional（9 个）

开箱即用且高效的静态网站生成器，可将 Markdown 转化为完整网站。

Obelisk 是一个开箱即用的 Haskell 全栈开发框架，基于 Reflex FRP 打造。它解决全栈技术选型与前后端类型割裂的问题，支持用单一 Haskell 代码库同时构建前后端，并通过强类型系统即时捕获接口变更错误。前端支持 WASM/GHCJS，配合 CapacitorJS 可打包为移动应用，后端支持部署到 NixOS 或 OCI 容器。

Tapir 是一个声明式、类型安全的 Scala HTTP API 库。它将端点定义与业务逻辑解耦，只需一套代码即可同时生成 HTTP 服务端、客户端调用代码，并自动导出 OpenAPI/AsyncAPI 文档。能无缝兼容 Netty、http4s、ZIO 等主流 Scala 生态框架。

NeoHaskell 是一种面向新手友好与开发效率的 Haskell 方言及应用框架。它旨在降低 Haskell 的上手门槛与偶发复杂度，核心功能包括保留强类型安全、提供清晰明确的 API，以及为事件溯源应用提供基础设施、可复用库和开发工具。

eff 是一个面向 Scala 的函数式编程库。它旨在替代复杂的单子变换器（Monad Transformers），解决多重副作用组合繁琐的问题。核心提供基于“Freer Monad”的可扩展副作用（Eff monad），开箱支持 Reader、Writer、State 等常用效果，并允许开发者自定义副作用栈。

ZIO Prelude 是专为 Scala 设计的轻量级函数式抽象库，可替代 Cats 或 Scalaz。它抛弃了传统复杂的函子层级，深度融合 Scala 子类型特性与 ZIO 生态，提供常用代数抽象与实用数据类型（如 NonEmptyList、Validation 等），帮助开发者更简单、务实地组合类型与处理数据。

fs2-kafka 是一个基于 Scala 的开源库。它结合官方 Apache Kafka 客户端与 FS2 框架，解决在 Scala 函数式编程中以流式方式操作 Kafka 的问题。核心功能是提供纯函数式的 API，支持以流（Stream）的形式高效消费、生产和处理 Kafka 消息。

Ciris 是一个专为 Scala 打造的函数式配置加载库。它旨在解决 Scala 应用中的配置加载问题，核心特点是轻量级且可组合，让开发者能够以函数式的方式轻松管理和组合应用配置。

Argonaut 是一个基于纯函数式编程理念的 Scala JSON 库。它主要解决 Scala 开发者在处理 JSON 时的解析、生成与数据映射需求。核心功能包括 JSON 数据的解析、格式化输出与操作，并提供便捷的编解码器（codecs），支持 JSON 与 Scala 原生数据类型之间的相互转换。