Jenseits von Hindley-Milner: Ein Tutorial zum Cubiml-Compiler mit algebraischer Subtypisierung
Diese Blog-Post-Serie stellt Cubiml vor, ein Compiler-Tutorial, das auf einem neuartigen Typrückschlusssystem namens "kubische Biunifikation" basiert, einer Verbesserung der algebraischen Subtypisierung. Es behebt die Einschränkungen der fehlenden Unterstützung für Subtypisierung im Hindley-Milner-System und bietet eine leistungsfähigere und intuitivere Typrückschluss. Das Tutorial führt durch die Implementierung von Cubiml mit detaillierten Codebeispielen, die Boolesche Werte, Bedingungsanweisungen, Datensätze, Funktionen, let-Bindungen, rekursive let-Bindungen, gegenseitige Rekursion und Case-Typ-Matching abdecken. Das endgültige Ziel ist ein Compiler, der Programme typprüft, ohne dass manuelle Typannotationen erforderlich sind.