zsh-workers
 help / color / mirror / code / Atom feed
From: Felipe Contreras <felipe.contreras@gmail.com>
To: Roman Perepelitsa <roman.perepelitsa@gmail.com>
Cc: Zsh hackers list <zsh-workers@zsh.org>
Subject: Re: Bug with unset variables
Date: Wed, 11 Nov 2020 14:42:44 -0600	[thread overview]
Message-ID: <CAMP44s16EOaQbG8kOmX8m1R694iRqphhrW_jaUuxRAiWp7Bp0A@mail.gmail.com> (raw)
In-Reply-To: <CAN=4vMrQ9Z0ToMyDHX7iGL8wBkhMh5G3HTkUpmx1YXvFM7mmtw@mail.gmail.com>

On Wed, Nov 11, 2020 at 12:17 PM Roman Perepelitsa
<roman.perepelitsa@gmail.com> wrote:
>
> On Wed, Nov 11, 2020 at 7:03 PM Felipe Contreras
> <felipe.contreras@gmail.com> wrote:
> >
> > And what is the reason why this is not the default?
>
> I don't know, I'm fairly new to zsh myself. All I can say is that the
> behavior of zsh feels more natural to me.

Why would

  typeset var

feel natural to be the same as

  typeset var=""

?

If I wanted the second, I would type the second.

Why does it feel natural to assign a value of a certain type, when no
value was specified?

> > Not only does this behavior differ from all other shells, but
> > basically all languages.
>
> All languages? That seems exaggerated. How about this?
>
>   int var;

You are specifying a type. I obviously meant all languages where you
can do the equivalent of "declare var" (without a type).

That being said, the most similar to shell's "declare var" in C is
"char *var" which defaults to null on most systems.

> How many languages will set `var` to null here? Is it all of them?

Pretty much, yeah. Do you want me to investigate and list them? Would
the result of that investigation change the view of zsh developers?

> In the morally-equivalent shell code, bash does but zsh doesn't:
>
>   typeset -i var
>   echo $var

In this case it might make sense to initialize to 0, since that's the
only sensible default for an integer, but consider these:

  typeset -i int
  typeset -a array
  typeset -A hash
  typeset -F float

In all these it should be obvious what would be the sensible default, but this:

  typeset var

Does not specify any type (or any value), so why would you assign a
value of a possibly wrong type?

It becomes more obvious when you print the declaration at each step:

  typeset var
  typeset -p var
  var=()
  typeset -p var

In bash, we get something sensible:

  declare -- var # no type specified
  declare -a var=()

Not so in zsh:

  typeset var='' # why a string?
  typeset -a var=(  )

Not only is it inconsistent superficially, but also internally, since
strings are considered "scalar", but that is just another word for
"variable". An integer is also a scalar. So the word "scalar" doesn't
really explain any type (only that it is a single value).

> I don't know which of these languages conforms to the majority opinion
> but neither can claim to do what *all* languages do.

It is the most sensible thing to do, so I bet at least 99.9% of
languages do this.

It is also good, desirable, and consistent, that this:

  typeset var
  typeset -p var

is a roundtrip, which happens in bash, but not so in zsh.

> FWIW, I rely on this behavior of zsh in my code (namely, that `typeset
> -i var` sets `var` to 0).

That may make sense, because you are specifying a type, but "typeset
var" doesn't specify a type. Apples and oranges.

Cheers.

-- 
Felipe Contreras


  reply	other threads:[~2020-11-11 20:43 UTC|newest]

Thread overview: 53+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2020-11-11 15:57 Felipe Contreras
2020-11-11 16:13 ` Roman Perepelitsa
2020-11-11 16:56   ` Felipe Contreras
2020-11-11 17:02     ` Roman Perepelitsa
2020-11-11 18:03       ` Felipe Contreras
2020-11-11 18:16         ` Roman Perepelitsa
2020-11-11 20:42           ` Felipe Contreras [this message]
2020-11-12  0:20             ` Mikael Magnusson
2020-11-12  1:10               ` Felipe Contreras
2020-11-12  8:45             ` Roman Perepelitsa
2020-11-12 10:47               ` Peter Stephenson
2020-11-12 18:48                 ` Bart Schaefer
2020-11-12 19:49                 ` Felipe Contreras
2020-11-12 18:46               ` Felipe Contreras
2020-11-12 19:10                 ` Roman Perepelitsa
2020-11-12 21:08                   ` Felipe Contreras
2020-11-13  8:51                     ` Roman Perepelitsa
2020-11-14  0:52                       ` Felipe Contreras
2020-11-14  5:41                         ` Roman Perepelitsa
2020-11-16 19:41                           ` Felipe Contreras
2020-11-16 20:22                             ` Roman Perepelitsa
2020-11-17 20:28                               ` Felipe Contreras
2020-11-18 22:45                                 ` Daniel Shahaf
2020-11-22  1:20                                   ` Felipe Contreras
2020-11-23  4:00                                     ` Daniel Shahaf
2020-11-23  6:18                                       ` Felipe Contreras
2020-11-19  2:59                                 ` Bart Schaefer
2020-11-22  1:50                                   ` Felipe Contreras
2020-11-17 20:54                             ` Bart Schaefer
2020-11-22  1:49                               ` Felipe Contreras
2020-11-23  6:48                                 ` Bart Schaefer
2020-11-23  7:26                                   ` Felipe Contreras
2020-11-23 20:26                                     ` Bart Schaefer
2020-11-23 23:39                                       ` Felipe Contreras
2020-11-24  0:52                                         ` Bart Schaefer
2020-11-25  8:46                                           ` Felipe Contreras
2020-11-27 15:44                                             ` Daniel Shahaf
2020-11-27 20:49                                               ` Felipe Contreras
2020-11-27 20:59                                                 ` Daniel Shahaf
2020-11-27 21:33                                                   ` Bart Schaefer
2020-11-27 23:37                                                     ` Daniel Shahaf
2020-11-27 23:45                                                       ` Bart Schaefer
2020-11-28  0:24                                                       ` Bart Schaefer
2020-11-28  7:32                                                         ` Bart Schaefer
2020-11-28 12:05                                                         ` Felipe Contreras
2020-11-12 19:26                 ` Bart Schaefer
2020-11-12 21:48                   ` Felipe Contreras
2020-11-13 22:17                     ` Bart Schaefer
2020-11-14  0:58                       ` Felipe Contreras
2020-11-11 18:36         ` Bart Schaefer
2020-11-11 21:08           ` Felipe Contreras
2020-11-11 17:02     ` Peter Stephenson
2020-11-11 18:05       ` Felipe Contreras

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

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

  git send-email \
    --in-reply-to=CAMP44s16EOaQbG8kOmX8m1R694iRqphhrW_jaUuxRAiWp7Bp0A@mail.gmail.com \
    --to=felipe.contreras@gmail.com \
    --cc=roman.perepelitsa@gmail.com \
    --cc=zsh-workers@zsh.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.vuxu.org/mirror/zsh/

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 NNTP newsgroup(s).