blocks|key|131473|text|一个module-path?包含任何可以是required的东西，可以是path?，可以是符号，也可以是子模块路径(submod+"food.rkt"+lunch)。见文档中的require。|type|unstyled|depth|inlineStyleRanges|offset|length|style|BOLD|CODE|entityRanges|data|131474|一个resolved-module-path?是一个“绝对路径”到哪里球拍可以找到模块(注1)。与模块路径相比，解析模块路径的语法更有限(即更少模棱两可)。|131475|module-path-index?+(MPI)是从一个module-path-index?到另一个module-path-index?的增量(注2)。使用module-path-index-join构建MPI(注3)。|131476|(module-path-index-join+#f+#f)是从当前模块到自身的增量。|unordered-list-item|131477|(module-path-index-join+"dumplings.rkt"+#f)是从#f+(当前模块)到相对路径"./dumplings.rkt"+(是的，首先是路径，然后是基本路径)的增量。|131478|(module-path-index-join+"nom-noms.rkt"+(module-path-index-join+"dumplings.rkt"+#f))是从当前模块到"./dumplings.rkt"到"./nom-noms.rkt"的增量。当一个文件静态地需要另一个文件时，Racket会生成这样的MPIs+-这些文件可以链接在一起，以找到标识符的绑定。|131479|(module-path-index-join+'(submod+test)+#f)是指当前模块中的测试子模块。|131480|希望这能有所帮助。|131481|注1:如果模块位于文件中，则其解析路径为绝对文件路径。如果模块是在语法对象上调用eval的结果，那么它的resolved-module-path?就是另外一些东西。|131482|注2:海事组织“模块路径三角洲”将是一个更好的名称。|131483|注3:当前两个参数为module-path-index-join时，#f接受第三个可选参数。这允许模块引用它自己的子模块之一。一般情况下，您不希望直接使用此功能。而是使用quote-module-path。|131484|entityMap|0|LINK|mutability|MUTABLE|url|http://docs.racket-lang.org/reference/require.html#%2528form._%2528%2528lib._racket%252Fprivate%252Fbase..rkt%2529._require%2529%2529|1|http://docs.racket-lang.org/syntax/Source_Locations.html#%2528form._%2528%2528lib._syntax%252Flocation..rkt%2529._quote-module-path%2529%2529^0|2|C|2|C|L|7|10|5|1L|P|2G|7|2G|7|0|0|2|L|2|L|0|0|I|0|I|S|I|1E|I|26|M|0|0|T|0|0|17|19|2|1N|H|0|0|2B|2I|H|30|G|0|0|16|0|0|14|4|1G|L|0|0|A|M|Y|2|2D|H|2D|H|1|0^^$0|@$1|2|3|4|5|6|7|1B|8|@$9|1C|A|1D|B|C]|$9|1E|A|1F|B|D]|$9|1G|A|1H|B|D]|$9|1I|A|1J|B|D]|$9|1K|A|1L|B|D]|$9|1M|A|1N|B|D]]|E|@$9|1O|A|1P|1|1Q]]|F|$]]|$1|G|3|H|5|6|7|1R|8|@$9|1S|A|1T|B|C]|$9|1U|A|1V|B|D]]|E|@]|F|$]]|$1|I|3|J|5|6|7|1W|8|@$9|1X|A|1Y|B|C]|$9|1Z|A|20|B|D]|$9|21|A|22|B|D]|$9|23|A|24|B|D]|$9|25|A|26|B|D]]|E|@]|F|$]]|$1|K|3|L|5|M|7|27|8|@$9|28|A|29|B|D]]|E|@]|F|$]]|$1|N|3|O|5|M|7|2A|8|@$9|2B|A|2C|B|D]|$9|2D|A|2E|B|D]|$9|2F|A|2G|B|D]]|E|@]|F|$]]|$1|P|3|Q|5|M|7|2H|8|@$9|2I|A|2J|B|D]|$9|2K|A|2L|B|D]|$9|2M|A|2N|B|D]]|E|@]|F|$]]|$1|R|3|S|5|M|7|2O|8|@$9|2P|A|2Q|B|D]]|E|@]|F|$]]|$1|T|3|U|5|6|7|2R|8|@]|E|@]|F|$]]|$1|V|3|W|5|6|7|2S|8|@$9|2T|A|2U|B|D]|$9|2V|A|2W|B|D]]|E|@]|F|$]]|$1|X|3|Y|5|6|7|2X|8|@]|E|@]|F|$]]|$1|Z|3|10|5|6|7|2Y|8|@$9|2Z|A|30|B|D]|$9|31|A|32|B|D]|$9|33|A|34|B|D]]|E|@$9|35|A|36|1|37]]|F|$]]|$1|11|3|-4|5|6|7|38|8|@]|E|@]|F|$]]]|12|$13|$5|14|15|16|F|$17|18]]|19|$5|14|15|16|F|$17|1A]]]]

A <code>module-path?</code> contains anything that can be <code>require</code>d. Could be a <code>path?</code>, could be a symbol, could be a submodule path <code>(submod "food.rkt" lunch)</code>. See <a href="http://docs.racket-lang.org/reference/require.html#%28form._%28%28lib._racket%2Fprivate%2Fbase..rkt%29._require%29%29" rel="nofollow noreferrer"><code>require</code></a> in the docs.

A <code>resolved-module-path?</code> is an "absolute path" to where Racket can find the module (Note 1). The grammar for resolved module paths is more limited (i.e., less ambiguous) than for module paths.

A <code>module-path-index?</code> (MPI) is a delta from one <code>module-path-index?</code> to another (Note 2). Use <code>module-path-index-join</code> to build MPIs (Note 3).

<ul>
<li><code>(module-path-index-join #f #f</code>) is a delta from the current module to itself.</li>
<li><code>(module-path-index-join "dumplings.rkt" #f)</code> is a delta from <code>#f</code> (the current module) to the relative path <code>"./dumplings.rkt"</code> (Yes it's really path first, then base.)</li>
<li><code>(module-path-index-join "nom-noms.rkt" (module-path-index-join "dumplings.rkt" #f))</code> is a delta from the current module to <code>"./dumplings.rkt"</code> to <code>"./nom-noms.rkt"</code>. Racket builds MPIs like this when one file statically requires another --- these can be chained together to find the binding of an identifier.</li>
<li><code>(module-path-index-join '(submod test) #f)</code> refers to the test submodule in the current module.</li>
</ul>

Hope that helps.

<hr>

Note 1: If the module is in a file, a resolved path for it is an absolute filepath. If the module is the result of calling <code>eval</code> on a syntax object, its <code>resolved-module-path?</code> is something else.

Note 2: IMO "module path deltas" would be a better name.

Note 3: <code>module-path-index-join</code> accepts a third, optional argument when the first two arguments are <code>#f</code>. This lets a module refer to one of its own submodules. You will generally not want to use this feature directly. And instead use <a href="http://docs.racket-lang.org/syntax/Source_Locations.html#%28form._%28%28lib._syntax%2Flocation..rkt%29._quote-module-path%29%29" rel="nofollow noreferrer"><code>quote-module-path</code></a>.

Racket has <a href="https://docs.racket-lang.org/reference/Module_Names_and_Loading.html?q=module-path%3F#%28def._%28%28quote._~23~25kernel%29._module-path~3f%29%29" rel="nofollow noreferrer">Module Paths</a> (predicate is <code>module-path?</code>), <a href="https://docs.racket-lang.org/reference/Module_Names_and_Loading.html?q=module-path%3F#%28def._%28%28quote._~23~25kernel%29._resolved-module-path~3f%29%29" rel="nofollow noreferrer">Resolved Module Paths</a> (predicate is <code>resolved-module-path?</code>), and <a href="https://docs.racket-lang.org/reference/Module_Names_and_Loading.html?q=module-path%3F#%28def._%28%28quote._~23~25kernel%29._module-path-index~3f%29%29" rel="nofollow noreferrer">Module Path Indexes</a> (predicate is <code>module-path-index?</code>).

I guess a <code>module-path?</code> is anything that could plausibly point to a module. And I guess a resolved module path points to an actual module on the system.

But what is a module path index and what does it get me over just a resolved module path?

What is a Module Path Index in Racket

翻译质量差，导致语言生硬或混乱。

没有提供实际的解决方法或示例。

解答不清晰，无法理解或解决问题。

页面排版不美观，阅读体验差。

文章

问答

视频

教程

学习中心

腾讯云实验室

直播

竞赛

腾讯云代码分析专区

腾讯iOA零信任安全管理系统专区

腾讯云架构师技术同盟交流圈

腾讯云数据库专区

腾讯云智能顾问专区

腾讯云原生专区

腾讯混元专区

腾讯云TCE专区

腾讯云Lighthouse专区

腾讯云HAI专区

腾讯云Edgeone专区

腾讯云存储专区

腾讯云智能专区

腾讯轻联专区 

腾讯云开发专区

TAPD专区

腾讯轻量云游戏服专区

腾讯云最具价值专家

腾讯云架构师技术同盟

腾讯云创作之星

腾讯云开发者先锋

腾讯云AI代码助手

云原生构建

TAPD 敏捷项目管理

Cloud Studio

SDK中心

API中心

命令行工具

功能1上新10个字符

功能2描述100个字符功能2描述100个字符功能2描述100个字符功能2描述100个字符功能2描述100个字符功能2描述100个字符功能2描述100个字符功能2描述100个字符功能2描述100个字符。

功能2上新100个字符功能2上新100个字符功能2上新100个字符功能2上新100个字符功能2上新100个字符功能2上新100个字符功能2上新100个字符功能2上新100个字符功能2上新100个字符。

功能5描述100个字符功能5描述100个字符功能5描述100个字符功能5描述100个字符功能5描述100个字符功能5描述100个字符

功能5上新100个字符功能5上新100个字符功能5上新100个字符功能5上新100个字符功能5上新100个字符功能5上新100个字符功能5上新100个字符功能5上新100个字符功能5上新100个字符功能5上新100个字符

功能4上新

文章&问答评论现已支持表情

全新交互，全新视觉，新增快捷键、悬浮工具栏、高亮块等功能并同时优化现有功能，全面提升创作效率和体验

社区富文本编辑器全新改版！诚邀体验～ 

精选全网热门MCP server，让你的AI更好用 🚀

💥开发者 MCP广场重磅上线！

涵盖代码开发、场景应用、自动测试全流程，助你从零构建专属AI助手

一站式MCP教程库，解锁AI应用新玩法

聚焦“写作效率、视觉美观与运行性能”三方面进行全面升级，为您提供更高效、稳定的创作环境

社区富文本&Markdown编辑器全新改版上线，欢迎大家体验!

诚挚邀请您参与本次调研，分享您的真实使用感受与建议。您的反馈至关重要，感谢您的支持与参与！

社区新版编辑器体验调研

Racket有 (谓词是module-path?)、 (谓词是resolved-module-path?)和 (谓词是module-path-index?)。我想module-path?是任何有可能指向模块的东西。我猜解析模块路径指向了系统上的一个实际模块。但是什么是模块路径索引，它能给我带来什么呢?仅仅是一个解析的模块路径？

问什么是球拍中的模块路径索引？
EN

回答 1

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问什么是球拍中的模块路径索引？EN