I’ve heard @Yaron_Minsky mention in a few talks and podcasts that GADTs can be used to improve performance, specifically around memory layout.
Does anyone have any examples of how this would work?
Is there a recording of this presentation anywhere? http://www.cs.cmu.edu/afs/.cs.cmu.edu//Web/Posters/POP-YMinsky17.pdf