More

Resources

Tagless Final Encoding

• Finally Tagless, Partially Evaluated (Paper)
• Typed Tagless Final Interpreters (Paper)
• Exploring Tagless Final pattern for extensive and readable Scala code
• Structuring Functional Programs with Tagless Final
• Free and tagless compared
• Functional Web Services with Final Encoding
• Tagless Final algebras and Streaming
• MTL-style program composition
• Advanced Tagless Final - Saying Farewell to Free
• Introduction to Tagless final
• From Object Algebras to Finally Tagless Interpreters
• The Death of Final Tagless (Video)
• Move Over Free Monads: Make Way for Free Applicatives! by John de Goes (Video)

Miscellaneous

• laws by Filippo Mariotti
• Scala for generic programmers (Paper)
• Generalized type constraints in Scala (without a PhD)
• The Evolution of a Scala Programmer
• Types: Never commit too early
• Functional Programming for Mortals with Scalaz (2018) by Sam Halliday (Book)
• Streams for (Co)Free!

Patterns

• The Aux Pattern
• Aux Pattern Evolution
• Cake pattern
• Magnet pattern
• Type safe builder in Scala using type constraints
• newtype
  • The High Cost of AnyVal subclasses
  • vitorsvieira/dilate
  • estatico/scala-newtype
  • milessabin/newtype
  • softwaremill/tagging
  • barambani/http4s-poc-api
• Scala and the visitor pattern

Other FP languages

• OCaml taste
• OCaml Programming (book)
• F# for Fun and Profit

Blogs

• Typelevel
• Scalac
• Signify
• Scala Times
• SoftwareMill
• okmij
• kubuszok
• Scala Love

Videos

• SystemFw Talks by Fabio Labella
• Scalaz 8 VS Akka actors by John De Goes
• Faculty of Khan