On Fri, Sep 27, 2013 at 9:08 AM, Dmitry Grebeniuk <gdsfh1@gmail.com> wrote:

Why will anyone ever need more than 200 constructors of a sum type?
(also note the presence of polymorphic variant types.)

Back when I read about the limit on constructors I had a moment of worry.

Thankfully the limit is only on non-constant constructors.

I currently have a variant with 292 constructors, but only 30 are non-constant.

These represent optional characteristics a character may have in a game, some

with additional payload. I could imagine all of them having their own payload,

but of course there are other options, like polymorphic variants, or encoding these

purely as data rather than types.

I wanted to share that as a "be careful of what seems impossible from your

perspective". ;)