Wirth is a true believer in strong typing: marrying strong types to inflexible compilers If I understand that quote, he means that variant records are dangerou

Wirth is a true believer in strong typing: marrying strong types to inflexible compilers If I understand that quote, he means that variant records are dangerous because they make it possible for programmers to interpret data in different ways, thus bypassing the type checks of the compiler and invalidating the whole concept of strong typing. He mentions a little more about this in his paper on The History of Modula 2 and Oberon: http://www.inf.ethz.ch/personal/wirth/Articles/Modula-Oberon-June.pdf http://www.inf.ethz.ch/personal/wirth/Articles/Modula-Oberon....