moss2
Joined 5 years ago
Karma
540
Submissions
138
Member since
Jun 30
Joined 5 years ago
A much better solution is to build incentives into the legal system, like tgsovlerkhgsel suggested. The problem isn't that bad actors abuse the system, the problem is that the system allows bad actors to abuse it.
(Yes, this is a political opinion. No, I am not American.)
But thank you for sharing the link that was helpful
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())Is Onyx like that? I don't know. It would take me maybe two minutes to look up. The point is I have to look it up to be certain when that certainty could be part of the language.