Frederik píše v St 20. 01. 2010 v 23:58 +0100: > Jiří Zárevúcky wrote: > > What is the point of having Vala check it everywhere? I expect > > programmer to know what is going on inside a method/class he wrote. > > Input and output values are being checked and that's IMO perfectly > > enough. > > > > Imagine it like checking your identity at nation borders - you don't > > need to identify yourself before entering every building, that's just > > pointless. At least that's my opinion. > > Non-null type checking at compile time is an area of research with the > aim of reducing null-related errors: > http://research.microsoft.com/en-us/um/people/leino/papers/krml109.pdf >
Thanks for the link. It's an interesting concept. Compile time analysis would be good. I'm just a little afraid it's going to be implemented like the current argument checking - by checking at runtime. Checking values at every assignment would be so not cool.
signature.asc
Description: Toto je digitálně podepsaná část zprávy
_______________________________________________ Vala-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/vala-list
