Path: csiph.com!weretis.net!feeder9.news.weretis.net!news.misty.com!news.iecc.com!.POSTED.news.iecc.com!nerds-end
From: Stefan Monnier <monnier@iro.umontreal.ca>
Newsgroups: comp.compilers
Subject: Re: the death of optimization compiler
Date: Fri, 16 Oct 2026 18:47:00 -0400
Organization: Compilers Central
Sender: johnl%iecc.com
Approved: comp.compilers@iecc.com
Message-ID: <26-10-014@comp.compilers>
References: <26-10-010@comp.compilers> <26-10-011@comp.compilers>
MIME-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
Injection-Info: gal.iecc.com; posting-host="news.iecc.com:2001:470:1f07:1126:0:676f:7373:6970"; logging-data="71691"; mail-complaints-to="abuse@iecc.com"
Keywords: optimize
Posted-Date: 17 Oct 2026 04:12:25 EDT
X-submission-address: compilers@iecc.com
X-moderator-address: compilers-request@iecc.com
X-FAQ-and-archives: http://compilers.iecc.com
In-Reply-To: <26-10-011@comp.compilers> (message from anton@mips.complang.tuwien.ac.at on Fri, 16 Oct 2026 10:41:59 +0000)
Xref: csiph.com comp.compilers:3779

anton@mips.complang.tuwien.ac.at [2026-10-16 10:41:59] wrote:
> This reminds me the research project CIP (Computer-Aided,
> Intuition-Guided Programming): They designed a wide-spectrum language
> CIP-L (described in LNCS 183, published 1985) and a program
> transformation system CIP-S (described in LNCS 292, published 1987).
> The idea was that you write a specification in CIP-L, and then tell
> CIP-S to perform various transformation steps, that eventually result
> in an executable and efficient program.
>
> This idea looked interesting, amd I looked in the books, but did not
> find them inspiring apart from the basic idea.  And apparently the
> idea has not taken the world by storm, not even in the research world
> (according to Springer there are 63 citations of LNCS 183 and 45 of
> LNCS 292).

Thanks, I didn't know about that project.

A modern take on a similar idea might be

    https://rise-lang.org/

They claim to be able to generate very efficient parallel numerical code
from a high-level source in a pure functional language.


=== Stefan