2016/02/08 10:53 "tyru" <[email protected]>: > > Hi Bram, > > 2016/02/08 3:22 "Bram Moolenaar" <[email protected]>: > > > > > > > Takuya Fujiwara wrote: > > > > [...] > > > > > >> let json = jsonencode({"key": v:none}) > > > >> if json is v:none > > > >> echoerr 'error!' > > > >> return ... > > > >> endif > > > > > > > > Well, let's just return an empty string. Returning a different type > > > > often makes it more complicated. > > > > > > I agree. > > > However, I think "E706: Variable type mismatch" should be removed > > > becase it is not so useful for me... > > > > Where do you get that? Or do you mean that the sticky type checking > > isn't all that useful in general? I've been wondering whether we would > > be better off without it. > > I don't think it is useful in lightweight languages > (I don't think *only* a strict type checking is useful). > A strict type checking is useful for a language which has a strong type system. > Because we can detect errors by different types, and so on.
Ah, sorry. I mean, we can detect errors by different types, and so on *at compile-time*. > > > > > -- > > In Joseph Heller's novel "Catch-22", the main character tries to get out of a > > war by proving he is crazy. But the mere fact he wants to get out of the war > > only shows he isn't crazy -- creating the original "Catch-22". > > > > /// Bram Moolenaar -- [email protected] -- http://www.Moolenaar.net \\\ > > /// sponsor Vim, vote for features -- http://www.Vim.org/sponsor/ \\\ > > \\\ an exciting new programming language -- http://www.Zimbu.org /// > > \\\ help me help AIDS victims -- http://ICCF-Holland.org /// -- -- You received this message from the "vim_dev" maillist. Do not top-post! Type your reply below the text you are replying to. For more information, visit http://www.vim.org/maillist.php --- You received this message because you are subscribed to the Google Groups "vim_dev" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
