Hi,
I wonder if there are any plans to allow automatic inference of
function attributes. I think it's a big hassle having to pollute
function declarations with things like @safe, nothrow, pure, etc.
let alone rembering them all.
I know this is done for anonymous functions on a best effort
basis, so what is holding back that feature for regular
functions? Is it
1. Incompleteness, e.g. hard to implement correctly for all
cases, thus we better leave it out entirely
2. The fact that every new keyword (thinking of 'public auto
infer') bloats the language
3. In practice it isn't as annoying as I might think, YAGNI
or a mixture of all 3?