{"id":718,"date":"2009-10-12T20:29:19","date_gmt":"2009-10-12T19:29:19","guid":{"rendered":"http:\/\/www.gamlor.info\/wordpress\/?p=718"},"modified":"2021-03-11T09:44:57","modified_gmt":"2021-03-11T08:44:57","slug":"maybe-monad-or-the-better-nullreference","status":"publish","type":"post","link":"https:\/\/www.gamlor.info\/wordpress\/2009\/10\/maybe-monad-or-the-better-nullreference\/","title":{"rendered":"Maybe-Monad (Or The Better NullReference)"},"content":{"rendered":"

The Maybe-Monad sounds like some magic, but it\u2019s something terrible simple. Its a computation which returns a result or \u2018Nothing\u2019. Often the a null-reference is used to represent \u2018Nothing\u2019. This is common practice, but in my opinion this isn\u2019t a elegant solution. First you have to read the documentation to know that the function may return null. Then you have check for null explicit. Furthermore you cannot chain calls anymore since the code is chopped up in check-statements. It would be much more elegant to represent such a computation more explicit. In .NET the Nullable<\/a>-Type actually allows this. It explicit states that the returned result is either the value or \u2018Nothing\u2019. However it only works on value-types, which is rather limiting.<\/p>\n

I\u2019ve found this blog entry which introduces a Maybe-class<\/a> with a lot of useful operations. I always wanted to implement something like this but now I don\u2019t have to. I can just use it and get rid of null-returns.<\/p>\n

\"may-pi\"<\/a>

may-pi<\/p><\/div>\n

The cool thing about the Maybe-class is that it allows you to avoid if-else-checks by using a clear functional style. An example:<\/p>\n

\/\/ 1. we try to get a person<\/span>\r\n\/\/ 2. we 'convert' to person into an email, but only if it actually has a value<\/span>\r\n\/\/ 3. then we send an email, but only if it actually has a value<\/span><\/pre>\n
Maybe<Person> person = TryGetById(111);\r\nperson.Convert(p=>p.Email)\r\n    .Apply(SendMail);<\/pre>\n
\u00a0<\/p>\n
Another example with the IDictionary.TryGetValue. The classic-version is really ugly. First it requires an if-else-case. In addition you cannot assign the value directly, which prevent you from using the var-declaration:<\/p>\n
public<\/span> class<\/span> PersonServices\r\n{\r\n    IDictionary<string<\/span>, Person> emailTable = \/\/ some value<\/span>\r\n\r\n    public<\/span> IEnumerable<Person> PersonByEmail(string<\/span> email)\r\n    {\r\n        Person person;\r\n        if<\/span>(emailTable.TryGetValue(email,out<\/span> person))\r\n        {\r\n            return<\/span> person.Children;\r\n        } else<\/span>\r\n        {\r\n            return<\/span> new<\/span> Person[0];\r\n        }\r\n    }\r\n}<\/pre>\n
Now the Maybe-Version. It\u2019s only 3 lines of code instead of 8. The .TryGet is an extension-method which returns a Maybe<Person>. The next-line gets the children of the person if a person is returned. The last line gets the value or returns a sensible default.<\/p>\n
public<\/span> class<\/span> PersonServices\r\n{\r\n    IDictionary<string<\/span>, Person> emailTable = \/\/ some value<\/span>\r\n\r\n    public<\/span> IEnumerable<Person> PersonByEmail(string<\/span> email)\r\n    {\r\n        return<\/span> emailTable.TryGet(email)\r\n            .Convert(p => p.Children)\r\n            .GetValue(new<\/span> Person[0]);\r\n    }\r\n}<\/pre>\n
\u00a0<\/pre>\n
But certainly you already have code which doesn\u2019t use this programming idiom. But you can create an extension-method to convert reference-types to Maybe-object.<\/p>\n
Maybe<AuthContext> LoadAuthContext(long<\/span> userId)\r\n{\r\n    return<\/span> oldSessionService.LoadUser(userId)\r\n        .AsMaybe().Convert(usr=>ConvertToAuthContext(usr));\r\n}<\/pre>\n
Of course this could also be implemented in other languages. In some it would be even more elegant (in the functional ones this is anyway integrated). In others like JAVA the benefit isn\u2019t that great due the inner-classes boiler-plate-code.<\/p>\n
And of course use this only when needed. Prefer methods which always return a valid value.<\/p>\n
The original code is from this blog-post<\/a> and the lokad-shared-libraries<\/a>. (I use a stripped version, since I don\u2019t want to include the whole library). The extension-methods are here: MayExtensions.cs<\/a>\u00a0and TestMaybeExtensions.cs<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"
The Maybe-Monad sounds like some magic, but it\u2019s something terrible simple. Its a computation which returns a result or \u2018Nothing\u2019. Often the a null-reference is used to represent \u2018Nothing\u2019. This… <\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":"","_links_to":"","_links_to_target":""},"categories":[126],"tags":[21],"aioseo_notices":[],"_links":{"self":[{"href":"https:\/\/www.gamlor.info\/wordpress\/wp-json\/wp\/v2\/posts\/718"}],"collection":[{"href":"https:\/\/www.gamlor.info\/wordpress\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.gamlor.info\/wordpress\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.gamlor.info\/wordpress\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.gamlor.info\/wordpress\/wp-json\/wp\/v2\/comments?post=718"}],"version-history":[{"count":7,"href":"https:\/\/www.gamlor.info\/wordpress\/wp-json\/wp\/v2\/posts\/718\/revisions"}],"predecessor-version":[{"id":3832,"href":"https:\/\/www.gamlor.info\/wordpress\/wp-json\/wp\/v2\/posts\/718\/revisions\/3832"}],"wp:attachment":[{"href":"https:\/\/www.gamlor.info\/wordpress\/wp-json\/wp\/v2\/media?parent=718"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.gamlor.info\/wordpress\/wp-json\/wp\/v2\/categories?post=718"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.gamlor.info\/wordpress\/wp-json\/wp\/v2\/tags?post=718"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}