搜索结果：functional（12 个）

基于 Chrome 扩展的 MCP 服务端，将浏览器功能接入 Claude 等 AI 助手以实现复杂网页自动化。

scalajs-react 将 React 封装进 Scala.js，解决了用 Scala 开发前端时类型安全和语法契合度不足的问题。它支持 Hooks、Context 等 React 特性，可无缝集成 Cats 等纯函数式生态，并内置了专属的路由、测试与性能优化工具。

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

Carp 是一门专为游戏、音频合成和可视化等实时高性能场景设计的静态类型 Lisp 语言。它没有垃圾回收器和虚拟机，通过所有权追踪实现自动且确定性的内存管理，避免隐藏的性能开销。同时支持静态类型推导、Lisp 宏、REPL 交互，并能直接与现有 C 代码集成。

FS2 是 Scala 的纯函数式流式 I/O 处理库，主要解决高并发、带副作用数据流的安全与高效处理问题。其核心提供可组合的流（Stream）和拉取（Pull）抽象，在保障资源安全与高性能的同时，支持与 Cats-Effect 等不同副作用库结合使用。

Neut 是一个采用静态内存管理的函数式编程语言。它解决了传统函数式语言依赖 GC 的内存开销问题，在无需额外类型注解的情况下，实现可预测的、基于类型的内存管理。项目支持完整 λ 演算，可编译为 LLVM IR 和原生二进制，并内置 LSP、代码格式化与快速原型开发支持。

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

Cats 是一个基于 Scala 的轻量、模块化且可扩展的函数式编程库。针对 Scala 标准库兼顾面向对象的混合特性，它提供纯粹、高效、易上手且二进制兼容的函数式编程核心抽象，旨在为 Scala 纯函数式生态奠定基础，无需懂范畴论即可使用。

〔中文简介暂未生成〕 Library of utilities for tagless final encoded algebras

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

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

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