free-arrow
mongo4cats
Our great sponsors
| free-arrow | mongo4cats | |
|---|---|---|
| 2 | 1 | |
| 17 | 99 | |
| - | - | |
| 2.9 | 8.7 | |
| about 2 months ago | 6 days ago | |
| Scala | Scala | |
| - | Apache License 2.0 |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
free-arrow
-
The Deep Link Equating Math Proofs and Computer Programs
my first thought was something something dependent types (Idris, Agda), but it also sounds like TS-like structural typing with a Rust-like Result type. proving that every incoming message is either parsed correctly or we return an error seems to be the basic building block. and then every transformation should be other pure functions.
thought I guess you mean something more top-downish? for that there's "program interpretation" ( https://github.com/AdrielC/free-arrow )
plus something very heavy-handed https://deepai.org/publication/a-coq-based-synthesis-of-scal...
-
Pure Functional Stream processing in Scala: Cats and Akka – Part 1
Interesting post, although the use of `cats.IO` feels a little shoehorned. I've found some nice cats/akka synergy by abstracting over flows using a `cats.arrow.Arrow` instance for `akka.stream.scaladsl.Flow`. That might be just as shoehorned though, since I haven't yet worked out whether akkas `Flow` forms a lawful Arrow
mongo4cats
-
I want to move to Scala 3, but I'm not sure what libraries to use
For MongoDB use Mongo4cats with ZIO https://github.com/Kirill5k/mongo4cats
What are some alternatives?
zio-prelude - A lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration
zio-k8s - An idiomatic ZIO client for the Kubernetes API.
ZIO - ZIO — A type-safe, composable library for async and concurrent programming in Scala
neutron - :stars: Purely functional Apache Pulsar client for Scala built on top of Fs2
pragmatapro - PragmataPro font is designed to help pros to work better
Quill - Compile-time Language Integrated Queries for Scala
Reactive Streams - Reactive Streams Specification for the JVM
Anorm - The Anorm database library
aGdaREP - Implementing grep in Agda
munit-zio - MUnit and ZIO integration
json4s - JSON library
Quicklens - Modify deeply nested case class fields