stainless
intro-cats-effect
stainless | intro-cats-effect | |
---|---|---|
3 | 3 | |
347 | 25 | |
0.6% | - | |
8.2 | 0.0 | |
10 days ago | over 2 years 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.
stainless
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.
What are some alternatives?
sbvPlugin - Formally prove properties of Haskell programs using SBV/SMT.
taller-go - Presentación y código fuente para el taller de Go.
z3_tutorial - Jupyter notebooks for tutorial on the Z3 SMT solver
scala-pet-store - An implementation of the java pet store using FP techniques in scala
docs.scala-lang - The Scala Documentation website
tagless-final - [Moved to: https://github.com/DevInsideYou/tagless-final]
refined - Refinement types for Scala
meteor - https://d2a4u.github.io/meteor/
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.
freebsd-papers - The FreeBSD Papers, Slides, and Video Collection
manticore - Symbolic execution tool
FS2 - Compositional, streaming I/O library for Scala