Stream: ideas

Topic: Proposal: Explicit Module Paths and Nested-Type Imports


view this post on Zulip Luke Boswell (Jul 31 2026 at 08:33):

Here is a proposal https://gist.github.com/lukewilliamboswell/e52d53e6fac03fbababc12dbf2d0be0e

I stumbled into this while implementing support for directories... I hadn't really considered the full constraints and requirements until @Aurélien Geron shared this issue https://github.com/roc-lang/roc/issues/10489

So I spent some time trying to scope out the space and think through what would naturally fit Roc.

@Richard Feldman how do you feel about introducing new syntax / in import statements?

view this post on Zulip Richard Feldman (Jul 31 2026 at 13:19):

this looks great! I'd been thinking along very similar lines, although I didn't think of the "leading / means package root dir" idea - but I like it!

view this post on Zulip Richard Feldman (Jul 31 2026 at 13:20):

only thing I'd change is the migration plan. I think we should just switch completely over to the desired semantics as a breaking change.


Last updated: Aug 12 2026 at 12:35 UTC