搜索结果：functional（35 个）

Web 项目工具链，提供格式化与代码检查功能，支持 CLI 和 LSP。

成熟易用的 Python 测试框架，既能快速编写小型测试，也能扩展支持复杂功能测试。

Apple 开源的“配置即代码”语言，具备丰富的数据校验机制与工具链。

〔中文简介暂未生成〕 ZIO — A type-safe, composable library for async and concurrent programming in Scala

scalachess 是知名国际象棋网站 lichess.org 背后的核心国际象棋逻辑库。基于 Scala 3 开发，它利用位棋盘（bitboard）数据结构，以纯函数式、完全不可变且无副作用的方式处理国际象棋规则与走法验证，为开发者提供高性能、可靠的棋局核心逻辑支持。

〔中文简介暂未生成〕 Kickstarter for Android. Bring new ideas to life, anywhere.

Futhark 是由哥本哈根大学开发的数据并行纯函数式编程语言，属于 ML 语言家族。它主要解决高性能并行计算的编写难题，核心功能是将函数式代码编译为可在 CPU 或 GPU（支持 CUDA、OpenCL）上运行的高效并行程序，适用于实用级高性能计算场景。

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

Caliban 是一个面向 Scala 的纯函数式 GraphQL 库，用于构建 GraphQL 服务端与客户端。它能帮开发者免去手动定义 Schema 的繁琐样板代码，利用 Scala 标准类型在编译期完成 Schema 定义与校验，并结合运行时解析器，提供兼顾纯函数式和高性能的 GraphQL 解决方案。

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

〔中文简介暂未生成〕 The Egison Programming Language

为 PHP 代码覆盖率信息提供收集、处理和渲染功能的库。

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

该项目是函数式编程语言 Elm 的官方编译器，使用 Haskell 编写。它致力于帮助开发者构建可靠的 Web 应用，核心功能是将 Elm 代码编译为高效的前端代码，并提供安装支持，为编写无运行时异常的 Web 应用提供底层编译保障。

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

多功能清理工具，可查找重复项、空文件夹、相似图片等。

提供比较 PHP 值是否相等的功能。

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

用于导出 PHP 变量以便进行可视化查看的工具库。

用于根据不同运行时环境执行特定分支逻辑的 PHP 工具库。