eq and hashing (was Re: [plt-scheme] How to make unit functors?)

----- Original Message ----- 
From: "Zbyszek Jurkiewicz" <zbyszek at duch.mimuw.edu.pl>
To: "Matthew Flatt" <mflatt at cs.utah.edu>
Cc: "Joe Marshall" <jrm at ccs.neu.edu>; <plt-scheme at list.cs.brown.edu>
Sent: Friday, May 30, 2003 05:04
Subject: Re: eq and hashing (was Re: [plt-scheme] How to make unit
functors?)


>
>
> On Thu, 29 May 2003, Matthew Flatt wrote:
>
> > Granted, this is not likely to be much of an issue in the absence of
> > malicious programs. But MzScheme is part of an experiment in protecting
> > against malicious programs.
>
> Wrong, we cannot protect against malicious programs, otherwise the
> programming language would become too weak to be useful in practice.

Notwithstanding my opinions about eq hashing....

I have not seen evidence that Matthew is wrong.

>  It is not hard to write a simple program
> which tries to allocate infinite list, practically blocking other
> processes.

It is possible to constrain resource usage of a program, however,
and a program such as you describe could be controlled.