* austin seipp:

> On Mon, Feb 28, 2011 at 1:09 PM, Florian Weimer <[email protected]> wrote:
>> * Sebastian Sylvan:
>>
>>> I think that if Haskell allows it, it's unlikely to be an issue even for
>>> purists. :-)
>>
>> Haskell has potential side effects at every pattern match, so it can
>> hardly be used as a reference point for purity.

> Pattern-match failure resulting in _|_ is hardly a basis to say
> Haskell is 'impure', or dismiss Haskell's purity entirely if you ask
> me.

A pattern match can trigger reading the final chunk of an external
file, which is specified to close it, releasing any lock (including
the internal one which prevents multiple opens of the same file).  And
if you're writing networking code, the amount of data you read is a
side effect, too.
_______________________________________________
Rust-dev mailing list
[email protected]
https://mail.mozilla.org/listinfo/rust-dev

Reply via email to