Magma(CAS)中实现条件式文件加载的技术问询

由于Magma的load属于编译期指令，无法嵌套在条件语句中执行，针对多依赖的脚本仓库，可通过以下几种方式实现类似Pythonif __name__ == "__main__"的效果，避免重复加载：

1. 全局标记变量控制加载逻辑 #

给每个被依赖的脚本添加一个全局标记变量，脚本开头先检查该变量是否已定义，未定义时才执行核心代码。这种方式能让重复load的脚本直接跳过核心逻辑，只执行一次。

比如修改file1.m：

-- 在file1.m开头添加标记检查
if not assigned __FILE1_LOADED then
    __FILE1_LOADED := true;

    -- 原file1.m的所有核心代码放在这里
    -- 示例：定义函数、变量等
    Foo := function(x)
        return x + 1;
    end function;
end if;

修改file2.m（依赖file1.m）：

-- 直接load file1.m，重复加载时会跳过核心代码
load "file1.m";

-- 同样给file2.m添加标记
if not assigned __FILE2_LOADED then
    __FILE2_LOADED := true;

    -- 原file2.m的核心代码
    Bar := function(y)
        return Foo(y) * 2;
    end function;
end if;

这样无论是直接运行file2.m，还是通过file3.m加载file1.m和file2.m，都不会重复执行核心代码，避免重复定义函数/变量的问题。

2. 分离功能代码与入口逻辑 #

把所有核心功能封装成函数或记录类型（模拟模块化），每个脚本只负责定义功能，不直接执行逻辑；然后单独编写入口脚本，用于直接运行对应功能。

比如：

• file1.m：只定义函数，无执行代码

Foo := function(x)
    return x + 1;
end function;

• file2.m：依赖file1的函数，同样只定义功能

load "file1.m";
Bar := function(y)
    return Foo(y) * 2;
end function;

• run_file2.m：作为直接执行file2功能的入口

load "file1.m";
load "file2.m";
-- 执行file2的主逻辑
result := Bar(5);
print result;

• file3.m：按需加载并调用功能

load "file1.m";
load "file2.m";
-- 执行file3的逻辑
print Foo(3);
print Bar(4);

这种方式下，重复加载脚本只会重复定义函数（结合方案1的标记变量可避免重复定义），而入口逻辑只在对应脚本中执行，不会被意外触发。

3. 使用Magma包系统（推荐大规模仓库） #

如果你的Magma版本支持包管理（Magma V2.24及以上），可以将脚本组织成正式的Magma包，利用包系统的依赖追踪和自动去重加载机制。

1. 按照Magma包的目录结构组织文件：

MyPackage/
├── PackageInfo.m
├── src/
│   ├── file1.m
│   └── file2.m

2. 在PackageInfo.m中定义包信息和依赖：

PackageInfo := rec(
    Name := "MyPackage",
    Version := "1.0",
    Depends := [], -- 无外部依赖时留空
    SourceDirectory := "src",
);

3. 在需要使用的脚本中加载包：

LoadPackage("MyPackage");

Magma的包系统会自动处理依赖加载，且同一包只会被加载一次，彻底解决重复加载问题，适合大规模脚本仓库的长期维护。

内容的提问来源于stack exchange，提问作者Krijn