[Haskell-cafe] Array bug?

Henning Thielemann lemming at henning-thielemann.de
Mon Nov 3 10:55:11 EST 2008


On Mon, 3 Nov 2008, Svein Ove Aas wrote:

> On Sun, Nov 2, 2008 at 7:53 PM, Andrew Coppin
>
>> In my opinion, what we should have is
>>
>> 1. An interface that is guaranteed-safe, no matter how inefficient that is.
>>
>> 2. An interface that is guaranteed-efficient, no matter how unsafe that is.
>>
>> 3. It should be extremely easy to switch from one to the other.
>>
>> You write your code against the safe interface, test it until you're happy
>> with it, and then switch to the fast interface.
>>
> Sounds good to me.

I think it is a good idea to switch this feature on and off by a compiler 
switch. It does not alter the correctness of a program. If the program is 
incorrect, the switch does only affect the way how the program goes wrong.


More information about the Haskell-Cafe mailing list