Re: Higher order modules: a first stab

[ludo@gnu.org (Ludovic Courtès)]

Hello,

Sorry for the delay.

This looks nice.

Ian Price <ianprice90@googlemail.com> skribis:

> Currently, parameterized modules are functions that return a
> module, and functions are retrieved by module-ref. This is fine for a
> proof of concept, but hopefully I'll have something better integrated
> soon.

Would be cool to see how higher-order module support could be added to
our module system.

Something like:

  (define-module (seq-utils)
    #:require (kar kdr)
    #:export (take drop))

  ...

and:

  (define-module (srfi srfi-1)
    #:use-module ((seq-utils) #:with (car cdr)))

  ...

  (define-module (ice-9 vlist)
    #:use-module ((seq-utils) #:with (vlist-head vlist-tail)))

  ...

  (resolve-module '(seq-utils) #:with (list car cdr))
  => fresh module

  (resolve-module '(seq-utils))
  =| error

WDYT?

Thanks,
Ludo’.