On Wednesday, 10 April 2013 at 17:12:27 UTC, Dicebot wrote:
On Wednesday, 10 April 2013 at 15:52:23 UTC, deadalnix wrote:
...
And that is exactly what makes it useless. I need one keyword
to automatically verify for me that parameters fine, that
context is fine, return value is fine etc. This is the basic
crucial concept and everything else should be built on top of
it, not other way around. No one can say that my function is
pure just by seeing keyword because I have probably forgot
something. It is like saying that immutable is immutable only
if you take care of some cases. Outstanding issue in my opinion.
Then you'd need 2 keyword, and one would be completely redundant
with information already present in the signature.