lemastero / scala_typeclassopedia

Abstractions from Category theory with simple description & implementation, links to further resources.

lemastero/scala_typeclassopedia Issues

Links to emacs-cats
Updated a year ago
Add UI
Updated 2 years ago
Add Links to Kotlin implementations from arrow-kt
Updated 2 years ago
Haskell libraries to mine for abstractions
Updated 4 years ago
Review Functor, Applicative, Monad, Comonad, Traversable, Foldable
Closed 4 years ago1
Combinator Birds
Closed 4 years ago
Add seven sketches and intro to applied CT
Closed 5 years ago
Add BiKleisli
Closed 5 years ago
Add links to Scalaz8 implementations
Closed 5 years ago
Add section for each recursion schemas
Closed 5 years ago
Add section about monadic regions
Updated 5 years ago
add Combinatorial Species section
Updated 5 years ago
Functor exponentials
Closed 5 years ago
Contravariant Coyoneda
Updated 5 years ago
Add sygnature, descritption for Optics
Updated 5 years ago
Add contributing guide
Closed 5 years ago
add Table of contents to Abstract algebra
Updated 5 years ago
Add optics - lens, prism etc to table of contents
Updated 5 years ago
Translate to Scala Monads for functional programming by Philip Wadler
Updated 5 years ago
Translate to Scala Applicative programming with effects - Conor McBride, Ross Paterson
Updated 5 years ago
Translate to Scala: The Essence of the Iterator Pattern - Jeremy Gibbons, Bruno C. d. S. Oliveira
Updated 5 years ago
Translate to Scala: Monads are Trees with Grafting by Dan Piponi
Updated 5 years ago
Translate to Scala Monoids, theme and variations - Brent Yorgey
Updated 5 years ago
cats/mtl
Updated 5 years ago
Counterexamples
Updated 5 years ago
Proapplicative
Updated 5 years ago
Commutative Monads talk by Dan Piponi
Updated 5 years ago
loeb
Updated 5 years ago
HFunctor HFoldable HTraversable
Updated 5 years ago
Translate Functor Functors blog post as example of FFunctor
Updated 5 years ago