Improve namespaces #4

New Issue

scott · 2023-12-14T01:21:36Z

kredati commented

2023-12-14 01:21:36 +00:00

(Migrated from github.com)

Now that use is in the language, namespaces should have more robust static checking. The way to do this is to try to ensure namespaces' names begin with capital letters (since datatypes aren't coming to the language).

Namespace names must be capitalized
Add a new ns-keyword to the language: keywords that start with a capital
Add a new ns-expr, which is ns-name (ns-keyword)*
use takes a ns-expr
validator ensures importing a pkg or ns must use a pkg-name

Now that `use` is in the language, namespaces should have more robust static checking. The way to do this is to try to ensure namespaces' names begin with capital letters (since datatypes aren't coming to the language). * [x] Namespace names must be capitalized * [ ] Add a new ns-keyword to the language: keywords that start with a capital * [ ] Add a new ns-expr, which is `ns-name (ns-keyword)*` * [x] `use` takes a ns-expr * [ ] validator ensures `import`ing a pkg or ns must use a pkg-name

scott self-assigned this 2023-12-15 21:25:22 +00:00

scott referenced this issue

2023-12-18 05:52:15 +00:00

Improve prelude #17

scott removed their assignment 2023-12-27 04:18:16 +00:00

scott commented

2024-04-29 22:15:46 +00:00

Closely related to #5.

scott added this to the Computer Class milestone 2024-05-19 19:53:39 +00:00

scott commented

2024-05-19 19:54:42 +00:00

In fact, completely covered by #5. Closing in favour of #5.