stainless
docs.scala-lang
stainless | docs.scala-lang | |
---|---|---|
3 | 7 | |
347 | 554 | |
0.6% | 0.9% | |
8.2 | 9.2 | |
9 days 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.
stainless
docs.scala-lang
-
Java 23: The New Features Are Officially Announced
Apple use Scala, not Java, for that sort of thing. At least that was the case last time I interacted with them.
Here are some of the suggested starting points for Scala: https://docs.scala-lang.org/
Here are the Scala books I've written: https://noelwelsh.com/landing/books/
Here's the coding group I run: https://www.scalabridgelondon.org/
ScalaBridge's online events have attendees from across Europe.
-
Type Class
Type class is an interesting concept and I have been reading about it from different sources. So, I decided to pen down my learning from different sources like scala-lang.org, scalac.io, with examples that I could relate to better.
-
The Top 20 Programming Languages and Their Origins
Scala
-
What is the main area/focus of Scala? What kind of projects are necessary to demonstrate proficiency in this language?
First you need to learn idiomatic Scala, start here: https://docs.scala-lang.org
-
Changing a case class definition in a backwards-compatible manner (Scala 3)
Written by /u/julienrf and others in https://github.com/scala/docs.scala-lang/pull/2662
-
Resources for Learning Scala
Link: https://docs.scala-lang.org/
-
What are the advantages to upgrade microservices from Scala 2.12 to 3.0?
That wording is out of date. I've just submitted https://github.com/scala/docs.scala-lang/pull/2241 to update it.
What are some alternatives?
sbvPlugin - Formally prove properties of Haskell programs using SBV/SMT.
PHPT - The PHP Interpreter
z3_tutorial - Jupyter notebooks for tutorial on the Z3 SMT solver
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.
intro-cats-effect - Slides and video recording for my "Intro to Cats-Effect" talk
kotlin - The Kotlin Programming Language.
refined - Refinement types for Scala
Lua - Lua is a powerful, efficient, lightweight, embeddable scripting language. It supports procedural programming, object-oriented programming, functional programming, data-driven programming, and data description.
CPython - The Python programming language
manticore - Symbolic execution tool
go - The Go programming language