I just learned on #haskell that Int has implementation/machine-dependent semantics.  I&#39;d always assumed that pure (non-imperative) types have specific denotational models, so that for instance the denotation of something of type Int is either bottom or a (smallish) integer.  Since precise &amp; simple denotation is at the heart of how I think about programming, and Haskell is my favorite language, I&#39;m startled and disappointed.  I knew we didn&#39;t have a denotational semantics for Haskell, but I&#39;d previously assumed it was just a matter of working out the details.<br>
<br>Has implementation-independent denotation been discussed for Haskell&#39; ?<br><br>Thanks,<br><br>  - Conal<br>