(define-module (foo) #:import (...)), a la r6rs

(define-module (foo) #:import (...)), a la r6rs

[Andy Wingo]

Hi,

I was hacking on Dorodango today, in a script that happened to have a
Guile-style (define-module ...) block, and I was importing pieces of an
rnrs library.  Then I needed to update the import set to provide what
was needed.  In the middle of making a keyboard macro to add
#:use-module before the library names, I realized that `library' is
actually a lot better in this regard, in that you just have one `import'
block, and all the libraries are listed there without having a prefix on
each one.

So what do you all think about:

  (define-module (foo)
    #:import ((bar)
              (only (baz) qux foo)
              ...))

Or even:

  (define-module (foo)
    (import (bar)
            (only (baz) qux foo)
            ...))

We would continue to support the #:use-module syntax indefinitely, of
course.

It looks like the upcoming R7RS standard will support these import specs
in the same way as the r6rs, though without version specifiers
(thankfully).

Andy
-- 
http://wingolog.org/

Re: (define-module (foo) #:import (...)), a la r6rs

[Ludovic Courtès]

Hi!

Andy Wingo <wingo@pobox.com> skribis:

> So what do you all think about:
>
>   (define-module (foo)
>     #:import ((bar)
>               (only (baz) qux foo)
>               ...))
>
> Or even:
>
>   (define-module (foo)
>     (import (bar)
>             (only (baz) qux foo)
>             ...))

I’d prefer #:use-modules (plural), for consistency:

  (define-module (foo)
    #:use-modules ((bar)
                   (baz) #:select (qux foo)
                   (chbouib) #:renamer (symbol-prefix-proc 'p)))

What do you think?

Thanks,
Ludo’.

Re: (define-module (foo) #:import (...)), a la r6rs

[Mike Gran]

From: Andy Wingo wingo@pobox.com

>
>Hi,
>
>I was hacking on Dorodango today, in a script that happened to have a
>Guile-style (define-module ...) block, and I was importing pieces of an
>rnrs library.  Then I needed to update the import set to provide what
>was needed.  In the middle of making a keyboard macro to add
>#:use-module before the library names, I realized that `library' is
>actually a lot better in this regard, in that you just have one `import'
>block, and all the libraries are listed there without having a prefix on
>each one.
>
>So what do you all think about:
>
>  (define-module (foo)
>    #:import ((bar)
>              (only (baz) qux foo)
>              ...))

We once discussed having a plural #use-modules in this thread.

http://lists.gnu.org/archive/html/guile-user/2007-10/msg00002.html

-Mike Gran

Re: (define-module (foo) #:import (...)), a la r6rs

[Jose A. Ortega Ruiz]

On Thu, Jul 28 2011, Andy Wingo wrote:

> Hi,
>
> I was hacking on Dorodango today, in a script that happened to have a
> Guile-style (define-module ...) block, and I was importing pieces of an
> rnrs library.  Then I needed to update the import set to provide what
> was needed.  In the middle of making a keyboard macro to add
> #:use-module before the library names, I realized that `library' is
> actually a lot better in this regard, in that you just have one `import'
> block, and all the libraries are listed there without having a prefix on
> each one.
>
> So what do you all think about:
>
>   (define-module (foo)
>     #:import ((bar)
>               (only (baz) qux foo)
>               ...))
>
> Or even:
>
>   (define-module (foo)
>     (import (bar)
>             (only (baz) qux foo)
>             ...))

fwiw, i like the second form better (looks more schemish to me), and i agree
both forms are an improvement over #:use-module.

jao
-- 
I don't necessarily agree with everything I say.
 -Marshall McLuhan (1911-1980)

Re: (define-module (foo) #:import (...)), a la r6rs

[Andy Wingo]

Hi,

Procrastinating :)

On Thu 28 Jul 2011 23:23, ludo@gnu.org (Ludovic Courtès) writes:

> Andy Wingo <wingo@pobox.com> skribis:
>
>> So what do you all think about:
>>
>>   (define-module (foo)
>>     #:import ((bar)
>>               (only (baz) qux foo)
>>               ...))
>>
>> Or even:
>>
>>   (define-module (foo)
>>     (import (bar)
>>             (only (baz) qux foo)
>>             ...))
>
> I’d prefer #:use-modules (plural), for consistency:
>
>   (define-module (foo)
>     #:use-modules ((bar)
>                    (baz) #:select (qux foo)
>                    (chbouib) #:renamer (symbol-prefix-proc 'p)))
>
> What do you think?

I don't like the paren placement so much.  Consistency is important, but
TBH I think that we should phase out the "use-module" / "use-modules"
terminology, in favor of "import" terminology of r6rs and the coming
r7rs.

What do you think about that? :-)

Andy
-- 
http://wingolog.org/

Re: (define-module (foo) #:import (...)), a la r6rs

[Ludovic Courtès]

Hi!

Andy Wingo <wingo@pobox.com> skribis:

> On Thu 28 Jul 2011 23:23, ludo@gnu.org (Ludovic Courtès) writes:
>
>> Andy Wingo <wingo@pobox.com> skribis:
>>
>>> So what do you all think about:
>>>
>>>   (define-module (foo)
>>>     #:import ((bar)
>>>               (only (baz) qux foo)
>>>               ...))
>>>
>>> Or even:
>>>
>>>   (define-module (foo)
>>>     (import (bar)
>>>             (only (baz) qux foo)
>>>             ...))
>>
>> I’d prefer #:use-modules (plural), for consistency:
>>
>>   (define-module (foo)
>>     #:use-modules ((bar)
>>                    (baz) #:select (qux foo)
>>                    (chbouib) #:renamer (symbol-prefix-proc 'p)))
>>
>> What do you think?
>
> I don't like the paren placement so much.  Consistency is important, but
> TBH I think that we should phase out the "use-module" / "use-modules"
> terminology, in favor of "import" terminology of r6rs and the coming
> r7rs.
>
> What do you think about that? :-)

I find aesthetics important, but phasing out such an important construct
“just” for aesthetics seems harsh to me.

Besides, stuff like #:renamer is strictly more powerful than what
R[67]RS provide, IIRC.

Actually I’m happy with the ways things are currently, so I’m obviously
biased.  ;-)

Thanks,
Ludo’.

Re: (define-module (foo) #:import (...)), a la r6rs

[David Pirotte]

Hi all,

> >> So what do you all think about:
> >>
> >>   (define-module (foo)
> >>     #:import ((bar)
> >>               (only (baz) qux foo)
> >>               ...))
> >>
> >> Or even:
> >>
> >>   (define-module (foo)
> >>     (import (bar)
> >>             (only (baz) qux foo)
> >>             ...))
> >
> > I’d prefer #:use-modules (plural), for consistency:
> >
> >   (define-module (foo)
> >     #:use-modules ((bar)
> >                    (baz) #:select (qux foo)
> >                    (chbouib) #:renamer (symbol-prefix-proc 'p)))
> >
> > What do you think?
> 
> I don't like the paren placement so much.  Consistency is important, but
> TBH I think that we should phase out the "use-module" / "use-modules"
> terminology, in favor of "import" terminology of r6rs and the coming
> r7rs.
> 
> What do you think about that? :-)
> 
> Andy

I 'feel' that a module uses another or several other modules. I feel that 'import'
is too close to some sort of 'cuisine interne', to my HO. Therefore I would prefer,
consistently with myself :), #:use-modules

What would be a must for me, and may be others ?, would be having a possibility
within 'define-module', to specify or globally or per used modules, that we also
wish to re export their public interface.

Cheers,
David

Re: (define-module (foo) #:import (...)), a la r6rs

[Andy Wingo]

Hello :)

On Thu 10 Nov 2011 00:50, ludo@gnu.org (Ludovic Courtès) writes:

> Andy Wingo <wingo@pobox.com> skribis:
>
>> On Thu 28 Jul 2011 23:23, ludo@gnu.org (Ludovic Courtès) writes:
>>
>>> Andy Wingo <wingo@pobox.com> skribis:
>>>
>>>>   (define-module (foo)
>>>>     #:import ((bar)
>>>>               (only (baz) qux foo)
>>>>               ...))
>>>>
>>>> Or even:
>>>>
>>>>   (define-module (foo)
>>>>     (import (bar)
>>>>             (only (baz) qux foo)
>>>>             ...))
>>>
>>> I’d prefer #:use-modules (plural), for consistency:
>>>
>>>   (define-module (foo)
>>>     #:use-modules ((bar)
>>>                    (baz) #:select (qux foo)
>>>                    (chbouib) #:renamer (symbol-prefix-proc 'p)))
>>
>> I don't like the paren placement so much.  Consistency is important, but
>> TBH I think that we should phase out the "use-module" / "use-modules"
>> terminology, in favor of "import" terminology of r6rs and the coming
>> r7rs.
>
> I find aesthetics important, but phasing out such an important construct
> “just” for aesthetics seems harsh to me.

Yeah, but it is not simply aesthetics: it is consistency with other
schemes, `import' is the natural converse of `export', and the important
cases of "import only these bindings", "rename these particular
bindings", and "import this module with a prefix" are really easy in the
r6rs import language.

> Besides, stuff like #:renamer is strictly more powerful than what
> R[67]RS provide, IIRC.

No argument there!  But I rarely use it.  Even #:select is a bit of a
PITA to use:

  #:use-module ((a) #:select (b c d))
  #:use-module ((e) #:renamer (symbol-prefix-proc 'p:))

vs

  (import (only (a) b c d)
          (prefix (e) p:))

In particular the #:use-module variant has non-obvious paren placement
for #:select two places: the wrapper for the whole form, and the list of
bindings.  And of course #:renamer would still be there for you to
use. if you wanted to.

Dunno, I still think this would be a good idea, but I think we would
need to come to agreement first.

Andy
-- 
http://wingolog.org/

Re: (define-module (foo) #:import (...)), a la r6rs

[Andy Wingo]

Heya Ludo,

Ping :)  You still against changes to define-module?  I'm OK with that,
but I just wanted to get an explicit reaction.  Too much mail over the
last month, eh :-)

Andy

On Tue 06 Dec 2011 12:30, Andy Wingo <wingo@pobox.com> writes:

> On Thu 10 Nov 2011 00:50, ludo@gnu.org (Ludovic Courtès) writes:
>
>> Andy Wingo <wingo@pobox.com> skribis:
>>
>>> On Thu 28 Jul 2011 23:23, ludo@gnu.org (Ludovic Courtès) writes:
>>>
>>>> Andy Wingo <wingo@pobox.com> skribis:
>>>>
>>>>>   (define-module (foo)
>>>>>     #:import ((bar)
>>>>>               (only (baz) qux foo)
>>>>>               ...))
>>>>>
>>>>> Or even:
>>>>>
>>>>>   (define-module (foo)
>>>>>     (import (bar)
>>>>>             (only (baz) qux foo)
>>>>>             ...))
>>>>
>>>> I’d prefer #:use-modules (plural), for consistency:
>>>>
>>>>   (define-module (foo)
>>>>     #:use-modules ((bar)
>>>>                    (baz) #:select (qux foo)
>>>>                    (chbouib) #:renamer (symbol-prefix-proc 'p)))
>>>
>>> I don't like the paren placement so much.  Consistency is important, but
>>> TBH I think that we should phase out the "use-module" / "use-modules"
>>> terminology, in favor of "import" terminology of r6rs and the coming
>>> r7rs.
>>
>> I find aesthetics important, but phasing out such an important construct
>> “just” for aesthetics seems harsh to me.
>
> Yeah, but it is not simply aesthetics: it is consistency with other
> schemes, `import' is the natural converse of `export', and the important
> cases of "import only these bindings", "rename these particular
> bindings", and "import this module with a prefix" are really easy in the
> r6rs import language.
>
>> Besides, stuff like #:renamer is strictly more powerful than what
>> R[67]RS provide, IIRC.
>
> No argument there!  But I rarely use it.  Even #:select is a bit of a
> PITA to use:
>
>   #:use-module ((a) #:select (b c d))
>   #:use-module ((e) #:renamer (symbol-prefix-proc 'p:))
>
> vs
>
>   (import (only (a) b c d)
>           (prefix (e) p:))
>
> In particular the #:use-module variant has non-obvious paren placement
> for #:select two places: the wrapper for the whole form, and the list of
> bindings.  And of course #:renamer would still be there for you to
> use. if you wanted to.
>
> Dunno, I still think this would be a good idea, but I think we would
> need to come to agreement first.
>
> Andy

-- 
http://wingolog.org/

Re: (define-module (foo) #:import (...)), a la r6rs

[Ludovic Courtès]

Hello!

Andy Wingo <wingo@pobox.com> skribis:

> No argument there!  But I rarely use it.  Even #:select is a bit of a
> PITA to use:
>
>   #:use-module ((a) #:select (b c d))
>   #:use-module ((e) #:renamer (symbol-prefix-proc 'p:))
>
> vs
>
>   (import (only (a) b c d)
>           (prefix (e) p:))

Sounds a bit like kill/yank vs. copy/paste.  ;-)

I’m happy with the current form and have a harder time parsing ‘import’,
but I can understand some may prefer ‘import’, in particular anyone who
comes to Guile with an R6RS background.

So if you think it's this worthwhile, go for it!

Thanks,
Ludo’.

Re: (define-module (foo) #:import (...)), a la r6rs

[Andy Wingo]

On Sun 08 Jan 2012 17:28, ludo@gnu.org (Ludovic Courtès) writes:

> Andy Wingo <wingo@pobox.com> skribis:
>
>>   #:use-module ((a) #:select (b c d))
>>   #:use-module ((e) #:renamer (symbol-prefix-proc 'p:))
>>
>> vs
>>
>>   (import (only (a) b c d)
>>           (prefix (e) p:))
>
> Sounds a bit like kill/yank vs. copy/paste.  ;-)

Heh, indeed ;-)

> I’m happy with the current form and have a harder time parsing ‘import’,
> but I can understand some may prefer ‘import’, in particular anyone who
> comes to Guile with an R6RS background.
>
> So if you think it's this worthwhile, go for it!

OK, thanks for the feedback.  Next time I get bothered by this I'll
propose a concrete patch.

Cheers,

Andy
-- 
http://wingolog.org/