Sure; but he blames the type for its semantics. New languages have shown that * even with the downsides, pointers are absolutely worth it, and * the type's se

Sure; but he blames the type for its semantics. New languages have shown that * even with the downsides, pointers are absolutely worth it, and * the type's semantics can be improved, removing many of the types's problems.