Along with the goodies enumerated by Nadeem, I use Typed Racket heavily so for me the two biggest benefits I receive from online compilation are the immediate feedback loop from syntactical errors and the type checking errors as I&#39;m developing on the fly.<div class="gmail_extra">
<br><br><div class="gmail_quote">On Wed, Nov 21, 2012 at 9:58 PM, Nadeem Abdul Hamid <span dir="ltr">&lt;<a href="mailto:nadeem@acm.org" target="_blank">nadeem@acm.org</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class="gmail_extra"><div class="gmail_quote"><div class="im"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
Maybe this would help, I have only used Check Syntax two or three<br>


times ever when I wanted to rename a variable because it was used in<br>
more than 5 places. What other problems does it solve?<br>
<br></blockquote><div><br></div></div><div>It catches syntax errors (name typos, etc.) earlier. It allows jumping (via the arrows) to binding (definition) and bound (usage) sites of identifiers. It helps you recall or find out which &#39;require&#39;d module a given identifier is imported from. And it helps show the &#39;<span style="font-family:arial,sans-serif;font-size:13px">the thing in the upper right hand corner&#39;, which is convenient when you need to quickly refresh your memory on the number/order of parameters of a function, without having to switch to a web browser. And if that thing isn&#39;t helpful, the popup context menu allows you to jump directly to the full documentation for a given definition. </span><span style="font-family:arial,sans-serif;font-size:13px">The first item listed (i.e. early discovery of syntax errors) is sufficient benefit in itself, as far as my experience goes. (And I believe that is one of the primary benefits and uses in the other IDEs I mentioned, especially since many of those are designed for statically typed languages so the class of errors that can be caught at compilation is larger than (untyped) Racket.)</span></div>
<span class="HOEnZb"><font color="#888888">

<div><span style="font-family:arial,sans-serif;font-size:13px"><br></span></div><div><span style="font-family:arial,sans-serif;font-size:13px">--- nadeem</span></div><div><br></div></font></span></div></div>
<br>____________________<br>
  Racket Users list:<br>
  <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a><br>
<br></blockquote></div><br></div>