<div dir="ltr">On Tue, Nov 20, 2012 at 6:54 AM,  <span dir="ltr">&lt;<a href="mailto:citb@lavabit.com" target="_blank">citb@lavabit.com</a>&gt;</span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
I know nothing about compilers and interpreters. I checked several<br>
books, but none of them explained why we have to translate a<br>
high-level language into a small (core) language. Is it impossible<br>
(very hard) to directly translate high-level language into machine<br>
code?<br></blockquote><div><br></div><div>You might note that gcc does the same thing internally; its core seems to be inspired by S-expressions.  (It&#39;s also somewhat lower level than GHC&#39;s core, but then C is itself lower level.)</div>
<div><br></div><div>As for why:</div><div><br></div><div>* It&#39;s a way to remove redundancy and simplify implementation.</div><div>* Sometimes it&#39;s easier to rephrase a language feature in terms of another similar feature, instead of duplicating code or making that code sufficiently reusable to apply easily in multiple not-quite-identical places.</div>
<div>* Sometimes it&#39;s because the language definition specifies a translation that describes the behavior of a language feature (see, for example, do blocks and automatically derived typeclasses in Haskell) and the simplest way to ensure compliance with the standard is to do the same translation in the compiler.</div>
<div>* It can also be easier to apply high level optimization techniques; if you go straight from the highest level code to the lowest level, you are likely to miss optimization opportunities that are only revealed (or only sanely implementable) at intermediate levels.</div>
<div><br></div></div>-- <br><div dir="ltr"><div>brandon s allbery kf8nh                               sine nomine associates</div><div><a href="mailto:allbery.b@gmail.com" target="_blank">allbery.b@gmail.com</a>                                  <a href="mailto:ballbery@sinenomine.net" target="_blank">ballbery@sinenomine.net</a></div>
<div>unix/linux, openafs, kerberos, infrastructure          <a href="http://sinenomine.net" target="_blank">http://sinenomine.net</a></div></div><br>
</div>