> > > * 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.

> > > * 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 Zahlen 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.