Is there someplace a bestiary of GADT examples ? I’d like to find such a thing in order to more-fully understand the universe of possibilities for using GADTs in programming. I’ve never used 'em, and while, sure, reading about the theory is great, and reading a few example is cool, it would be com…

We do seem to have a home-grown ‘GADT’-iary: Open source projects using GADTs A couple of new and interesting ones since that thread: [ANN] Petrol 1.0.0 - A high-level typed SQL API for OCaml designed to go fast! ocaml_sql_query/sql.ml at 0516ea6c7d80a6fcf61c4d9ba551b9f0b780d9ff · yawaramin/ocam…

A bestiary of GADT examples?

Ecosystem

osener May 18, 2023, 11:37am 12

I’ve revisited Typing Tricks: Diff lists various times for implementing heterogeneous lists and maps.

edit: found some related libs in this comment.

Topic		Replies	Views
Open source projects using GADTs Learning gadt	12	1818	April 26, 2022
Application-specific Improvements to the Ecosystem Community	52	2613	August 12, 2022
Taking Inventory of the OCaml Ecosystem on OCaml.org Ecosystem user-feedback , ocamlorg	14	920	June 2, 2023
Interacting with databases Ecosystem	4	1007	June 29, 2019
Database modelling Community announce	1	1291	November 29, 2020

A bestiary of GADT examples?

Related Topics