Hi, I am looking for examples of business use cases for GADTs. I understand that GADTs are a perfect match for small DSLs and their respective evaluators. I know they can be used to encode run time type information (even thou this is much less clear to me). But apart from this link ( http://engin…

In general I’d say one use case of GADTs is when you already have a regular ADT (aka a sum type), but in a lot of places, when you pattern match on it, you rely on runtime invariants to ignore some cases (i.e you have a lot of match ... with ... | _ -> assert false ). Some times, in these cases, GAD…

(Business) Use Cases for GADTs

Learning

perry June 12, 2018, 12:56pm 4

Except he goes on to say that’s not really true. So, read further in that blog posting.

Topic		Replies	Views
Open source projects using GADTs Learning gadt	12	1986	April 26, 2022
ChatGPT explains GADTs Learning gadt	4	1145	March 24, 2023
A bestiary of GADT examples? Ecosystem gadt	11	1799	May 18, 2023
GADTs for performance Learning performance	5	1678	November 4, 2020
Tutorial on GADTs Learning blog , gadt , tutorial	25	3414	June 12, 2024

(Business) Use Cases for GADTs

Related topics