<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body dir="auto"><div>On Jun 21, 2013, at 1:04, "Richard A. O'Keefe" <<a href="mailto:ok@cs.otago.ac.nz">ok@cs.otago.ac.nz</a>> wrote:</div><div><br></div><blockquote type="cite"><div><span></span><br><span>On 21/06/2013, at 3:41 PM, Jonathan Leivent wrote:</span><br><blockquote type="cite"><blockquote type="cite"><span>Well, for one thing, it might be an idea to rip the branching structure</span><br></blockquote></blockquote><blockquote type="cite"><blockquote type="cite"><span>out of the receive.</span><br></blockquote></blockquote><blockquote type="cite"><span></span><br></blockquote><blockquote type="cite"><span>Yeah, sure. But, I'm forced to do that, instead of deciding to do it if and when it's a good way to modularize the code.</span><br></blockquote><span></span><br><span>Someone has a blog where they looked at how to write Erlang code</span><br><span>so that it's _obviously_ right, and ripping things into smaller</span><br><span>pieces was part of it. If you can't name it, you don't understand it.</span><br></div></blockquote><div><br></div><div><br></div><div><span style="font-family: '.HelveticaNeueUI'; font-size: 15px; line-height: 19px; white-space: nowrap; -webkit-tap-highlight-color: rgba(26, 26, 26, 0.296875); -webkit-composition-fill-color: rgba(175, 192, 227, 0.230469); -webkit-composition-frame-color: rgba(77, 128, 180, 0.230469); -webkit-text-size-adjust: none; "><a href="http://www.gar1t.com/blog/2012/06/10/solving-embarrassingly-obvious-problems-in-erlang/">http://www.gar1t.com/blog/2012/06/10/solving-embarrassingly-obvious-problems-in-erlang/</a></span></div><div><br></div><br><blockquote type="cite"><div><span></span><span>I do repeat that more than 40 years after meeting formal logic,</span><br><span>I love logic, but am extremely suspicious of Boolean expressions in</span><br><span>functional languages. Most Boolean-valued functions that have been</span><br><span>discussed in this mailing list turned out to be things that would be</span><br><span>better conceived some other way (like a Haskell Maybe or Either or</span><br><span>something with more than two possibilities).</span><br></div></blockquote><br><div>I _really_ liked the following two posts, by Rob Harper, discussing this issue:</div><div><br></div><div><span style="font-family: '.HelveticaNeueUI'; font-size: 15px; line-height: 19px; white-space: nowrap; -webkit-tap-highlight-color: rgba(26, 26, 26, 0.296875); -webkit-composition-fill-color: rgba(175, 192, 227, 0.230469); -webkit-composition-frame-color: rgba(77, 128, 180, 0.230469); -webkit-text-size-adjust: none; "><a href="http://existentialtype.wordpress.com/2011/03/15/dont-mention-equality/">http://existentialtype.wordpress.com/2011/03/15/dont-mention-equality/</a></span></div><div><span style="font-family: '.HelveticaNeueUI'; font-size: 15px; line-height: 19px; white-space: nowrap; -webkit-tap-highlight-color: rgba(26, 26, 26, 0.296875); -webkit-composition-fill-color: rgba(175, 192, 227, 0.230469); -webkit-composition-frame-color: rgba(77, 128, 180, 0.230469); -webkit-text-size-adjust: none; "><br></span></div><div><span style="font-family: '.HelveticaNeueUI'; font-size: 15px; line-height: 19px; white-space: nowrap; -webkit-tap-highlight-color: rgba(26, 26, 26, 0.296875); -webkit-composition-fill-color: rgba(175, 192, 227, 0.230469); -webkit-composition-frame-color: rgba(77, 128, 180, 0.230469); -webkit-text-size-adjust: none; "><a href="http://existentialtype.wordpress.com/2011/03/15/boolean-blindness/">http://existentialtype.wordpress.com/2011/03/15/boolean-blindness/</a></span></div></body></html>