coerce

Ich möchte, dass dieser Code "nur funktioniert": %Vor% Natürlich ist der einfachste Weg, int(c)/3 zu schreiben, aber ich möchte eine einfachere Perl-Syntax für eine Konfigurations-Minisprache aktivieren. Es ist bemerkenswert, dass wenn...

Betrachten Sie die folgende GHCi-Sitzung: %Vor% Ich habe eine Ahnung von dem, was hier passiert: Der Typ-Checker muss Coercible (Ord a => a -> Map a b -> Bool) (Ord a => a -> MySet a -> Bool) erfüllen und kann b in di...