Parameter Typisierung/ Zeitserver nach RFC 868

[1unitedpower]

• Was soll eine typgerechte Übertragung sein? Eine Kodierung, mit expliziten Typannotationen?

Z.B. daß man den Maximalwert einer Zahl an der Zahl selbst festmacht und nicht an der Anzahl der Ziffern.

Wie passen da unbeschränte Datentypen ins Bild? Haskells Integer-Datentyp, zum Beispiel, kann alle ganzen Zahlen aufnehmen. Eine ganze Zahl kann ich mit LEB kodieren, verschicken und wieder rekonstruieren. Alles typsicher, aber es gibt keine obere Schranke - weder für den Wertebreich, noch für die Länge der Bytestrings, die LEB braucht.