Gregg Reynolds d...@mobileink.com writes:
But it can't be a function, since it is non-deterministic.
IMHO, if you assume IO a = World - (World, a), then getChar is indeed a
function and deterministic. It is, there are not w :: World such that
getChar w != getChar.
The fact that World is too
egall...@babel.ls.fi.upm.es (Emilio Jesús Gallego Arias) writes:
IMHO, if you assume IO a = World - (World, a), then getChar is indeed a
function and deterministic. It is, there are not w :: World such that
getChar w != getChar.
Sorry I meant:
There is not w :: World such that getChar w !=
On Wed, 4 Feb 2009 21:43:04 -0800, Max Rabkin max.rab...@gmail.com
wrote:
On Wed, Feb 4, 2009 at 9:38 PM, Benjamin L. Russell
dekudekup...@yahoo.com wrote:
Is it possible to write a self-referential function in Haskell that
modifies itself?
Is it possible to write *any* kind of function in
Can someone compare/contrast functions and computation?
thanks
daryoush
On Thu, Feb 5, 2009 at 1:38 AM, Benjamin L. Russell
dekudekup...@yahoo.comwrote:
On Wed, 4 Feb 2009 21:43:04 -0800, Max Rabkin max.rab...@gmail.com
wrote:
On Wed, Feb 4, 2009 at 9:38 PM, Benjamin L. Russell
All Haskell programs start as
main :: IO ()
though... so they all get evaluated in the context of another IO ()
don't they?
True for most cases now, but historically false. Haskell existed and people
wrote programs for years before the Monad class and IO were created. A
Haskell98
On Thu, 5 Feb 2009 15:18:09 +1300, Richard O'Keefe
o...@cs.otago.ac.nz wrote:
On 5 Feb 2009, at 10:20 am, Gregg Reynolds wrote:
That's a fairly common representation, seems to work for lots of
people, but it caused me no end of trouble. Values are mathematical
objects; how, I asked
On Wed, Feb 4, 2009 at 9:38 PM, Benjamin L. Russell
dekudekup...@yahoo.com wrote:
Is it possible to write a self-referential function in Haskell that
modifies itself?
Is it possible to write *any* kind of function in Haskell that
modifies *anything*?
--Max