Int32としてInt32を扱うように64ビットGHCに指示する方法はありますか？

Question

私はライブラリとしてGHCを使用して、JavascriptコードジェネレータにHaskellを書いています。 Javascriptは整数型を持たず、そのNumber型は最大253までの整数しか表現できないため、整数をNumbersとして表現し、すべての算術演算を明示的に実行します。これは32ビットGHCではうまく動作しますが、64ビットバージョンではさらに悪くなります。

GHCはInt64値をIntsに強く強制し、Int定数を64ビット値（0xffffffffは-1ではなく4294967295に変わります）と解釈し、それはあらゆる種類の厄介な問題を引き起こしています。

コンパイラは、標準ライブラリが32ビットマシン上に構築されていれば「通常の」ウェブの場合にはうまく機能しますが、「大量の数字は使用しないでください。あなたのコンパイラのマニュアルで見たいものではありません。 -O0でコンパイルすることで問題の一部（ただしすべてではない）を緩和することはできますが、遅いだけでなく大きすぎるコードも生成されます。

GHCがIntとInt64が同等であると仮定しないようにする必要があります。これも可能ですか？

Answer 1

32ビットGHCを使用しないと、これは不可能です。あなたがInt種類について知っている唯一のことは、それが

少なくとも範囲を有していることである

Haskell Language standard says [-2^29。2^29-1

ですから、これより幸いにIntの値を切り捨てることができ、依然として完全に準拠したHaskell 2010実装です！

しかし、おそらくこれを行うべきではなく、JavaScriptの64ビット整数型を探してください。例えばと同じトリック。 GHCは、32ビットマシンでInt64をサポートします。

Answer 2

JavaScriptの数値は2倍で表されるため、Doubleを使用してください。

Answer 3

「Int」は、2^29が十分に大きいものにのみ使用され、それ以外は問題ではありません。それ以外の場合はIntegerまたはData.WordまたはData.Int（Int8、Int16など）のいずれかの型を使用します。良い例には、ほとんどのサイズと数が含まれます（ただし最近のファイルサイズは2^32を簡単に超えることはできません）。

クラシックの悪い例：Control.Concurrent.threadDelay :: Int - > IO（）。引数はuSecの休止時間です。 2^29マイクロ秒= 8.94784853分（Google電卓によると）。引数は整数、または少なくともWord64（584 554.531年）でなければなりません。