[email protected]
[Top] [All Lists]

Re: [Haskell-cafe] Linguistic hair-splitting

Subject: Re: [Haskell-cafe] Linguistic hair-splitting
From: Donn Cave
Date: Thu, 28 Jan 2010 08:49:23 -0800 PST
Quoth Daniel Fischer <[email protected]>,
> Am Donnerstag 28 Januar 2010 09:14:38 schrieb Ketil Malde:
>> Daniel Fischer <[email protected]> writes:
>>> As usual, that only works part of the time. [1,4,15,3,7] is not a
>>> computation, it's a list of numbers. A plain and simple everyday
>>> value.
>> But isn't a value of (IO String) equally plain and simple?
> Sure, but saying a value of type IO String is "a computation (in the IO 
> monad) returning a String" makes more sense to me than saying 
> [True,False,True] is "a computation (in the [] monad) returning a Bool".

For sure, and in general when people speak of monads they're really
talking about IO, true?  If that's disappointing, maybe it would help
to have a word for it, maybe `IO String' is an "irreduceable monadic
value" or something.


Haskell-Cafe mailing list
[email protected]

<Prev in Thread] Current Thread [Next in Thread>