http://blog.tmorris.net/maybe-monad-in-java/ The weblog of Tony Morris Wed, 19 Nov 2008 23:35:44 +0000 http://wordpress.org/?v=2.6 http://blog.tmorris.net/maybe-monad-in-java/#comment-330 Robert Furber Sat, 25 Aug 2007 21:02:42 +0000 http://blog.tmorris.net/maybe-monad-in-java/#comment-330 A partial function doesn't require that some part of the domain be undefined. That would be a non-total partial function. All total functions are also partial functions, according to the usual definition. A partial function doesn’t require that some part of the domain be undefined. That would be a non-total partial function. All total functions are also partial functions, according to the usual definition.

]]> http://blog.tmorris.net/maybe-monad-in-java/#comment-329 λ Tony’s blog λ » Blog Archive » Strong Type Systems Sun, 31 Dec 2006 23:32:37 +0000 http://blog.tmorris.net/maybe-monad-in-java/#comment-329 [...] Using Java et. al., it is impossible to express certain fundamental programming concepts and many more concepts that are specific to the problem at hand. One such fundamental programming concept is the monadic bind computation. Before I start going into detail about this, I feel compelled to first dispel a a very common myth. Many ‘programmers’ believe that monads (and therefore, monadic bind) are not relevant to their problem, since their language does not support such a concept directly. Few programmers actually realise that they are in fact using monads, just without language support and often in a horribly contrived manner - a result of the lack of formality in reasoning. In fact, I postulate that in my time working on IBM WebSphere and the IBM JDK 1.5, I saw somewhere in the order of hundreds of monads littered throughout thousands of lines of code. Furthermore, Java has one particular monad built right into the language. Providing concrete examples is worthy of a topic on its own, so I will instead take the liberty of claiming that if anyone were to send me their 2^gazillion LOC application, I would be capable of finding one monad per one thousand LOC - worst case scenario. If you do not believe it, test me, otherwise, assume it for now. Yes, monads are extremely important and common to programming, even if you don’t ever know it explicitly. Great, glad that is out of the way [...] [...] Using Java et. al., it is impossible to express certain fundamental programming concepts and many more concepts that are specific to the problem at hand. One such fundamental programming concept is the monadic bind computation. Before I start going into detail about this, I feel compelled to first dispel a a very common myth. Many ‘programmers’ believe that monads (and therefore, monadic bind) are not relevant to their problem, since their language does not support such a concept directly. Few programmers actually realise that they are in fact using monads, just without language support and often in a horribly contrived manner - a result of the lack of formality in reasoning. In fact, I postulate that in my time working on IBM WebSphere and the IBM JDK 1.5, I saw somewhere in the order of hundreds of monads littered throughout thousands of lines of code. Furthermore, Java has one particular monad built right into the language. Providing concrete examples is worthy of a topic on its own, so I will instead take the liberty of claiming that if anyone were to send me their 2^gazillion LOC application, I would be capable of finding one monad per one thousand LOC - worst case scenario. If you do not believe it, test me, otherwise, assume it for now. Yes, monads are extremely important and common to programming, even if you don’t ever know it explicitly. Great, glad that is out of the way [...]

]]> http://blog.tmorris.net/maybe-monad-in-java/#comment-328 Tony Morris Tue, 19 Dec 2006 02:41:54 +0000 http://blog.tmorris.net/maybe-monad-in-java/#comment-328 I could, but I figured I'd used all my rant points up :) There is always tomorrow, or you could do it mate!! ;) I could, but I figured I’d used all my rant points up There is always tomorrow, or you could do it mate!!

]]> http://blog.tmorris.net/maybe-monad-in-java/#comment-327 Ricky Clarkson Mon, 18 Dec 2006 06:57:55 +0000 http://blog.tmorris.net/maybe-monad-in-java/#comment-327 You could explain what's wrong with 'throws' here. I.e., why it's a poor man's monad. You could explain what’s wrong with ‘throws’ here. I.e., why it’s a poor man’s monad.

]]>