intro-cats-effect
stainless
intro-cats-effect | stainless | |
---|---|---|
3 | 3 | |
25 | 347 | |
- | 1.7% | |
0.0 | 8.2 | |
over 2 years ago | 8 days ago | |
HTML | HTML | |
- | 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.
intro-cats-effect
- What do you think are the defining features that make Scala uniquely better than other languages?
-
Question using Cats effect & Http4s
Intro to Cats Effect by Gavin: https://github.com/Daenyth/intro-cats-effect - This talk is very practical and gets you familiar with IO
-
Example of building web apis (functionally) in Scala
Read the docs on the cats-effect website and then solve the tutorial on your own, do not look at the provided answers / code snippets. I also recommend you the talk "Intro to cats effect" by Gavin Bisesi (aka Daenyth). - This one to getting familiar with the IO monad and understand why it it useful.
stainless
What are some alternatives?
taller-go - Presentación y código fuente para el taller de Go.
sbvPlugin - Formally prove properties of Haskell programs using SBV/SMT.
scala-pet-store - An implementation of the java pet store using FP techniques in scala
z3_tutorial - Jupyter notebooks for tutorial on the Z3 SMT solver
tagless-final - [Moved to: https://github.com/DevInsideYou/tagless-final]
docs.scala-lang - The Scala Documentation website
meteor - https://d2a4u.github.io/meteor/
refined - Refinement types for Scala
freebsd-papers - The FreeBSD Papers, Slides, and Video Collection
scalable-data-science - Scalable Data Science, course sets in big data Using Apache Spark over databricks and their mathematical, statistical and computational foundations using SageMath.
FS2 - Compositional, streaming I/O library for Scala
manticore - Symbolic execution tool