unofficial mirror of bug-guix@gnu.org 
 help / color / mirror / code / Atom feed
From: zimoun <zimon.toutoune@gmail.com>
To: Arne Babenhauserheide <arne_bab@web.de>
Cc: Guix Devel <guix-devel@gnu.org>, bug-guix@gnu.org, 38529@debbugs.gnu.org
Subject: Re: bug#38529: Make --ad-hoc the default for guix environment proposed deprecation mechanism
Date: Thu, 19 Dec 2019 12:30:14 +0100	[thread overview]
Message-ID: <CAJ3okZ3bHnOzOk2Cdtvh_NZbYGDfA+zzxrAsJk+7=gRYHaL7jw@mail.gmail.com> (raw)
In-Reply-To: <87zhfp2w11.fsf@web.de>

Hi Arne,

Thank you for the pointers.


On Wed, 18 Dec 2019 at 21:55, Arne Babenhauserheide <arne_bab@web.de> wrote:

> Konrad Hinsen <konrad.hinsen@fastmail.net> writes:

> >> Maybe I miss a point. It is not: "watch out, this will do something
> >> else in the future" but "watch out, this was doing something else in
> >> the past and the change happened the <date> in <commit>".
> >
> > Concrete example: I am writing a tutorial about using Guix for
> > reproducible research. It shows several uses of "guix environment", some
> > of them without '–add-hoc' or '–inputs-of'. I know my examples will
> > cease to work in a few months. What am I supposed to do about this?
>
> This is the point where we need to ask ourselves:
>
>      Should Guix be volatile software?
>      http://stevelosh.com/blog/2012/04/volatile-software/

Guix is not a volatile software and will never be. Because it is
rooted in time-travelling.
The tools "guix pull --commit=", "guix <command> --manifest=", "guix
time-machine" or the "--roll-back" avoid to break what is currently
working.
Well, the section "The situation" just cannot(*) happen with Guix.
That's why Guix is awesome! ;-)

(*) well if one correctly uses Guix which is another story ;-)
and it is not perfect yet... see all the discussion about manifest. :-)


Now, let recall the formula (already discussed in this thread :-))

Number of people         Time it takes each person
using that part of   X   to figure out what changed
the program              and how to fix it

Hum? I am not convinced that the cost would be high... Because 1. the
number of people using Guix is not so high (yet!), so 2. I am almost
sure we can name the people using "guix environment" in scripts ;-).
And 3. the time to figure out what changed is really low -- especially
with warnings and hints -- and "guix environment foo -- make" would
return an error because of dependencies missing.

Other said, I do not see myself use-cases where the scripts using
"guix environment" need to be robust for time-travelling -- the same
script used with current, past and future Guix versions -- because as
it was said elsewhere: "environment" can be seen like "temporary
profile". And temporary means... well temporary. ;-)

