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


Best regards,

Frederik
_______________________________________________
Vala-list mailing list
[email protected]
http://mail.gnome.org/mailman/listinfo/vala-list

Reply via email to