algo.monads

• Type: Defect
• Status: Open
• Priority: Minor
• Resolution: Unresolved
• Affects Version/s: None
• Fix Version/s: None
• Component/s: None
• Labels:

  None
• Environment:

  The extension was developed in Mac OS X Lion

I implemented a patch that would allow us to do conditionals on domonad macros

Example:

(domonad monad-m
[a (action 1)
:if (= a 3)
:then [
result (action c)
]
:else [
result (action d)
]]
result)

Conditional blocks can be nested.

One gotcha one has to be aware of is: you may use bindings from a conditional branch in the m-result sexp as long as that branch gets called, given that one doesn't know for sure which branch is going to be called, you should set the same bindings on both branches.

The patch code is on: github.com/roman/algo.monads

I didn't do a pull request given that you need to this first.

NOTE: I've added this feature in some other projects I've been working on (parser combinators) and is working perfectly so far, there is tests in the patch but I wanted to give you that safe net as well.

1. 

   monadic-if-else.diff

   10/Jan/12 12:28 AM

   41 kB

   Roman Gonzalez

• Assignee:

  Konrad Hinsen

  Reporter:

  Roman Gonzalez

• Created:

  06/Jan/12 4:28 PM

  Updated:

  10/Jan/12 12:28 AM