Then, the section "The Tradeoff" advices "from newmodule import
new_foo as foo" and IMO it is what the plan proposes with the variable
GUIX_ENVIRONMENT_DEPRECATED (tricky point #4).

Last, "volatile" vs "stable" is mitigated by "The future of 'guix
environment'" [1] which really predates the 1.0. ;-)

[1] https://lists.gnu.org/archive/html/guix-devel/2017-08/msg00300.html


As I said, I am not convinced by the argument: everything would be
broken, too much time to fix the break, etc. and this proposal would
lead to disaster for the end-user. But it is my opinion based on my
restricted personal experience.


> Also: Software developers should avoid traumatic changes
>       https://drewdevault.com/2019/11/26/Avoid-traumatic-changes.html

"Traumatic changes"? Maybe a bit extreme for the change we are talking about...



Well, at the end, what is explicitly your personal opinion?
 a. Change the behaviour of "guix environment" using the proposed plan?
or
 b. Add a new command? Which one? "guix shell", "guix env" or "guix
<you-name-it>"?


All the best,
simon

  reply	other threads:[~2019-12-19 11:30 UTC|newest]

Thread overview: 65+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2019-12-08 15:42 bug#38529: Make --pure the default for `guix environment'? Pierre Neidhardt
2019-12-08 21:03 ` zimoun
2019-12-09 18:46   ` Thompson, David
2019-12-09 20:17     ` Brett Gilio
2019-12-10 17:16     ` Ludovic Courtès
2019-12-30 17:27       ` raingloom
2020-11-03 17:38       ` Christopher Lemmer Webber
2020-11-03 18:35         ` zimoun
2020-11-06  9:03         ` Ludovic Courtès
2020-11-04  9:43       ` Taylan Kammer
2020-11-04 16:05         ` Christopher Lemmer Webber
2019-12-12 11:23   ` bug#38529: Make --ad-hoc the default for guix environment proposed deprecation mechanism Gábor Boskovits
     [not found]   ` <CAE4v=phY+7CTKMf8Y3a9p4okfqtMGOWu9kd2Nu6oCJW8OsK3Lw@mail.gmail.com>
2019-12-12 16:47     ` zimoun
     [not found]     ` <CAJ3okZ3+-yAfRpYDHz-jYONguOPWjff0iWZ_7NPEz6x5mbOO1w@mail.gmail.com>
2019-12-12 20:54       ` Gábor Boskovits
     [not found]       ` <CAE4v=piMnBhHWpbB60qMRnnDNwqkuddfNv7cEihr9+5-52k2OA@mail.gmail.com>
2019-12-13 12:02         ` zimoun
2019-12-13 16:27           ` Gábor Boskovits
2019-12-13 16:32             ` zimoun
2019-12-13 16:41               ` Gábor Boskovits
2019-12-16 22:09             ` Ludovic Courtès
     [not found]             ` <87k16vdise.fsf@gnu.org>
2019-12-17  6:49               ` Konrad Hinsen
     [not found]               ` <e992ac46-37b9-ba12-83cc-6694427acd31@fastmail.net>
2019-12-17  9:14                 ` Gábor Boskovits
     [not found]                 ` <CAE4v=pjc5pWiaaB17tJnpO=O0=M5xrEWhyvWMLRaiLy5V19Y5Q@mail.gmail.com>
2019-12-17 13:33                   ` Kyle Meyer
     [not found]                   ` <87pngncc0n.fsf@kyleam.com>
2019-12-17 14:22                     ` Brett Gilio
2019-12-17 22:30                   ` Bengt Richter
     [not found]                   ` <20191217223048.GA3741@PhantoNv4ArchGx.localdomain>
2019-12-17 23:21                     ` Bengt Richter
2019-12-17 17:07                 ` zimoun
     [not found]                 ` <CAJ3okZ0Fw=02cDwdn5GuiDCyUNOUY=YaGyrFyHE5qWsOQTLASQ@mail.gmail.com>
2019-12-18  9:43                   ` Konrad Hinsen
     [not found]                   ` <m1pngmrmst.fsf@khs-macbook.home>
2019-12-18 13:09                     ` zimoun
2019-12-18 20:55                     ` Arne Babenhauserheide
2019-12-19 11:30                       ` zimoun [this message]
2019-12-19 21:39                         ` Arne Babenhauserheide
2019-12-19 22:40                           ` zimoun
2019-12-20  1:37                             ` Arne Babenhauserheide
2019-12-20 11:40                               ` zimoun
2019-12-20 21:31                                 ` Ricardo Wurmus
2019-12-21  8:40                                   ` Gábor Boskovits
2019-12-21 16:51                                   ` Ludovic Courtès
2019-12-30  9:44                                     ` EuAndreh via Bug reports for GNU Guix
2019-12-30 10:34                                       ` Ludovic Courtès
2019-12-30 12:03                                         ` zimoun
2019-12-30 15:06                                           ` Ludovic Courtès
2019-12-30 17:55                                             ` zimoun
2019-12-30 21:10                                               ` Ricardo Wurmus
2019-12-30 21:32                                                 ` zimoun
2019-12-31 18:09                                                 ` Ludovic Courtès
2019-12-31 19:09                                                   ` Ricardo Wurmus
2020-01-01 19:23                                                     ` zimoun
2019-12-20 23:02                                 ` Arne Babenhauserheide
2019-12-21  0:04                                   ` zimoun
     [not found]                     ` <CAJ3okZ3zSS0Rbnu5eLhpYHPvSY1emaj=-estQcjRwiJ3=4RMMA@mail.gmail.com>
2019-12-20 11:24                       ` Konrad Hinsen
     [not found]                       ` <m1fthfz1db.fsf@ordinateur-de-catherine--konrad.home>
2019-12-20 12:03                         ` zimoun
2019-12-20 21:08                           ` Ricardo Wurmus
2019-12-23  9:28                             ` Danny Milosavljevic
2020-01-02  9:49                             ` Andy Wingo
2019-12-20 21:12                     ` Ricardo Wurmus
     [not found]                     ` <87v9qapuq6.fsf@elephly.net>
2019-12-21 15:18                       ` Konrad Hinsen
2019-12-19 16:31                 ` bug#38529: Deprecating ‘guix environment’? Ludovic Courtès
     [not found]                 ` <87k16snuoz.fsf_-_@gnu.org>
2019-12-19 22:48                   ` zimoun
2019-12-20 11:17                   ` Konrad Hinsen
     [not found]                   ` <m1immbz1ny.fsf@ordinateur-de-catherine--konrad.home>
2019-12-20 13:21                     ` zimoun
2019-12-08 22:43 ` bug#38529: Make --pure the default for `guix environment'? Leo Famulari
2019-12-09  5:23 ` Maxim Cournoyer
2022-08-19 14:28   ` Maxim Cournoyer
2019-12-09 17:37 ` Jesse Gibbons
2019-12-12 19:33   ` zimoun

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

  List information: https://guix.gnu.org/

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to='CAJ3okZ3bHnOzOk2Cdtvh_NZbYGDfA+zzxrAsJk+7=gRYHaL7jw@mail.gmail.com' \
    --to=zimon.toutoune@gmail.com \
    --cc=38529@debbugs.gnu.org \
    --cc=arne_bab@web.de \
    --cc=bug-guix@gnu.org \
    --cc=guix-devel@gnu.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
Code repositories for project(s) associated with this public inbox

	https://git.savannah.gnu.org/cgit/guix.git

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).