From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 109fba,97482af7429a6a62 X-Google-Attributes: gid109fba,public X-Google-Thread: 10d15b,97482af7429a6a62 X-Google-Attributes: gid10d15b,public X-Google-Thread: 103376,97482af7429a6a62 X-Google-Attributes: gid103376,public From: fjh@munta.cs.mu.OZ.AU (Fergus Henderson) Subject: Re: Language Efficiency Date: 1995/04/21 Message-ID: <9511205.7848@mulga.cs.mu.OZ.AU>#1/1 X-Deja-AN: 101369088 sender: news@cs.mu.OZ.AU (CS-Usenet) references: <3lmt64$stt@dplanet.p2k.cbis.com> <3lrrqk$kbj@usenet.INS.CWRU.Edu> <3ls7u0$3v1@stc06.ctd.ornl.gov> <3m9o9q$igf@stc06.ctd.ornl.gov> <1995Apr10.095958@di.epfl.ch> <1995Apr10.165638@di.epfl.ch> organization: Computer Science, University of Melbourne, Australia newsgroups: comp.lang.c++,comp.lang.ada,comp.lang.cobol Date: 1995-04-21T00:00:00+00:00 List-Id: ka@socrates.hr.att.com (Kenneth Almquist) writes: >Robb.Nebbe@di.epfl.ch (Robb Nebbe) writes: >> In the context of separate compilation the lack of type information in >> Smalltalk creates overhead that you don't have enough information to >> get rid of. Obviously if you have the entire program then, at least >> theoretically, you could produce the same code since you could propagate >> type information (after having infered it) but I would expect that to >> be far from trivial. > >The Icon compiler from the University of Arizona does global type >inference as part of translating Icon to C. The type inference is >certainly not "trivial," but the compiler as a whole is relatively >simple. What does the Icon compiler do when a variable can have more than one type depending on the input to the program? -- Fergus Henderson | Tell you what: go write a 100x100 matrix multiply fjh@cs.mu.oz.au | of integers in both languages and then let's talk http://www.cs.mu.oz.au/~fjh | about speed, ok? - Tom Christiansen.