Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.compilers > #3779
| 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> (permalink) |
| 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 |
Show key headers only | View raw
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
Back to comp.compilers | Previous | Next — Previous in thread | Find similar | Unroll 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