3 个仓库
Implementations of data structures using purely functional paradigms.
Distinct from Data Structure Implementations: Focuses specifically on functional paradigms like recursion schemes rather than general pedagogical examples.
Explore 3 awesome GitHub repositories matching education & learning resources · Functional Implementations. Refine with filters or upvote what's useful.
This project is a comprehensive functional programming curriculum and learning resource for Haskell. It provides sequenced educational paths and technical reference guides designed to take developers from beginner to advanced levels of proficiency. The project distinguishes itself through a deep focus on theoretical and technical foundations, offering detailed studies on type theory, category theory, and runtime internals. It includes a dedicated performance handbook for optimizing execution speed and memory management, as well as an ecosystem guide for managing development tools and editor c
Provides guides on implementing purely functional data structures and recursion schemes for complex transformations.
AlgoXY 是一本函数式编程教育书籍和技术出版物,以 LaTeX 数字书籍形式制作。它作为一个编程教育资源和库,专注于函数式算法和数据结构。 该项目提供了一系列持久化数据结构(如树和堆),专为不可变状态管理而设计。它包含一系列实现练习和验证答案,通过函数式逻辑的实际应用来教授核心计算机科学概念。 内容涵盖了持久化数据结构的设计以及排序和搜索函数式算法的实现。这些材料以使用 LaTeX 构建系统制作的专业排版技术出版物形式交付。
Builds persistent trees and heaps using purely functional paradigms such as recursion schemes.
Cats is a Scala functional programming library and type class library designed to implement algebraic patterns and functional abstractions. It provides a standardized set of interfaces and a modular toolkit of functional wrappers and containers to enable ad-hoc polymorphism and generic programming across disparate types. The project serves as a functional abstraction standard, offering a monad transformer suite to compose nested effectful contexts and handle multiple computational side effects within a single pipeline. It further enables the construction of embedded domain-specific languages
Establishes a standardized set of functional interfaces and type classes to enable interoperability between functional libraries.