Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.compilers > #3778

Re: the death of optimization compiler

Show all headers | View raw

anton@mips.complang.tuwien.ac.at [2026-10-16 10:41:59] wrote:
> It seems that we prefer to write executable programs from the start,
> and either optimize them by applying transformations manually, or
> fully automatic (using an optimizing compiler), not
> semi-automatically.  I guess one of the problems of the idea of
> semi-automatic transformations is that the transformations are no
> longer applicable after changes due to changes in requirements.  So
> you either want to apply the changes to the transformed program (and
> when you transform it manually, and treat the transformed program as
> the new source, you can easily apply changes to the transformed
> program), or you want fully automatic transformation, even if you only
> get a best-effort result.

I often think about what it is that I want from my compilers.

For 99% of my code, the compiler does a good enough job, but for the
remaining case, I often would like to be able to state some specific
property which I'd like to get, but often it's hard to state it clearly
in terms of the source code in a way that will still make sense further
down the compilation stages.


=== Stefan

Back to comp.compilers | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

the death of optimization compiler Anton Antimo <anton@safunu.org> - 2026-10-12 18:17 -0300
  Re: the death of optimization compiler anton@mips.complang.tuwien.ac.at - 2026-10-16 10:41 +0000
    Re: the death of optimization compiler tfb <tfb@work.it.out> - 2026-10-16 17:52 +0000
    Re: the death of optimization compiler Stefan Monnier <monnier@iro.umontreal.ca> - 2026-10-16 18:52 -0400
      Re: the death of optimization compiler Derek M Jones <derek@knosof.co.uk> - 2026-10-17 20:42 +0100
    Re: the death of optimization compiler Stefan Monnier <monnier@iro.umontreal.ca> - 2026-10-16 18:47 -0400

csiph-web