On 23.07.13 4:34 AM, Richard A. O'Keefe wrote:
On 22/07/2013, at 8:14 PM, Andreas Abel wrote:
Just today, my student asked me why the following program does nothing:
Did you ask your student why their code should not be torn into pieces,
burned to ashes, and incorporated into a pot for radioactive waste?
All those occurrences of unsafePerformIO!
No, here they are intended, to simulate something like uniqueness types
in Clean, which incidentially has been mentioned on this thread before.
The loop has nothing to do with unsafePerformIO, but stems from
Haskell's idiosyncratic recursive let, which is a trap for all that come
from another functional language.
Andreas Abel <>< Du bist der geliebte Mensch.
Theoretical Computer Science, University of Munich
Oettingenstr. 67, D-80538 Munich, GERMANY
Haskell-Cafe mailing list