That must have been the vibe I was getting. My haskell-spider senses
were tingling, I just overshot RT and went for the Halting Problem.
/Joe
Brandon S. Allbery KF8NH wrote:
On May 8, 2009, at 01:33 , Joe Fredette wrote:
That strikes me as being bad in a "I'm violating the Halting Problem"
sort of way- but I'm not sure how. Is there some contradictory
construction that
could be built from such a function?
I don't think it is; surely the Haskell runtime knows which thunks it
has evaluated. It just explicitly violates referential transparency,
and therefore must be in IO. You may be thinking that it would return
a result for _|_, but as described if you fed it _|_ it could only
produce False (if the _|_ has been evaluated you would not be able to
reach the test).
begin:vcard
fn:Joseph Fredette
n:Fredette;Joseph
adr:Apartment #3;;6 Dean Street;Worcester;Massachusetts;01609;United States of America
email;internet:[email protected]
tel;home:1-508-966-9889
tel;cell:1-508-254-9901
x-mozilla-html:FALSE
url:lowlymath.net, humbuggery.net
version:2.1
end:vcard
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
