The earlier parts of the talk generalize out to advanced languages like F#, Ocaml.  but the &quot;data&quot; part of the talk assume static languages are completely represented by C++, Java and C#.  It was pretty disappointing.