Generalisierte algebraische Datentypen, GADTs, sind eine leistungsfähigere Form algebraischer Datentypen, die benutzerdefinierte Konstruktortypen unterstützen.
Betrachten Sie Folgendes:
%Vor%
Grundsätzlich ist x1 die Liste aller gültigen Konstruktoren für D T1 und x2 ist die Liste aller gültigen Konstruktoren für D T2 .
Ich möchte jedoch, dass diese Listen alle zusätzlichen Konstrukto...
21.04.2017, 02:23