Included, but potentially uninitialized state

[PragTob]

• programmers include and execute initialization of trait state explicitly: since we can't reliably/easily detect which methods or parts of them is actually necessary initialization
• Idea: Warning: if you include state that seems to initialized somewhere, warn the programmer

[PragTob]

I don't think that it is very feasible right now to check if something is seemingly initialized somewhere - I believe that you should generally be warned if you include state that this might have to be initialized.

[antongulenko]

So you want to always warn the programmer whenever state is included?

[PragTob]

Yeah that was kind of my idea for the first run through, it doesn't need to work perfectly and we'd save the work to eventually figure out if some variabel is initialized somewhere.

Of course we could do the obvious 'check if it has an assignment in the initialize' but imo it's not too important for a prototype.

[lauritzthamsen]

@PragTob warnings in any case isn't so different from warnings in no case...

[lauritzthamsen]

methods to search for initialization code: initialize*