From: oliver <oliver@first.in-berlin.de>
To: Siraaj Khandkar <siraaj@khandkar.net>
Cc: Arnaud Spiwack <Arnaud.Spiwack@lix.polytechnique.fr>,
OCaML Mailing List <caml-list@inria.fr>
Subject: Re: [Caml-list] OCaml's variables
Date: Sat, 25 May 2013 02:40:45 +0200 [thread overview]
Message-ID: <20130525004045.GH1923@siouxsie> (raw)
In-Reply-To: <37A1A2D3-5993-4675-9937-ED3965793D1D@khandkar.net>
On Fri, May 24, 2013 at 07:53:33PM -0400, Siraaj Khandkar wrote:
>
> On May 24, 2013, at 7:30 PM, oliver <oliver@first.in-berlin.de> wrote:
>
> > On Fri, May 24, 2013 at 11:01:39AM +0200, Arnaud Spiwack wrote:
> >> Why were you astounded? This is a perfectly legitimate/correct use of the
> >> word "variable".
> > [...]
> >
> >
> > Do you think so?
> >
> > I have thought about making the sentence better, but did not found
> > a better sentence in short time.
> >
> > But name-value-binding is the term that is used in functional languages.
> > I wonder why the term "variable" pops up there.
> > And even I understood the sentence, I'm not sure if this might create confusion
> > to some readers, because the term "variable" is normally not used for functional languages.
> >
> > People new to FP will be said, there are no "variables", and then they maybe
> > will be irritated, if they find that term in a reference-manual.
> >
> > Do you see what I mean?
>
> If you think of functions as equations, non-constant values are variables.
[...]
Where do the non-constant values come from?
I don't see there non-constant values.
Even a referemce, where the value is mutable, is represented
as a name-binding to the reference (container).
But in the chapter on page 136 it's about recursive values.
That does not mean the values are mutable.
So I wonder, why the term variables might be ok there.
Why is on the one hand emphasized, that there are name-value bindings,
on the other hands variables are the right term?
Or am I too picky?
Or has my mind be infected at the time
when I looked at Haskell and it's pureness?
Ciao,
Oliver
next prev parent reply other threads:[~2013-05-25 0:40 UTC|newest]
Thread overview: 80+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-05-23 23:53 oliver
2013-05-24 9:01 ` Arnaud Spiwack
2013-05-24 23:30 ` oliver
2013-05-24 23:53 ` Siraaj Khandkar
2013-05-25 0:40 ` oliver [this message]
2013-05-25 5:14 ` Wojciech Meyer
2013-05-25 11:04 ` oliver
2013-05-25 11:49 ` Gabriel Scherer
2013-05-25 12:04 ` oliver
2013-05-25 12:30 ` David Allsopp
2013-05-25 22:42 ` oliver
2013-05-25 23:24 ` Lukasz Stafiniak
2013-05-25 22:57 ` oliver
2013-05-25 16:53 ` Kristopher Micinski
2013-05-25 22:44 ` oliver
2013-05-26 15:00 ` oliver
2013-05-26 18:38 ` Malcolm Matalka
2013-05-26 21:49 ` Problems to get larger user base ... (Re: [Caml-list] OCaml's variables) Oliver Bandel
2013-05-27 7:40 ` Mr. Herr
2013-05-27 8:37 ` Fabrice Le Fessant
2013-05-27 20:21 ` Mr. Herr
2013-05-27 20:36 ` Török Edwin
2013-05-27 21:10 ` Mr. Herr
2013-05-28 1:15 ` Francois Berenger
2013-05-28 18:32 ` Mr. Herr
2013-05-28 18:39 ` Malcolm Matalka
2013-05-28 18:50 ` Anil Madhavapeddy
2013-05-28 19:24 ` Mr. Herr
2013-05-28 22:00 ` Paolo Donadeo
2013-05-28 22:17 ` Mr. Herr
2013-05-28 22:43 ` Paolo Donadeo
2013-05-29 20:48 ` Mr. Herr
2013-05-29 21:11 ` Malcolm Matalka
2013-05-29 22:02 ` Mr. Herr
2013-05-29 22:10 ` Malcolm Matalka
2013-05-30 0:51 ` Francois Berenger
2013-05-30 0:45 ` Francois Berenger
2013-05-30 0:57 ` Chet Murthy
2013-05-30 1:09 ` Francois Berenger
2013-05-30 4:52 ` Malcolm Matalka
2013-05-30 5:04 ` Francois Berenger
2013-05-30 5:05 ` Chet Murthy
2013-05-30 5:11 ` Francois Berenger
2013-05-30 6:02 ` Malcolm Matalka
2013-05-30 6:36 ` Francois Berenger
2013-05-30 6:47 ` Malcolm Matalka
2013-05-30 22:41 ` Chet Murthy
2013-05-31 5:27 ` Malcolm Matalka
2013-05-31 13:32 ` Mike Lin
2013-06-03 1:15 ` Francois Berenger
2013-05-30 13:49 ` oliver
[not found] ` <20130530.091844.2217058886454447597.Christophe.Troestler@umons.ac.be>
2013-05-30 7:23 ` [Caml-list] Re: Problems to get larger user base Mihamina Rakotomandimby
2013-05-30 7:51 ` OPAM binary packages (was Re: Problems to get larger user base ... (Re: [Caml-list] OCaml's variables)) Thomas Gazagnaire
2013-05-27 8:53 ` Problems to get larger user base ... (Re: [Caml-list] OCaml's variables) Erik de Castro Lopo
2013-05-27 12:38 ` Mr. Herr
2013-05-27 12:56 ` Paolo Donadeo
2013-05-27 20:35 ` Mr. Herr
2013-05-27 20:57 ` Paolo Donadeo
2013-05-28 1:17 ` Francois Berenger
2013-05-28 2:44 ` oliver
2013-05-28 3:40 ` Francois Berenger
2013-05-28 4:05 ` Norman Hardy
2013-05-28 12:51 ` oliver
2013-05-28 4:08 ` Norman Hardy
2013-05-28 12:36 ` oliver
2013-05-29 6:12 ` Mihamina Rakotomandimby
2013-05-29 7:31 ` Fabrice Le Fessant
2013-05-29 2:39 ` Jeff Meister
2013-05-29 2:51 ` Francois Berenger
2013-05-29 2:57 ` Jeff Meister
2013-05-29 7:50 ` Török Edwin
2013-05-29 3:06 ` oliver
2013-05-28 18:51 ` Mr. Herr
2013-05-28 19:06 ` Anthony Tavener
2013-05-28 19:47 ` Mr. Herr
2013-05-29 2:25 ` Francois Berenger
2013-05-28 4:20 ` Erik de Castro Lopo
2013-05-28 18:59 ` Mr. Herr
2013-05-29 3:08 ` Erik de Castro Lopo
2013-05-26 11:35 [Caml-list] OCaml's variables tools
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=20130525004045.GH1923@siouxsie \
--to=oliver@first.in-berlin.de \
--cc=Arnaud.Spiwack@lix.polytechnique.fr \
--cc=caml-list@inria.fr \
--cc=siraaj@khandkar.net \
/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.
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).