I might not be against that... Assigning variables or calling methods (when you discard the return value) would look the same as is typical in many languages:

I might not be against that... Assigning variables or calling methods (when you discard the return value) would look the same as is typical in many languages: int x = foo(); // foo() returns int but we can see that in what type x is foo(); // we don't care what foo() returns Named variables in method calls would have to have the type so as to not hide what type a method-as-parameter returns: CoolObject cool_obj = bar(int arg1: foo())