zio / Zio Prelude
Licence: apache-2.0
A lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration
Stars: ✭ 267
Programming Languages
scala
5932 projects
Projects that are alternatives of or similar to Zio Prelude
Arrow
Λrrow - Functional companion to Kotlin's Standard Library
Stars: ✭ 4,771 (+1686.89%)
Mutual labels: category-theory, functional-programming
Plt
λΠ Programming Language Theory
Stars: ✭ 4,609 (+1626.22%)
Mutual labels: category-theory, functional-programming
Fp Resources
Functional programming great resources
Stars: ✭ 369 (+38.2%)
Mutual labels: category-theory, functional-programming
Scala typeclassopedia
Abstractions and constructions from math (Category theory, Abstract algebra) implementations in Scala, minimal description, links to good explanations, links to implementations in other FP languages: Haskell, Idris, Purescript, non FP too: Java, C++ and to formalizations in proof assistants: Coq (UniMath, HoTT book), Cubical Agda.
Stars: ✭ 338 (+26.59%)
Mutual labels: category-theory, functional-programming
Fundamental Haskell
Fundamental Haskell book, to the point terse statements on Haskell, Category theory, and related fields. Encyclopedic pocketbook of meaning. Zen kōan-like meditations of understanding. For quick or memory curve spaced repetition learning.
Stars: ✭ 88 (-67.04%)
Mutual labels: category-theory, functional-programming
Bow
🏹 Bow is a cross-platform library for Typed Functional Programming in Swift
Stars: ✭ 538 (+101.5%)
Mutual labels: category-theory, functional-programming
Category Theory Programmers
Category theory in the context of (functional) programming
Stars: ✭ 465 (+74.16%)
Mutual labels: category-theory, functional-programming
Functional Examples
Examples with Functional JavaScript, following Professor Frisby's course
Stars: ✭ 179 (-32.96%)
Mutual labels: category-theory, functional-programming
Milewski Ctfp Pdf
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Stars: ✭ 9,037 (+3284.64%)
Mutual labels: category-theory, functional-programming
Fp Core.rs
A library for functional programming in Rust
Stars: ✭ 772 (+189.14%)
Mutual labels: category-theory, functional-programming
Naive functional programming
A naive approach to functional programming using TypeScript
Stars: ✭ 129 (-51.69%)
Mutual labels: category-theory, functional-programming
Cql
Categorical Query Language IDE
Stars: ✭ 196 (-26.59%)
Mutual labels: category-theory, functional-programming
AlgebraicRelations.jl
Relational Algebra, now with more algebra!
Stars: ✭ 31 (-88.39%)
Mutual labels: category-theory
CAP project
CAP project -- Categories, Algorithms, and Programming
Stars: ✭ 18 (-93.26%)
Mutual labels: category-theory
Semagrams.jl
A graphical editor for graph-like structures
Stars: ✭ 50 (-81.27%)
Mutual labels: category-theory
C3T
C3T: Crash Course Category Theory - A friendly non-mathematician's approach to beginners of Category Theory. 🐱
Stars: ✭ 26 (-90.26%)
Mutual labels: category-theory
Csound Expression
Haskell Framework for Electronic Music
Stars: ✭ 257 (-3.75%)
Mutual labels: functional-programming
free-arrow
Implementation of the Free Arrow in Scala and other helpful tools for working with Arrows
Stars: ✭ 14 (-94.76%)
Mutual labels: category-theory
ctrs
Category Theory For Programmers (Bartosz Milewski)
Stars: ✭ 62 (-76.78%)
Mutual labels: category-theory
cat
A formalization of category theory in cubical Agda
Stars: ✭ 50 (-81.27%)
Mutual labels: category-theory
ZIO Prelude
| CI | Release | Snapshot | Discord |
|---|---|---|---|
 |
 |
 |
 |
Summary
ZIO Prelude is an alternative approach to functional abstractions in Scala, which throws out the classic functor hierarchy in favor of a modular algebraic approach that is smaller, easier to understand and teach, and more expressive.
ZIO Prelude has three key areas of focus:
- Data structures, and type classes for traversing them. ZIO Prelude embraces the collections in the Scala standard library, and extends them with new instances and new useful additions.
- Patterns of composition for types. ZIO Prelude provides a small catalog of patterns for binary operators, which combine two values into another value of the same type. These patterns are named after the algebraic laws they satisfy: associativity, commutativity, and identity.
- Patterns of composition for type constructors. ZIO Prelude provides a catalog of patterns for
binary operators on type constructors (things like
Future,Option, ZIOTask). These patterns are named after the algebraic laws they satisfy (associativity, commutativity, and identity) and the structure they produce, whether a tuple or an either.
The library has a small research-stage package (zio.prelude.fx) that provides abstraction over
expressive effect types like ZIO and ZPure.
Documentation
The ZIO Prelude Microsite is currently under development.
ZIO Prelude Microsite (not available yet, in the meantime you can check those slides)
Contributing
Documentation for contributors
Code of Conduct
See the Code of Conduct
Support
Come chat with us on
License
Note that the project description data, including the texts, logos, images, and/or trademarks,
for each open source project belongs to its rightful owner.
If you wish to add or remove any projects, please contact us at [email protected].