Не думаю, все мухи на python сидят.

Впрочем, у C# (как, впрочем, и у Java) есть чудовищный косяк - отсутствие dependent types. В C++ они есть, там шаблоны могут зависеть от констант, и там есть variadic templates; а в C# вот этот кошмар, и они жалуются (в духе gnome, "why do you want to do it", "8-dim tuple is enough for all") хвастаются, что из-за type erasure этого сделать нельзя (в принципе, это вранье, но идея понятна)

Когда уже сделают нормальный язык с зависимыми типами, который не слон типа C++ и не эксперимент типа Idris