Ted Leung on the air
Ted Leung on the air: Open Source, Java, Python, and ...
Ted Leung on the air: Open Source, Java, Python, and ...
Wed, 07 May 2003
Typing: does it have to be either or?
I've mentioned Common Lisp and Dylan as languages which allow a programmer to add type constraints to your program. What I haven't discussed is the idea of having tools that can put the types in for you, or show you (as part of the IDE, what it thinks the types should be). This is just a different way to use type inference. I think that we can have dynamically typed languages with tools that can show us static constraints like types, so when we read programs we can benefit from that information, and when we write we still have the ability to change the program quickly and easily. Check out the work that the PLT Scheme folks are doing, in particular, MrSpidey and MrFlow.
I think that we can have both. We're not there yet, but we're getting closer.
[00:10] |
[computers/programming] |
# |
TB |
F |
G |
0 Comments |
![Other blogs commenting on this post](/py-bin/images/bubble.gif)
You can subscribe to an RSS feed of the comments for this blog:
Add a comment here:
You can use some HTML tags in the comment text:
To insert a URI, just type it -- no need to write an anchor tag.
Allowable html tags are:
You can also use some Wiki style:
URI => [uri title]
<em> => _emphasized text_
<b> => *bold text*
Ordered list => consecutive lines starting spaces and an asterisk
![RSS Feed for comments](http://www.sauria.com/py-bin/images/xml.gif)
To insert a URI, just type it -- no need to write an anchor tag.
Allowable html tags are:
<a href>
, <em>
, <i>
, <b>
, <blockquote>
, <br/>
, <p>
, <code>
, <pre>
, <cite>
, <sub>
and <sup>
.You can also use some Wiki style:
URI => [uri title]
<em> => _emphasized text_
<b> => *bold text*
Ordered list => consecutive lines starting spaces and an asterisk