On: Zig-style generics are not well-suited for most languages

[valenterry]

I can't quite wrap my head around how that would work, but I'll trust you and then take my original claim back!

[he_the_great → valenterry]

auto alist = [1, 3, 2];

alist .sort .map!(x => x * x) .map!(x => x - x/2) .map!(x => x + 1);

This seems like what you're asking. Each of those is a template. And while this is all logic code, D has inferred the type aka: SortedRange!Map!Map!Map

With some details removed.