Some relevant prior art, please ignore this issue in case the works are already known to you,
This language extension resembles some of newly proposed generic syntax quite closely, for instance
call foo<integer, real, real>(x, y, z)
call foo<integer, real, integer>(x, y, z)
call foo<integer, integer, integer>(x, y, z)
call foo<real, real, real>(x, y, z)
for specializing the argument types.
Some relevant prior art, please ignore this issue in case the works are already known to you,
This language extension resembles some of newly proposed generic syntax quite closely, for instance
for specializing the argument types.