Speaking of scripting languages, there has been a sort of a rise in interest within the Java community certainly, but also across programming languages in general in loosely typed, untyped, loosely bound, we are using different terms but basically the languages that don't have a strong sense of type system. What are your thoughts on this? Is this just a reaction to strongly typed systems? Is there some is there some goodness here or is this the clear future and we should all just stop fussing around type systems and get back to work?
No, again I think it has to do with the role that the developer is in when they are doing this code. I would not recommend loosely typed for a major architecture, but I would recommend loosely typed for an ad hoc programmer who needs to hop in and do something and hop out. These are the folks that tend to be most frustrated by formal requirements and in the Delhi language even your variables have to be declared in advance of their use as opposed to C# where things you ae referring to could be just about anywhere. So Delphi has topped down which is one of our strengths. But the looseness there is the strength for people who need to get in and get out and are not I don't want use the word professional but are not career programmers, lets say. And this is where VB and Delphi actually got started was in the departmental areas where people are needed to get some programming done, but they are not programmers by job. And I think it is also possible, Chuck J and I have discussed this quite a bit the last year or so, he has some great ideas on this, I am hoping I can follow through on. It should even be possible to have a language that has the flexibility and looseness what looks like a loosely typed language and yet the compiler still has strong type information, but it infers as you go through it. So the fact that you use this variable in this way here means that we need to continue that on down the line. So you sort of build up some information about how that thing is being used by observation. So I think as far as language evolution it might be possible to actually evolve a strongly typed language into a mode where it still strongly typed but you're not required to put as much up front to explicitly state this is the only thing this could be.
