Comments on: NullPointerExceptions Are Not Helpful http://enfranchisedmind.com/blog/posts/nullpointerexceptions-are-not-helpful/ programming, politics, & other religious issues Mon, 15 Mar 2010 00:31:40 +0000 hourly 1 By: Enfranchised Mind » Random thoughts on Haskell http://enfranchisedmind.com/blog/posts/nullpointerexceptions-are-not-helpful/#comment-34034 Enfranchised Mind » Random thoughts on Haskell Thu, 15 Jan 2009 05:37:29 +0000 http://enfranchisedmind.com/blog/archive/2007/06/13/255#comment-34034 [...] Isn't (Property, that is)AntFit Needs To Fork For The Classpath To WorkTake their power away!NullPointerExceptions Are Not HelpfulSend more [...] [...] Isn’t (Property, that is)AntFit Needs To Fork For The Classpath To WorkTake their power away!NullPointerExceptions Are Not HelpfulSend more [...]

]]> By: My Frustrations with REXML: Ruby’s Standard Library for Reading/Writing XML; or, Ruby’s Problem Is Its Type System, and Don’t Try to Tell Me Otherwise | Enfranchised Mind http://enfranchisedmind.com/blog/posts/nullpointerexceptions-are-not-helpful/#comment-33698 My Frustrations with REXML: Ruby’s Standard Library for Reading/Writing XML; or, Ruby’s Problem Is Its Type System, and Don’t Try to Tell Me Otherwise | Enfranchised Mind Thu, 21 Aug 2008 18:41:49 +0000 http://enfranchisedmind.com/blog/archive/2007/06/13/255#comment-33698 [...] BEEN FIXED WITH STATIC TYPING. Even more if you have a type system which can check nulls for you. Null pointers/”nil when you didn’t expect it!” errors are totally solvable problems. The fact [...] [...] BEEN FIXED WITH STATIC TYPING. Even more if you have a type system which can check nulls for you. Null pointers/”nil when you didn’t expect it!” errors are totally solvable problems. The fact [...]

]]> By: Upped The Recent Post/Popular Post Widget Count | Enfranchised Mind http://enfranchisedmind.com/blog/posts/nullpointerexceptions-are-not-helpful/#comment-33668 Upped The Recent Post/Popular Post Widget Count | Enfranchised Mind Tue, 12 Aug 2008 19:33:24 +0000 http://enfranchisedmind.com/blog/archive/2007/06/13/255#comment-33668 [...] NullPointerExceptions Are Not Helpful [...] [...] NullPointerExceptions Are Not Helpful [...]

]]> By: Enfranchised Mind » 7 Actually Useful Things You Didn’t Know Static Typing Could Do: An Introduction for the Dynamic Language Enthusiast http://enfranchisedmind.com/blog/posts/nullpointerexceptions-are-not-helpful/#comment-33001 Enfranchised Mind » 7 Actually Useful Things You Didn’t Know Static Typing Could Do: An Introduction for the Dynamic Language Enthusiast Mon, 14 Apr 2008 14:50:57 +0000 http://enfranchisedmind.com/blog/archive/2007/06/13/255#comment-33001 [...] right. If you switch to Ocaml, the compiler will guaranty that you never see a $!# NullPointerException (or equivalent) again. Ever. [...] [...] right. If you switch to Ocaml, the compiler will guaranty that you never see a $!# NullPointerException (or equivalent) again. Ever. [...]

]]> By: Brian http://enfranchisedmind.com/blog/posts/nullpointerexceptions-are-not-helpful/#comment-32911 Brian Sat, 29 Mar 2008 16:55:30 +0000 http://enfranchisedmind.com/blog/archive/2007/06/13/255#comment-32911 Also note that @nullable and @notnull are <EM>type annotations</EM>, in the sense of Ocaml or Haskell types (Ocaml calls nullable values "options", Haskell "maybes"- same idea). Which means that not only should this capability (among others) be expressed in the type system, the compiler should be able to deduce whether or not a particular value is nullable or not automatically- the annotation should be optional. Again, Haskell, Ocaml, et. al. do precisely this this. Also note that @nullable and @notnull are type annotations, in the sense of Ocaml or Haskell types (Ocaml calls nullable values “options”, Haskell “maybes”- same idea).

Which means that not only should this capability (among others) be expressed in the type system, the compiler should be able to deduce whether or not a particular value is nullable or not automatically- the annotation should be optional. Again, Haskell, Ocaml, et. al. do precisely this this.

]]>