GADTs¶
// Subsection // ~~~~~~~~~~
Примеры
Равенство
Оптимизированные массивы https://blog.janestreet.com/why-gadts-matter-for-performance/
STLC-like interpreter https://stackoverflow.com/questions/22676975/
Глава унижки из Кембриджа https://www.cl.cam.ac.uk/teaching/1415/L28/gadts.pdf
https://stackoverflow.com/questions/41797085/writing-an-interpreter-with-ocaml-gadts
https://ocaml.org/meetings/ocaml/2013/proposals/formats-as-gadts.pdf
https://www.irif.fr/~gradanne/papers/gadts.pdf Drup’s slides