From mboxrd@z Thu Jan 1 00:00:00 1970 From: Catonano Subject: Re: my latest blog post Date: Sat, 9 Jun 2018 12:52:42 +0200 Message-ID: References: <87bmcmzfyz.fsf@netris.org> <87lgbpp31h.fsf@netris.org> <87a7s41bwz.fsf@elephly.net> Mime-Version: 1.0 Content-Type: multipart/alternative; boundary="000000000000dfa711056e335012" Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:34147) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1fRbUC-00021d-RD for guix-devel@gnu.org; Sat, 09 Jun 2018 06:52:45 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1fRbUB-0004SU-Qb for guix-devel@gnu.org; Sat, 09 Jun 2018 06:52:44 -0400 Received: from mail-yb0-x235.google.com ([2607:f8b0:4002:c09::235]:46200) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1fRbUB-0004SN-KX for guix-devel@gnu.org; Sat, 09 Jun 2018 06:52:43 -0400 Received: by mail-yb0-x235.google.com with SMTP id p22-v6so5213714yba.13 for ; Sat, 09 Jun 2018 03:52:43 -0700 (PDT) In-Reply-To: <87a7s41bwz.fsf@elephly.net> List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: "Guix-devel" To: Ricardo Wurmus Cc: guix-devel --000000000000dfa711056e335012 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable 2018-06-09 12:39 GMT+02:00 Ricardo Wurmus : > > Catonano writes: > > > Assuming that users read academic articles about programming languages = in > > order to know your way aroung Guile is not reasonable > > I fail to see how this follows from Guile=E2=80=99s lack of a macro stepp= er. Then you were not following Mark indicated me a paper about the first macro stepper in history > To > be honest, I never even heard of a macro stepper before. I haden't heard of it neither I am following Mark's distinction, here, between a macro stepper and macroexpand-1 I don't know if other schemes lack macroexpand-1 too but at this point it wouldn't be relevant anymore > And I have > never felt the need to read computer science papers to =E2=80=9Cknow my w= ay > around Guile=E2=80=9D. (I have not studied computer science, so it isn= =E2=80=99t that > my background allowed me to skip papers that are mandatory for other > users of Guile.) > > The sentence above seems like an exaggeration to me. > Ok, thans for your contribution > (I say this with no hostility, just with surprise.) > we have a loooong way to go > > > The monad accessing the daemon, how would I delve in it ? > > The Guix manual should explain it fully, while assuming that the concept > of a monad is known (because that=E2=80=99s not a Guix or Guile invention= ). And how would I know what a monad is without reading academic materials ? Maybe Haskell is a requirement in order to use Guile//Guix ? "assuming that the concept of a monad is known" is a problem. Someone would want to _learn_ what a monad is AND how it can be implemented in scheme, by dissecting this Guix macro based feature Do you think that the code should be kept obscure and unaccessible ? So much for the Emacs of distros --000000000000dfa711056e335012 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable


2018-06-09 12:39 GMT+02:00 Ricardo Wurmus <rekado@elephly.net>= :

Catonano <catonano@gmail.com&g= t; writes:

> Assuming that users read academic articles about programming languages= in
> order to know your way aroung Guile is not reasonable

I fail to see how this follows from Guile=E2=80=99s lack of a macro = stepper.=C2=A0

Then you were not following=

Mark indicated me a paper about the first macro stepper = in history
=C2=A0
To
be honest, I never even heard of a macro stepper before.=C2=A0

I haden't heard of it neither

I = am following Mark's distinction, here, between a macro stepper and macr= oexpand-1

I don't know if other schemes lack macroexp= and-1 too but at this point it wouldn't be relevant anymore
=C2=A0
And I have
never felt the need to read computer science papers to =E2=80=9Cknow my way=
around Guile=E2=80=9D.=C2=A0 (I have not studied computer science, so it is= n=E2=80=99t that
my background allowed me to skip papers that are mandatory for other
users of Guile.)

The sentence above seems like an exaggeration to me.
<= br>
Ok, thans for your contribution
=C2=A0
(I say this with no hostility, just with surprise.)
we have a loooong way to go

=C2=A0

> The monad accessing the daemon, how would I delve in it ?

The Guix manual should explain it fully, while assuming that the con= cept
of a monad is known (because that=E2=80=99s not a Guix or Guile invention).= =C2=A0

And how would I know what a monad i= s without reading academic materials ?

Maybe Haskell is = a requirement in order to use Guile//Guix ?

&q= uot;assuming that the concept of a monad is known" is a problem.

Someone would want to _learn_ what a monad is AND how = it can be implemented in scheme, by dissecting this Guix macro based featur= e

Do you think that the code should be kept ob= scure and unaccessible ?

So much for the Emacs of distro= s
--000000000000dfa711056e335012--