- Was soll eine typgerechte Prüfung sein? Ein Typechecking? Eine Daten-Validierung?
Daß man den Wert eines Numerischen Datentypes prüft und nicht die Länge des Strings in dem er übertragen werden soll.
PS: Ich habe auch eine Weile gebraucht um das alles zu verstehen. Genaugenommen mehrere Jahre. Aber keine Sorge, das geht irgendwann runter mit dem entsprechenden AHA Effekt.
Ich kenne mich mit Typtheorie und Darstellungstheorie einigermaßen aus - ich kann dir trotzdem nicht folgen, weil du dich nicht auf die geläufige Fachsprache einlässt und viele Begriffe neu erfindest, durcheinander wirfst, oder in falschen Bedeutungszusammenhängen gebrauchst.