Re: [Haskell-cafe] Re: Monades - I've got it! (hopefully)

2009-01-28 Thread Johannes Waldmann

 in F# they renamed Monad to Workflow,

 I don't think this is helpful, 

I didn't claim ... at least it's a funny attempt
to introduce warm fuzzy thing terminology.

 it only really works for state-like monads. 
 Workflow doesn't make sense at all for [a], for example.

Well, it could be seen as a non-deterministic workflow
(with none, one or several outcomes).

Cf. Wadler: how to replace failure by a list of successes
http://www.springerlink.com/content/y7450255v2670167/

Best regards, J.W.



signature.asc
Description: OpenPGP digital signature
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe


Re: [Haskell-cafe] Re: Monades - I've got it! (hopefully)

2009-01-28 Thread Sebastian Sylvan
On Wed, Dec 24, 2008 at 12:05 PM, Johannes Waldmann 
waldm...@imn.htwk-leipzig.de wrote:


   About the prestress, that's one of the motivations behind renaming
   them (warm fuzzy thing is the current tongue-in-cheek alternative).

 in F# they renamed Monad to Workflow,
 see e.g. Chapter 9 (p. 230) in the Expert F# book.
 http://www.expert-fsharp.com/default.aspx


I thought it was called computation expressions,and workflow was just a
special case (e.g. asynchronous work flows for the async monad)?
See e.g.
http://blogs.msdn.com/dsyme/archive/2007/09/22/some-details-on-f-computation-expressions-aka-monadic-or-workflow-syntax.aspx


-- 
Sebastian Sylvan
+44(0)7857-300802
UIN: 44640862
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe


Re: [Haskell-cafe] Re: Monades - I've got it! (hopefully)

2009-01-27 Thread George Pollard
On Wed, 2008-12-24 at 12:05 +, Johannes Waldmann wrote:
 in F# they renamed Monad to Workflow,
 see e.g. Chapter 9 (p. 230) in the Expert F# book.
 http://www.expert-fsharp.com/default.aspx

I don't think this is helpful, it only really works for state-like
monads. Workflow doesn't make sense at all for [a], for example.

- George


signature.asc
Description: This is a digitally signed message part
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe