To consider: a module form

[kredati]

A module form could be interesting. It describes a namespace, but instead of an explicit associative data structure (as the ns form is currently), it would be followed by a block. It would then bundle up all the bindings in this block into an equivalent namespace.

The following would then be equivalent:

& current `ns` strategy: 
let foo = ...
let bar = ...
let baz = ...
ns Foobar { foo, bar, baz }

& new `module` strategy:
module Foobar {
    let foo = ...
    let bar = ...
    let baz = ...
}

This is not quite pure sugar: it relies on the plumbing of Ludus being able to do something with the context of the scope. But I think this is quite ergonomic.

• Is module the right name for this?
• Is ns actually the name for this?
• Is the old ns strategy the right one now that we don't have structs?

[kredati]

Better names? A current ns should actually be a package, pkg; the module proposal here is more properly called a "namespace."