Was ist ein Haupttyp?
Der OCaml-Compiler hat eine "-principal" -Option und der Begriff "Prinzipaltyp" wird manchmal in der Mailingliste erwähnt. Was genau bedeutet das? Die Definition in Wikipedia ist rekursiv, da davon ausgegangen wird, dass der Leser mit dem Begriff bereits vertraut ist.