Archives of the Caml mailing list > Message from Alain Frisch

Browse thread

compiler bug?

Dan Koppel
- John Carr
- Xavier Leroy
  - Jacques Carette
    - Xavier Leroy
      - Jacques Carette
        
        David Brown
        
        Jacques Carette
        
        Alain Frisch
    - skaller
      - Jacques Carette
        
        skaller
        
        Brian Hurt
        
        skaller
        
        Jacques Carette
        
        skaller

Date:	-- (:)
From:	Alain Frisch <Alain.Frisch@i...>
Subject:	Re: [Caml-list] compiler bug?

David Brown wrote:
> For something like a compiler, worse case behavior is very important.

All the decent programming languages I'm using nowadays have a type
system whose worse case complexity is exponential in the size of the
source. No compiler can be better than exponential. Do you think I
should stop using these languages?

-- Alain