ARCHITECTURE

Tools and libraries:

• TypeLevel:
  • First:
    • https://github.com/typelevel/cats
    • https://github.com/typelevel/cats-effect/
    • https://github.com/typelevel/fs2 - IO in LazyK should be Stream
    • https://github.com/typelevel/scalacheck
    • https://github.com/typelevel/skunk - For PostgreSQL
    • https://github.com/typelevel/spire - Only for Natural?
  • Second:
    • https://github.com/typelevel/cats-collections
    • https://github.com/typelevel/cats-mtl/
    • https://github.com/typelevel/cats-parse
    • https://github.com/typelevel/cats-tagless/
    • https://github.com/typelevel/discipline
    • https://github.com/typelevel/fabric
    • https://github.com/typelevel/log4cats
    • https://github.com/typelevel/mouse/
    • https://github.com/typelevel/natchez - Use Kleisli Instance or Cats-MTL Local Instance https://typelevel.org/natchez/reference/trace.html
    • https://github.com/typelevel/otel4s
  • Third:
    • https://github.com/typelevel/case-insensitive
    • https://github.com/typelevel/cats-time/
    • https://github.com/typelevel/jawn-fs2
    • https://github.com/typelevel/keypool
    • https://github.com/typelevel/typelevel-nix
    • https://github.com/typelevel/vault
• Friendly:
  • First:
    • https://github.com/http4s/http4s
    • https://github.com/tpolecat/doobie - only for JVM
    • https://github.com/optics-dev/Monocle - Lens for Scala
    • https://github.com/fthomas/refined
    • https://github.com/milessabin/shapeless
  • Second:
    • https://github.com/erikerlandson/coulomb
    • https://github.com/bkirwi/decline
    • https://github.com/atnos-org/eff
    • https://github.com/gnieh/fs2-data
    • https://github.com/typelevel/kittens
    • https://github.com/alexarchambault/scalacheck-shapeless
    • https://github.com/scodec/scodec
    • https://github.com/scoverage/scalac-scoverage-plugin
    • https://github.com/typelevel/simulacrum
    • https://github.com/etorreborre/specs2
    • https://github.com/typelevel/squants
  • Third:
    • https://github.com/hnaderi/edomata
    • https://github.com/hnaderi/lepus
    • https://github.com/j-mie6/parsley-cats
• Other
  • First:
    • https://github.com/scalatest/scalatest - because scalatest has the best Table-driven property checks. Use:
      • FlatSpec for property tests
      • WordSpec for other tests
    • https://github.com/typelevel/cats-effect-testing
    • https://github.com/circe/circe
  • Second:
    • https://github.com/PurpleKingdomGames/tyrian
• Tool
  • ScalaStyle
  • WartreMover
  • ScalaFmt
  • ScapeGoat
  • WarTime
  • Linter
  • Codacy
  • stryker4s
  • stainless
• Other ideas
  • Golden Testing?
  • https://flink.apache.org/

Which tests?

• weaver-test from typelevel
• munit from scalameta
• izumi from 7mind
• minitest from monix
• utest from com-lihaoyi
• specs2 from etorreborre
• scalatest

If we need an ARCHITECTURE we shoud use

• Ports and adapters
• CQRS
• ES