scala_typeclassopedia
scala_typeclassopedia copied to clipboard
lemastero
Abstractions from Category theory with simple description & implementation, links to further resources.
Updates [dev.zio:zio-prelude](https://github.com/zio/zio-prelude) from 1.0.0-RC8 to 1.0.0-RC15. [GitHub Release Notes](https://github.com/zio/zio-prelude/releases/tag/v1.0.0-RC15) - [Version Diff](https://github.com/zio/zio-prelude/compare/v1.0.0-RC8...v1.0.0-RC15) I'll automatically update this PR to resolve conflicts as long as you don't change it yourself. If you'd...
Updates [dev.zio:zio](https://github.com/zio/zio) from 1.0.15 to 2.0.0. [GitHub Release Notes](https://github.com/zio/zio/releases/tag/v2.0.0) - [Version Diff](https://github.com/zio/zio/compare/v1.0.15...v2.0.0) I'll automatically update this PR to resolve conflicts as long as you don't change it yourself. If you'd...
Updates [org.typelevel:cats-effect](https://github.com/typelevel/cats-effect) from 2.5.5 to 3.3.14. [GitHub Release Notes](https://github.com/typelevel/cats-effect/releases/tag/v3.3.14) - [Version Diff](https://github.com/typelevel/cats-effect/compare/v2.5.5...v3.3.14) I'll automatically update this PR to resolve conflicts as long as you don't change it yourself. If you'd...
Updates [org.typelevel:cats-effect](https://github.com/typelevel/cats-effect) from 2.5.3 to 3.2.8. [GitHub Release Notes](https://github.com/typelevel/cats-effect/releases/tag/v3.2.8) - [Version Diff](https://github.com/typelevel/cats-effect/compare/v2.5.3...v3.2.8) I'll automatically update this PR to resolve conflicts as long as you don't change it yourself. If you'd...
Some Haskell libraries to mine for abstractions: - [ ] https://github.com/sjoerdvisscher/squares - [ ] https://hackage.haskell.org/package/smash - [ ] https://github.com/ekmett/monad-ran - [ ] https://github.com/cmk/profunctor-arrows lens: - [ ] https://github.com/kcsongor/generic-lens - [...
* [Region-based resource management - Oleg Kiselyov](http://okmij.org/ftp/Haskell/regions.html) * [Work on monadic regions in alexknvl/sio](https://github.com/alexknvl/sio/blob/master/example/src/main/scala/regions.scala) * [Project on Hackage tagged with monadic regions](http://hackage.haskell.org/packages/#cat:Monadic%20Regions) * [Scalaz RegionT](https://github.com/scalaz/scalaz/blob/series/7.3.x/effect/src/main/scala/scalaz/effect/RegionT.scala)
Currently scala_typeclassopedia focus on following math branches: - `Category Theory` - `Abstract Algebra` In https://github.com/lemastero/scala_typeclassopedia/pull/109 I work on adding `Combinatory Logic`. It might be good thing to add `Combinatorial Species`...