[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Removing compilers that cannot be bootstrapped
From: |
Ludovic Courtès |
Subject: |
Re: Removing compilers that cannot be bootstrapped |
Date: |
Sat, 26 Mar 2016 15:31:56 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.5 (gnu/linux) |
Ricardo Wurmus <address@hidden> skribis:
> It is probably easier for us to try to write primitive compilers in
> Guile than to start from scratch each time. Then the only blob we need
> to figure out how to bootstrap would be Guile itself.
+1
Though of course, writing a faithful C or Haskell or OCaml compiler is
huge task, and chances are we’ll always miss compilers for some
languages.
So I think we should take both routes: on one hand try to come up with
minimalist Guile implementations of languages (your work with Yale
Haskell, or the project on Bournish), and on the other, with help from
the reproducible-builds.org group, raise awareness about the issue among
compiler writers and users so that the ability to bootstrap from
another, common programming language becomes a requirement.
Of course Guile itself is pretty big, so we may eventually have to think
about a “PreScheme” language, as is used to bootstrap Scheme48¹.
Epsilon²³ contains interesting ideas as well.
Ludo’.
¹ https://en.wikipedia.org/wiki/PreScheme
² https://www.gnu.org/software/epsilon/
³ http://ageinghacker.net/publications/#phd-thesis
- Re: Removing compilers that cannot be bootstrapped, (continued)
- Re: Removing compilers that cannot be bootstrapped, Christopher Allan Webber, 2016/03/23
- Re: Removing compilers that cannot be bootstrapped, Leo Famulari, 2016/03/23
- Re: Removing compilers that cannot be bootstrapped, Ludovic Courtès, 2016/03/25
- Re: Removing compilers that cannot be bootstrapped, Leo Famulari, 2016/03/25
- Re: Removing compilers that cannot be bootstrapped, Chris Marusich, 2016/03/26
- Re: Removing compilers that cannot be bootstrapped, Chris Marusich, 2016/03/26
- Re: Removing compilers that cannot be bootstrapped, Jookia, 2016/03/26
- Re: Removing compilers that cannot be bootstrapped, Alex Vong, 2016/03/26
- Re: Removing compilers that cannot be bootstrapped, Ricardo Wurmus, 2016/03/26
- Re: Removing compilers that cannot be bootstrapped, Jookia, 2016/03/26
- Re: Removing compilers that cannot be bootstrapped,
Ludovic Courtès <=
- Re: Removing compilers that cannot be bootstrapped, Christopher Allan Webber, 2016/03/26
Re: Removing compilers that cannot be bootstrapped, rain1, 2016/03/22
Re: Removing compilers that cannot be bootstrapped, John Darrington, 2016/03/26