Re: Intermediate forms (again?): worthwhile?

"Tony" <nospam@myisp.net>
Sat, 22 Jan 2011 07:38:33 -0600

          From comp.compilers

Related articles
[7 earlier articles]
Re: Intermediate forms (again?): worthwhile? nospam@myisp.net (Tony) (2011-01-19)
Re: Intermediate forms (again?): worthwhile? nospam@myisp.net (Tony) (2011-01-19)
Re: Intermediate forms (again?): worthwhile? nospam@myisp.net (Tony) (2011-01-19)
Re: Intermediate forms (again?): worthwhile? cr88192@hotmail.com (BGB) (2011-01-19)
Re: Intermediate forms (again?): worthwhile? cr88192@hotmail.com (BGB) (2011-01-22)
Re: Intermediate forms (again?): worthwhile? ehog.hedge@googlemail.com (chris dollin) (2011-01-22)
Re: Intermediate forms (again?): worthwhile? nospam@myisp.net (Tony) (2011-01-22)
Re: Intermediate forms (again?): worthwhile? bc@freeuk.com (Bartc) (2011-01-23)
Re: Intermediate forms (again?): worthwhile? steshaw@gmail.com (Steven Shaw) (2011-01-24)
Re: Intermediate forms (again?): worthwhile? steshaw@gmail.com (Steven Shaw) (2011-01-24)
Re: Intermediate forms (again?): worthwhile? barry.j.kelly@gmail.com (Barry Kelly) (2011-01-24)
Re: Intermediate forms (again?): worthwhile? nospam@myisp.net (Tony) (2011-01-24)
Re: Intermediate forms (again?): worthwhile? thomas.mertes@gmx.at (tm) (2011-01-24)
[3 later articles]
| List of all articles for this month |

From: "Tony" <nospam@myisp.net>
Newsgroups: comp.compilers
Date: Sat, 22 Jan 2011 07:38:33 -0600
Organization: TeraNews.com
References: 11-01-082 11-01-088 11-01-092
Keywords: code, C
Posted-Date: 22 Jan 2011 21:01:32 EST

> Steven Shaw wrote:


> [C can be a perfectly reasonable intermediate language so long as you
> don't expect the C code to be readable by humans or to look anything
> like the source code. -John]


The key word being the very subjective "reasonable"? If one wanted a
replacement language for C, but with a completely different type
system, would C be a "reasonable" IL? It seems undoable for efficiency
reasons. I'm not sure how one would go about implementing a
language's type system in C and still get high performance. That is,
performance equivalent to C.
[C's type system is intended to be pretty close to what the hardware
provides. You want a different type system, you can encode it using
C's types. Think if it as a sort of high level assembler. -John]



Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.