haskell-cafe@haskell.org
[Top] [All Lists]

Re: [Haskell-cafe] Linguistic hair-splitting

Subject: Re: [Haskell-cafe] Linguistic hair-splitting
From: Ketil Malde
Date: Thu, 28 Jan 2010 09:14:38 +0100
Daniel Fischer <daniel.is.fischer@xxxxxx> writes:

>> It has been known to call such things 'computations', 

I think "actions" has been used, too, but perhaps mostly for things in
IO and similar monads?

>> as opposed to 'values', and even to separate the categories of types
>> and expressions which deliver the two.

> 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?

I think I prefer (as somebody suggested) "monadic value", so that (if
you want to stress this aspect of its use) the list is a monadic Int
value in the [] monad, while getLine is a monadic String value in the IO
monad, and so on.  Maybe.

-k
-- 
If I haven't seen further, it is by standing in the footprints of giants
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@xxxxxxxxxxx
http://www.haskell.org/mailman/listinfo/haskell-cafe

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