[ygra]

You can use generics and overload resolution to solve satisfiability problems in C# and Java. But not in the way like templates in C++ allow for compile-time computation.

[mehrdadn]

Yup I've seen that aspect haha.