OCaml: Abgesicherte Methoden mit Typ-Gleichheits-Beweis
Guarded Methods in OCaml
OCaml bietet keine direkte Syntax für abgesicherte Methoden, die den Empfänger (self) nur für bestimmte Methoden einschränken. Dieser Artikel zeigt, wie man solche Methoden mithilfe eines Typ-Gleichheits-Zeugen (type equality witness) kodieren kann. Anhand des Beispiels einer Listenklasse wird demonstriert, wie man Methoden wie flatten (nur für Listen von Listen) oder sum (nur für Listen von Integers) definiert, ohne die gesamte Klasse einzuschränken. Der Ansatz nutzt GADTs und erlaubt es, die Typparameter der Klasse gezielt zu verfeinern.
Obwohl abgesicherte Methoden notwendig erscheinen, kenne ich leider keine Mainstream-Sprache, die ihre Definition erlaubt. Das ist sehr schade. Glücklicherweise ist es in OCaml möglich, sie zu kodieren.