Im englischen Original (vom gleichen Autor) steht schlicht "type system". Daraus könnte man versuchen ein "Typsystem" zu machen. Wieso hier im Deutschen mal "Typ" und dann aber auch "Sorte" verwendet wird, ist mir nicht ganz klar, sieht mir aber nach Absicht aus. Vielleicht äußert sich der Autor? -- H.Marxen 21:50, 11. Mai 2013 (CEST)