搜索结果:functional(59 个)
按分类缩小范围
compiler
综合 57
该项目是函数式编程语言 Elm 的官方编译器,使用 Haskell 编写。它致力于帮助开发者构建可靠的 Web 应用,核心功能是将 Elm 代码编译为高效的前端代码,并提供安装支持,为编写无运行时异常的 Web 应用提供底层编译保障。
NeoHaskell
综合 57
NeoHaskell 是一种面向新手友好与开发效率的 Haskell 方言及应用框架。它旨在降低 Haskell 的上手门槛与偶发复杂度,核心功能包括保留强类型安全、提供清晰明确的 API,以及为事件溯源应用提供基础设施、可复用库和开发工具。
shoulda-matchers
综合 57
为 Rails 常见功能提供简单、单行测试断言的工具库。
Flat-UI
综合 57
基于 Bootstrap 的扁平化设计前端框架,提供响应式布局与实用组件,大幅简化网站开发流程。
Carp
综合 57
Carp 是一门专为游戏、音频合成和可视化等实时高性能场景设计的静态类型 Lisp 语言。它没有垃圾回收器和虚拟机,通过所有权追踪实现自动且确定性的内存管理,避免隐藏的性能开销。同时支持静态类型推导、Lisp 宏、REPL 交互,并能直接与现有 C 代码集成。
HMCL
综合 56
一款功能丰富、流行且跨平台的 Minecraft 启动器。
czkawka
综合 56
多功能清理工具,可查找重复项、空文件夹、相似图片等。
nowinandroid
综合 56
完全采用 Kotlin 和 Jetpack Compose 构建的功能完备的官方示例 Android 应用。
comparator
综合 56
提供比较 PHP 值是否相等的功能。
fs2
综合 55
FS2 是 Scala 的纯函数式流式 I/O 处理库,主要解决高并发、带副作用数据流的安全与高效处理问题。其核心提供可组合的流(Stream)和拉取(Pull)抽象,在保障资源安全与高性能的同时,支持与 Cats-Effect 等不同副作用库结合使用。
exporter
综合 55
用于导出 PHP 变量以便进行可视化查看的工具库。
environment
综合 55
用于根据不同运行时环境执行特定分支逻辑的 PHP 工具库。
recursion-context
综合 55
提供递归处理 PHP 变量功能的工具库。
Learning-SICP
综合 55
MIT 公开课《计算机程序的构造和解释》中文化项目与配套学习资料汇总。
RxSwift
综合 55
Swift 响应式编程实现。
ReactiveUI
综合 55
受函数式响应式编程启发打造的 .NET 跨平台 MVVM 框架。
eff
综合 54
eff 是一个面向 Scala 的函数式编程库。它旨在替代复杂的单子变换器(Monad Transformers),解决多重副作用组合繁琐的问题。核心提供基于“Freer Monad”的可扩展副作用(Eff monad),开箱支持 Reader、Writer、State 等常用效果,并允许开发者自定义副作用栈。
neut
综合 54
Neut 是一个采用静态内存管理的函数式编程语言。它解决了传统函数式语言依赖 GC 的内存开销问题,在无需额外类型注解的情况下,实现可预测的、基于类型的内存管理。项目支持完整 λ 演算,可编译为 LLVM IR 和原生二进制,并内置 LSP、代码格式化与快速原型开发支持。
zio-prelude
综合 54
ZIO Prelude 是专为 Scala 设计的轻量级函数式抽象库,可替代 Cats 或 Scalaz。它抛弃了传统复杂的函子层级,深度融合 Scala 子类型特性与 ZIO 生态,提供常用代数抽象与实用数据类型(如 NonEmptyList、Validation 等),帮助开发者更简单、务实地组合类型与处理数据。
scalaz
综合 53
〔中文简介暂未生成〕 Principled Functional Programming in Scala