OCamlの配列のサイズ制限

「何でOCamlの配列は要素がたったの4M個までしか駄目なの？」という質問。

http://caml.inria.fr/pub/ml-archives/caml-list/2006/05/413f383d04a469ce04d16b07ffa3a4e2.en.html

僕の周りでも困っている人がいます（複数かつ関数型言語の専門家ではない）。「配列の配列にしても、たいして遅くならないから良いはず」という答えはすぐに出ていますが、その後も続いています。ノイズっぽいレスもありますが、Brian Hurtや、（言わずと知れたOCamlの第一作者である）Xavier Leroyの回答が参考になるかも。

http://caml.inria.fr/pub/ml-archives/caml-list/2006/05/6550c9399e4220161a4909a8848a772a.en.html
http://caml.inria.fr/pub/ml-archives/caml-list/2006/05/564ba833a1e582df77f59ad3e67f0bd3.en.html

本題とあまり関係はありませんが、Leroyの

C++ and Lisp programmers tend to encode everything as arrays or lists, respectively, but quite often these are not the best data structure for the application of interest.

がおもしろい…（強調筆者）