https://wiki-de.moshellshocker.dns64.de/index.php?action=history&feed=atom&title=TypableitungTypableitung - Versionsgeschichte2026-05-25T01:56:13ZVersionsgeschichte dieser Seite in Wikipedia (Deutsch) – Lokale KopieMediaWiki 1.43.8https://wiki-de.moshellshocker.dns64.de/index.php?title=Typableitung&diff=1620066&oldid=previmported>Humbug: hat „Typableitung“ nach „Typinferenz“ verschoben und dabei eine Weiterleitung überschrieben: (i) kollidiert mit »abgeleiteten Datentypen«
(ii) »Ableitung« ist auch sprachlich nicht korrekt, sollte »Herleitung« heißen.2009-03-31T21:39:12Z<p>hat „<a href="/index.php/Typableitung" class="mw-redirect" title="Typableitung">Typableitung</a>“ nach „<a href="/index.php/Typinferenz" title="Typinferenz">Typinferenz</a>“ verschoben und dabei eine Weiterleitung überschrieben: (i) kollidiert mit »abgeleiteten Datentypen« (ii) »Ableitung« ist auch sprachlich nicht korrekt, sollte »Herleitung« heißen.</p>
<p><b>Neue Seite</b></p><div>#WEITERLEITUNG [[Typinferenz]]</div>imported>Humbug