Changes between Version 7 and Version 8 of RecursiveDo


Ignore:
Timestamp:
Mar 29, 2006 10:29:18 AM (8 years ago)
Author:
nhn@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • RecursiveDo

    v7 v8  
    4949 * `rec` is a common identifier. 
    5050 
     51== Comment == 
     52 
     53For the purpose of this discussion, there are two classes of monads/arrows: those that support recursion, 
     54and those that don't. By contrast, recursion in a `where` or `let` is always a possibility. 
     55This suggests two different keywords, `do` and e.g. `recdo` to clearly signal the intent. 
     56`recdo` could most likely be made to work for the arrow syntax as well, even if the "do" in the 
     57keyword has imperative connotations that wouldn't necessarily be appropriate (e.g. when 
     58declaratively specifying a network of stream processors or signal functions). Maybe an even better 
     59keyword would be found. 
     60 
    5161== Pros == 
    5262 * makes programs much more readable that the equivalent forms using `mfix`.