James Earl Douglas
Posts
Talks
Toys
About
Notes on Scala
March 28, 2013
Macros
Constructive Mathematics
Java interop
JDBC
Tools
ELK Stack
Literate Scala
Leon
Techniques
From Monad Transformers to an Effect System
Unboxed Tagged Types
Functional debugging
Libraries
Akka
Argonaut
Doobie
ScalaCheck
Scalaz
Spark
ZIO
Related
Proving the functor laws with Leon