Hi,<br><br>I&#39;ve been browsing the MLton source, and am just curious about something:&nbsp; <br>why is there almost no opaque ascription?&nbsp; It seems the only time it&#39;s used<br>is in substructures where you define the signature inline.<br>
&nbsp; I learned to always prefer opaque ascription<br>
except in certain circumstances where having to declare lots of type equalities<br>makes it unwieldy.&nbsp; Is there a totally different philosophy <br>in the MLton architecture?&nbsp; Is there<br>something particular about the compiler that required, or was made simpler/cleaner<br>
using transparent ascription?&nbsp; <br><br>Thanks,<br><font color="#888888"><br>Sean</font>