"Strong typing vs. strong testing"

[Pascal J. Bourguignon]

"BartC" <bc at freeuk.com> writes:

> "Pascal J. Bourguignon" <pjb at informatimago.com> wrote in message
> news:87sk0qkzhz.fsf at kuiper.lan.informatimago.com...
>> rustom <rustompmody at gmail.com> writes:
>
>>> Much more mainstream, C# is almost as 'managed' as dynamic languages
>>> and has efficiency comparable to C.
>>
>> Nothing extraordinary here.  Common Lisp is more efficient than C.
>> http://www.lrde.epita.fr/~didier/research/verna.06.ecoop.pdf
>> http://portal.acm.org/citation.cfm?id=1144168
>
> It seems that to make Lisp fast, you have to introduce static
> typing. Which is not much different to writing in C, other than the
> syntax.
>
>> Actually, it's hard to find a language that has no compiler generating
>> faster code than C...
>
> But those implementers have to try very hard to beat C. Meanwhile C
> can be plenty fast without doing anything special.
>
>> When Intel will realize that 99% of its users are running VM
>
> Which one?

Any implementation of a controlled environment is a virtual machine.
Sometimes it is explicitely defined, such as in clisp, parot or jvm, but
more often it is implicit, such as in sbcl, or worse, developed in an
ad-hoc way in applications (eg. written in C++).


-- 
__Pascal Bourguignon__                     http://www.informatimago.com/