2022/10/07 by Keehang Kwon, Kwon, Keehang, Dae-Seong Kang +1
Social Sciences · Computer Science · #Access Control and Trust #Semantic Web and Ontologies #Logic, programming, and type systems
paper · pdf · doi:10.48550/arxiv.2210.03413
Although the notion of qualified names is popular in module systems, it causes severe complications. In this paper, we propose an alternative to qualified names. The key idea is to import the declarations in other modules to the current module before they are used. In this way, all the declarations can be accessed locally. However, this approach is not efficient in memory usage. Our contribution is the \it module weakening scheme which allows us to import the minimal parts. As an example of this approach, we propose a module system for functional languages.