Maybe I&#39;m just missing something; I haven&#39;t done anything very serious with drscheme. Suppose I&#39;m reading along and encounter a function parameter that appears to be an instance of some class. How do I get it to draw an arrow to the definition of that class?<br>
<br><div class="gmail_quote">On Wed, Jun 11, 2008 at 4:54 AM, Matthias Felleisen &lt;<a href="mailto:matthias@ccs.neu.edu">matthias@ccs.neu.edu</a>&gt; wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<br>
Now try DrScheme to get *real* support for navigation, in an UNtyped language. When Eclipse can draw the arrows, I might consider switching -- Matthias<div><div></div><div class="Wj3C7c"><br>
<br>
<br>
<br>
On Jun 10, 2008, at 11:29 PM, mhcoffin wrote:<br>
<br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">

<br>
My personal opinion is that types do not significantly improve readability<br>
of programs. A good similarity between data structure and the structure of<br>
the procedures acting on these data is far more important, I think (this I<br>
did experience, but not invent by myself, of course)<br>
</blockquote>
<br>
I don&#39;t know if this falls under &quot;readability&quot;, but it&#39;s enormously<br>
easier to provide good IDE support for a language with an explicit<br>
type system. When I&#39;m reading unfamiliar Java code, I can use Eclipse<br>
to navigate directly from the use of a variable to its declaration to<br>
the definition of its type, etc. On the other hand, if I&#39;m reading<br>
unfamiliar Python code, each of those steps is difficult and error-<br>
prone. For a small program, that might not make much difference, but<br>
when I&#39;m faced with trying to understand a tiny corner of a 10-million-<br>
line code base, explicit types are awfully useful sign posts.<br>
<br>
-mike<br>
_________________________________________________<br>
 &nbsp;For list-related administrative tasks:<br>
 &nbsp;<a href="http://list.cs.brown.edu/mailman/listinfo/plt-scheme" target="_blank">http://list.cs.brown.edu/mailman/listinfo/plt-scheme</a><br>
</blockquote>
<br>
</div></div></blockquote></div><br>