Notes on Scala

Macros

• Constructive Mathematics

Java interop

• JDBC

Tools

• ELK Stack
• Literate Scala
• Leon

Techniques

• From Monad Transformers to an Effect System
• Unboxed Tagged Types

Libraries

• Akka
• Argonaut
• Doobie
• ScalaCheck
• Scalaz
• Spark
• ZIO

Related

• Proving the functor laws with Leon