"Ionuț G. Stan"
ionut.g.stan at gmail.com
Tue Sep 13 04:38:29 PDT 2011
On Sep/12/2011 22:19, Rick Waldron wrote:
> On Mon, Sep 12, 2011 at 11:38 AM, Claus Reinke <claus.reinke at talk21.com
> <mailto:claus.reinke at talk21.com>> wrote:
> I'm hopeful that type inference combined with class syntax and
> an (eventual) traits system will get us "there", so that you
> can use
> structural type tests for enforcement and that the IDE can
> get the
> benefit of hints through inference.
> Improved, statically checkable, types would also help mitigate
> refactor, fixing bugs, or adding features).
> Unit tests with comprehensive and thorough code coverage does this today.
Sure. The question is why should we do it if a machine can do it? That
would mean we can concentrate on writing business logic tests instead of
tests that verify type matches.
Ionuț G. Stan | http://igstan.ro
More information about the es-discuss