Changes between Version 1 and Version 2 of RecursiveDo


Ignore:
Timestamp:
Dec 7, 2005 10:59:27 PM (10 years ago)
Author:
nhn@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • RecursiveDo

    v1 v2  
    88An extended form of `do` notation allowing feedback for monads in the [http://www.haskell.org/ghc/docs/latest/html/libraries/base/Control-Monad-Fix.html MonadFix] class. 
    99 
     10There are connections to the proposed syntactic support for [wiki:Arrows Arrows] using an extended form of `do`-noation. In particular, the 
     11[wiki:Arrows Arrows]extension has its own syntax for recursive bindings/feedback. It would clearly be preferable if there was only one variant of 
     12recursive `do`. Even if the Arrows extensions are not adopted, it does offer a different explicit syntax for recursive bindings through the keyword 
     13`rec` that arguably is a bit more suggestive of its meaning than `mdo`. Conversely, if it is decided to go for implicit recursion, then it would 
     14seem reasonable to opt for the same in the case of Arrows, if possible. If not, then that might be another argument against implicit 
     15recursion. 
     16 
    1017== References == 
    1118 * [http://www.cse.ogi.edu/PacSoft/projects/rmb/ papers] 
    1219 * [http://www.haskell.org/ghc/docs/latest/html/users_guide/syntax-extns.html#mdo-notation GHC documentation] 
     20 * [wiki:Arrows Arrows] 
     21 
    1322 
    1423== Pros ==