Re: RAD vs. performance

Jon Harrop wrote:
Curtis W wrote:
I never said I'm going to do it easily, I just said I'm going to do it.

Best of luck!
Thanks :)

By my definition it requires something to be checkable at compile time.
Not many statically typed languages check everything at compile time.

Well, let's look at a little example here. Let's say we write a program
in language X, which happens to be dynamically typed. We can run this
program successfully through the X interpreter, but it's incredibly
slow. Luckily for us, there's a compiler for X, so we go on our way and
compile our program. It goes off without a hitch, and now we have a
fast version of our program. Now, if we assume the X compiler does some
type checking at compile time but is otherwise compatible with the X
interpreter, does that suddenly mean that X is no longer dynamically
typed because it is compiled?

Yes. You can write a dynamically typed ML interpreter, of course.
Conversely, that doesn't make ML dynamically typed.
Yes, but that completely changes the language. In my example, I made it
a point to say that the given program works correctly when run through
the interpreter and when compiled without change.

If you're talking about languages then I'd say that if the language requires
any static type checks then it is statically typed.
That's a rather weird definition of static typing. In any event, What
is the point of debating this? I've already stated what I meant by
dynamic and static typing, so let's continue on with the previous
discussion.

.

Relevant Pages

  • Re: Creating an operating system
    ... If your interpreter uses some intermediate representation of the line ... Another option is to compile on-the-fly to an instruction format - ... faster execution on subsequent passes. ... I can imagine this being done for a language, ...
    (comp.programming)
  • Re: Creating an operating system
    ... If your interpreter uses some intermediate representation of the line ... Another option is to compile on-the-fly to an instruction format - ... faster execution on subsequent passes. ... I can imagine this being done for a language, ...
    (comp.os.linux.development.system)
  • Re: VB Compiler Warnings & other woes ...
    ... you will get this warning in vs 2005. ... > have a direct legacy language path of evolution to consider. ... >> compile time errors rather than runtime. ...
    (microsoft.public.dotnet.languages.vb)
  • Whats the problem with current languages? (was:Re: Kitchen sink library -- gap between scripting and
    ... I am looking at the wrong language. ... diverse libraries rather than specific implementations. ... What's so special about a vm or an interpreter then? ... > compile them, you can change every program with a text editor. ...
    (comp.os.linux.development.apps)
  • Re: A simple interpreter
    ... >>> It's not actually an interpreter but rather a compiler, ... >>> shows well how to embed a different language in Common Lisp. ... >> I think there's a difference between Common Lisp and Scheme here. ... >> need you may as well compile the expression I would have thought. ...
    (comp.lang.lisp)