Understanding the exact properties that disqualify a data type from being an instance of a given abstraction turns out to be surprisingly helpful
Abstractions such as functor, monads... are often explained by example, which I think is only half of what's needed to build a solid intuition. The other half is counter-examples: things that *aren't* things. This talk intends to fill that void, by going through the list of common abstractions and showing types that are, say, a functor, but not an applicative. While this may sound more like a toy than something useful, understanding the exact properties that disqualify a data type from being an instance of a given abstraction turns out to be surprisingly helpful, and have certainly allowed me to go further in my study of such things.
I will show you how you can build your own IDE for scala based on my nvim setup
A short case study of a real production issue that was debugged, minimized, and fixed using property-based testing.
As WebAssembly matures and gets more and more traction from the community, you might wonder can Scala join that trend?
How to implement fast and cost-effective backend for a multiplayer game using Scala, Akka and GraalVM
How Scala 3 addresses concerns around implicits and how implicits work in Scala 3.