[Haskell-cafe] Signature for non-empty filter

Jonathan Cast jonathanccast at fastmail.fm
Wed Feb 6 20:50:12 EST 2008

On 6 Feb 2008, at 1:54 PM, Matthew Pocock wrote:

> On Wednesday 06 February 2008, Henning Thielemann wrote:
>> If the type checker does not terminate because the checked  
>> function does
>> not terminate on the example input, then the function does not  
>> pass the
>> type check and as a compromise this would be ok.
> Can't fault this logic. The problem is that you may have to wait  
> quite a long
> time to discover this non-termination.

I would second this --- letting the compiler go only to discover that  
it's been running for the last 3 hours because it's diverging seems  
like a wasted 3 hours.


More information about the Haskell-Cafe mailing list