搜索结果：functional（7 个）

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

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

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

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

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

基于 Bootstrap 的扁平化设计前端框架，提供响应式布局与实用组件，大幅简化网站开发流程。

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