Re: [Vala] Proper Syntax for Array of Nullable Strings

[Frederik <scumm_fredo gmx net>]

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