{"id":27,"date":"2016-04-29T14:46:30","date_gmt":"2016-04-29T14:46:30","guid":{"rendered":"http:\/\/www.onux.com\/jspp\/blog\/?p=27"},"modified":"2016-04-29T14:46:30","modified_gmt":"2016-04-29T14:46:30","slug":"optional-types-null-without-nullpointerexception","status":"publish","type":"post","link":"https:\/\/www.onux.com\/jspp\/blog\/optional-types-null-without-nullpointerexception\/","title":{"rendered":"Optional Types: ‘null’ without NullPointerException"},"content":{"rendered":"

Optional (nullable) types will be coming to JS++. This usually stokes fears of null pointer dereferencing. For example, in Java, this is known as a “NullPointerException”.<\/p>\n

In fact, Turing Award winner Tony Hoare calls it his billion-dollar mistake:<\/p>\n

\n

I call it my billion-dollar mistake. It was the invention of the null reference in 1965. At that time, I was designing the first comprehensive type system for references in an object oriented language (ALGOL W). My goal was to ensure that all use of references should be absolutely safe, with checking performed automatically by the compiler. But I couldn’t resist the temptation to put in a null reference, simply because it was so easy to implement. This has led to innumerable errors, vulnerabilities, and system crashes, which have probably caused a billion dollars of pain and damage in the last forty years.<\/p>\n<\/blockquote>\n

However, it’s possible to have null<\/code>s in a language without ever having NullPointerExceptions.<\/p>\n

\r\nvoid doStuff(Foo foo) {\r\n    foo.bar(); \/\/ Error, potentially null\r\n}\r\n<\/pre>\n
In the above example, foo<\/code> can be either an instance of Foo<\/code> or null<\/code> at runtime. This creates the potential for dereferencing a null pointer. This is an easy fix though – we just check that foo<\/code> is not<\/em> null<\/code>:<\/p>\n
\r\nvoid doStuff(Foo foo) {\r\n    if (foo != null) {\r\n        foo.bar();\r\n    }\r\n}\r\n<\/pre>\n
By checking that foo<\/code> is not<\/em> null<\/code>, we can guarantee foo<\/code> is at least an instance of class Foo<\/code> – thus making it very straightforward for us to check that the bar<\/code> method exists. This is a process known as type refinement<\/em>. What’s interesting is that the compiler is able to actually ensure you’ve made the check before you ever run your program. It achieves this by examining the control and data flow. This is cutting-edge research known as flow-sensitive type systems.<\/p>\n
In addition, by examining the control and data flow, if we can ascertain that null<\/code> was never<\/em> passed into the doStuff<\/code> function, type refinement would not need to occur, and you would not need<\/em> to check for null<\/code>. Thus, this code – with no null<\/code> check – will still pass a compile:<\/p>\n
\r\nvoid doStuff(Foo foo) {\r\n    foo.bar();\r\n}\r\n\r\ndoStuff(new Foo());\r\n<\/pre>\n
On the other hand, as soon as you introduce null<\/code>, you need to check for null<\/code> too:<\/p>\n
\r\n\/\/ Attempt 1\r\nvoid doStuff(Foo foo) {\r\n    foo.bar(); \/\/ Error, 'foo' can be 'null'\r\n}\r\n\r\ndoStuff(new Foo()); \/\/ ok\r\ndoStuff(null);      \/\/ now we need a null check\r\n<\/pre>\n
\r\n\/\/ Attempt 2\r\nvoid doStuff(Foo foo) {\r\n    if (foo != null) { \/\/ do the 'null' check so the code compiles\r\n        foo.bar();\r\n    }\r\n}\r\n\r\ndoStuff(new Foo()); \/\/ ok\r\ndoStuff(null);      \/\/ ok\r\n<\/pre>\n
null<\/code> is a first-class type in the JS++ type system so, combined with JS++’s sound type system, JS++ is able to categorically determine that you’ve checked foo<\/code> is non-null without ever executing any code.<\/p>\n","protected":false},"excerpt":{"rendered":"
Optional (nullable) types will be coming to JS++. This usually stokes fears of null pointer dereferencing. For example, in Java, this is known as a “NullPointerException”. In fact, Turing Award winner Tony Hoare calls it his billion-dollar mistake: I call it my billion-dollar mistake. It was the invention of the null reference in 1965. At … Continue reading “Optional Types: ‘null’ without NullPointerException”<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":[],"categories":[3,2],"tags":[],"_links":{"self":[{"href":"https:\/\/www.onux.com\/jspp\/blog\/wp-json\/wp\/v2\/posts\/27"}],"collection":[{"href":"https:\/\/www.onux.com\/jspp\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.onux.com\/jspp\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.onux.com\/jspp\/blog\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.onux.com\/jspp\/blog\/wp-json\/wp\/v2\/comments?post=27"}],"version-history":[{"count":11,"href":"https:\/\/www.onux.com\/jspp\/blog\/wp-json\/wp\/v2\/posts\/27\/revisions"}],"predecessor-version":[{"id":38,"href":"https:\/\/www.onux.com\/jspp\/blog\/wp-json\/wp\/v2\/posts\/27\/revisions\/38"}],"wp:attachment":[{"href":"https:\/\/www.onux.com\/jspp\/blog\/wp-json\/wp\/v2\/media?parent=27"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.onux.com\/jspp\/blog\/wp-json\/wp\/v2\/categories?post=27"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.onux.com\/jspp\/blog\/wp-json\/wp\/v2\/tags?post=27"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}