OCaml and Haskell people are used to everything being strongly typed. So they dislike it when the languages we use to query things (XPath, SQL, etc) are basically string blobs embedded untyped in their programs. Hence the search for typed approaches, especially ones which safely cross between the programming language and the DSL. (For PostgreSQL I wrote a type safe OCaml extension called PG.OCaml which type-checks the SQL and integrates it into OCaml code). I'm not familiar with SwiftUI to talk about it.