The Coq mailing list

[St�phane Lescuyer <stephane.lescuyer AT inria.fr>]

Incidentally, ARM processors were precisely the application I had in
mind when I inquired about hundreds of constructors. That's why I'm
curious about users who possibly tried that many constructors and
their experience with it.

S.

On Thu, Mar 3, 2011 at 4:16 AM, Frederic Blanqui
<frederic.blanqui AT inria.fr>
 wrote:
>
> I don't think that this is so uncommon. For instance, processors often have
> dozens or hundreds of instructions. The ARMv6 processor has 147 32-bits
> instructions and 73 16-bits instructions... Many term rewrite systems in the
> Termination Problem Data Base have dozens of function symbols. Some have
> more than several hundred symbols. So, I would say that hundreds of
> constructors is not so uncommon. Now, thousands of constructors is perhaps
> more uncommon. Frederic.
>



-- 
I'm the kind of guy that until it happens, I won't worry about it. -
R.H. RoY05, MVP06