Oh! I think there's a misunderstanding here. I'm not talking about MachineInfo as visible in the types. I'm talking about Int itself having a MachineInfo-dependent semantic model (something like MachineInfo -> Z, where MachineInfo, ->, and Z are *semantic* types, not Haskell types).<br>
<br>Making my question more specific: Can (>) on Int be given a compositional
semantics, i.e. a semantics as [[Int]] -> [[Int]] -> [[Bool]],
where [[Int]] = MachineInfo -> Z and
[[Bool]] = {bottom,false,true} (with the usual ordering)?<br><br> - Conal<br><br><div class="gmail_quote">On Mon, Mar 23, 2009 at 9:34 AM, Jake McArthur <span dir="ltr"><<a href="mailto:jake@pikewerks.com">jake@pikewerks.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><div class="im">-----BEGIN PGP SIGNED MESSAGE-----<br>
Hash: SHA1<br>
<br>
Conal Elliott wrote:<br></div><div class="im">
| The question I'm asking is this: Assuming compositional semantics, can<br>
| [[Bool]] be this simple & customary three-value domain in the presence<br>
| of an implementation-dependent [[Int]] (given that Int expressions can<br>
| play a non-trivial role in Bool expressions)?<br>
<br></div>
As I understand it, your question might be reworded like this: If we can<br>
compose values of type (MachineInfo -> Int) to create a value of type<br>
(MachineInfo -> Bool), does that mean Bool is dependent on MachineInfo?<br>
To simplify the question, I would like to rephrase it further to ask<br>
whether the ability to construct any value of type (MachineInfo -> Bool)<br>
means that Bool is dependent on MachineInfo. My (uneducated) reaction is<br>
that this does not mean that Bool is dependent on MachineInfo any more<br>
than the ability to construct a value of type (forall a. a -> Bool)<br>
means that Bool is dependent on everything.<br>
<br>
- - Jake<div class="im"><br>
-----BEGIN PGP SIGNATURE-----<br>
Version: GnuPG v1.4.9 (GNU/Linux)<br>
Comment: Using GnuPG with Mozilla - <a href="http://enigmail.mozdev.org" target="_blank">http://enigmail.mozdev.org</a><br>
<br></div>
iEYEARECAAYFAknHufsACgkQye5hVyvIUKnahACgq6JZLcSePAJ4RLylPyz3X2DC<br>
NwMAoLQilWKYfUf12BJhUle52bP/zM2J<br>
=NN7V<br>
-----END PGP SIGNATURE-----<br>
</blockquote></div><br>