pascalabcnet/CodeExamples/TypeclassExample.pas
Voloshin Bogdan efa25e3c61 Minor fixes
2018-04-20 12:03:38 +03:00

24 lines
412 B
ObjectPascal

type
SumTC[T] = typeclass
function sum(v1, v2: T): T;
end;
SumTC[integer] = instance
function sum(v1, v2: integer): integer;
begin
Result := v1 + v2;
end;
end;
function Sum3<T>(v1, v2, v3: T): T; where SumTC[T];
begin
Result := SumTC[T].sum(v1, SumTC[T].sum(v2, v3));
end;
begin
var v1, v2, v3, res: integer;
res := Sum3&[integer](v1, v2, v3);
Write(res);
end.