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

Reply via email to