Great question I wonder what is a zero overhead abstraction. For instance closures are expensive (they malloc), but to what extent can we consider closures to

Great question I wonder what is a zero overhead abstraction. For instance closures are expensive (they malloc), but to what extent can we consider closures to be malloc'd structs; then potentially do away with the concept of structs -- because they've become a subset of the functionality provided by closures. At that point can we not consider closures as zero cost; because malloc of structs is essential to c, and with optimization we need be no more expensive And to what extent does that hold true for every other feature? In some sense it is maybe always true