Reads for GADT, existential types, universally quantified type code

Learning
,
1

Hello :slight_smile:

Do you know code with plenty of GADT, existential types, universally quantified types ?

I would like to read such things.

Thanks !

1 Like
2

The plenty makes me less confident on whether my reply is fine.

For gadt, you can click the gadt tag just below the post title to find all posts here on gadt.
I read all of them when I learn the usage of gadt.

(In the post I forgot which) I found this collection of gadt from objmagic https://github.com/objmagic/jaw

1 Like
3

hooohoh nice repo :star_struck: !

Well, I am looking to packing a small literature. Anything goes : academic papers showing off these things (what they enable and their pitfalls/limitations), perls, puzzles, real life code.

The manual has en entry on polymorphism tackling awkward type inference with explicit universally quantified types and explicit polymorphic annotations

4

Xavier Thirioux’s Habilitation thesis contains a large development around Taylor series in OCaml using GADTs. I think it deserves to be better known.

4 Likes