What is PL? I would appreciate more descriptive language.

I can see that Janestreet claim huge benefits from GADTs (check their blog).

I also came across a blog about writing GraphQL server using OCaml & GADT. Worth checking out.

String/print formatting used to rely on unsafe Obj.magic. For a few years OCaml string/print formatting is using GADT that provide compile time safety. Lookup format6, and OCaml GADT for string/print formatting. That’s the most real-world usage.

Viet

On Sun, 17 Jun 2018 at 04:44, Chet Murthy <murthy.chet@gmail.com> wrote:

I'm curious: is there any real-world use of GADTs, other than in PL itself? I mean, writing interpreters, compilers, and such? Any non-PL use?

Again, not trying to start a flame-war -- just *curious*.

Kind regards,

Viet