Add article compile-time data contracts article with Scala 3 macros #354
Conversation
…cros and schema validation
daniel-ciocirlan
left a comment
daniel-ciocirlan
left a comment
There was a problem hiding this comment.
Very valuable article. I've added some comments about explanations and phrasing. Otherwise nice 👍 👍
src/data/articles/compile-time-data-contracts-scala-3/index.mdx
Outdated
Show resolved
Hide resolved
src/data/articles/compile-time-data-contracts-scala-3/index.mdx
Outdated
Show resolved
Hide resolved
src/data/articles/compile-time-data-contracts-scala-3/index.mdx
Outdated
Show resolved
Hide resolved
src/data/articles/compile-time-data-contracts-scala-3/index.mdx
Outdated
Show resolved
Hide resolved
src/data/articles/compile-time-data-contracts-scala-3/index.mdx
Outdated
Show resolved
Hide resolved
src/data/articles/compile-time-data-contracts-scala-3/index.mdx
Outdated
Show resolved
Hide resolved
|
docs: address all PR review comments - alphabetize tags, add headings, convert mermaid diagrams to SVG, fix Scala 3 braces syntax, add external tool links, enhance Spark drift example, standardize formatting |
daniel-ciocirlan
left a comment
daniel-ciocirlan
left a comment
There was a problem hiding this comment.
Thanks for all the fixes!
I marked some more blocks to use braces - I know they are compact and look a little better with braceless, but consistency is more valuable and longer code blocks (10+ lines) are much less readable with braceless.
If-then-else is fine 👍
| private inline def summonTypeName[T]: String = constValue["" + T] | ||
|
|
||
| private inline def zip[L <: Tuple, R <: List[String]](labels: L, types: List[String]): List[(String, String)] = | ||
| inline labels match |
|
|
||
| final case class User(id: Long, email: String, note: Option[String]) | ||
|
|
||
| @main def checkShape(): Unit = |
| ### Inspector 1: Is this a case class? | ||
|
|
||
| ```scala | ||
| def isCaseClass(t: TypeRepr): Boolean = |
| t =:= TypeRepr.of[String] // false | ||
|
|
||
| // 3. Pattern matching: Break it apart | ||
| t match |
| ### Inspector 2: What are the type arguments? | ||
|
|
||
| ```scala | ||
| def appliedArgs(t: TypeRepr): List[TypeRepr] = t match |
| ### Inspector 4: Is this a sequence? | ||
|
|
||
| ```scala | ||
| def seqArg(t: TypeRepr): Option[TypeRepr] = |
| ```scala | ||
| def mapArgs(t: TypeRepr): Option[(TypeRepr, TypeRepr)] = | ||
| if t <:< TypeRepr.of[Map[?, ?]] then | ||
| appliedArgs(t) match |
| ### Handling case classes: | ||
|
|
||
| ```scala | ||
| if isCaseClass(t) then |
| import scala.deriving.Mirror | ||
|
|
||
| final case class Field(name: String, tpe: String, hasDefault: Boolean = false, isOptional: Boolean = false) | ||
| trait Shape[A]: |
There was a problem hiding this comment.
there are a bunch of other blocks, I'll mark them
|
Done, converted all braceless syntax to use braces. |
|
Ready for review. |
2 participants
docs: Add article compile-time data contracts article with Scala 3 macros and schema validation