搜索结果：functional（14 个）

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

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

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

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

doobie 是 Typelevel 旗下面向 Scala 的纯函数式 JDBC 访问层。它主要解决 Scala 开发者在进行数据库交互时的函数式编程集成问题，通过提供纯函数式的方式封装 JDBC 操作，让数据库访问更加安全、类型可控且契合函数式编程规范。

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

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

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

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

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

Cats MTL 为 Scala 的 Cats 库提供了单子变换器类型类（如 EitherT、StateT 等）。它解决了多变换器同时引入时隐式转换产生二义性的问题，让开发者能在作用域内安全混用多种变换器，并配套提供了便于测试类型类实现的定律支持。

layoutz 是一个轻量、零依赖的 Scala 命令行美化与 TUI 库，用于解决业务逻辑中字符串格式化代码泛滥的问题。它提供声明式 DSL，支持 ANSI 样式、表格、图表、列表等排版原语，并内置 Elm 架构用于开发交互式终端应用，兼容 JVM、JS 和 Native。

Elixir 语言的函数式数据库查询工具。

基于 C++20 和 Lua 开发的模块化 Tibia 替代客户端，支持通过 Lua 脚本灵活定制游戏界面与功能。