V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
推荐学习书目
Learn Python the Hard Way
Python Sites
PyPI - Python Package Index
http://diveintopython.org/toc/index.html
Pocoo
值得关注的项目
PyPy
Celery
Jinja2
Read the Docs
gevent
pyenv
virtualenv
Stackless Python
Beautiful Soup
结巴中文分词
Green Unicorn
Sentry
Shovel
Pyflakes
pytest
Python 编程
pep8 Checker
Styles
PEP 8
Google Python Style Guide
Code Style from The Hitchhiker's Guide
gossip
V2EX  ›  Python

如果存储运算形成的“中间量”

  •  1
     
  •   gossip · 2021-10-14 20:24:17 +08:00 · 4523 次点击
    这是一个创建于 1122 天前的主题,其中的信息可能已经有所发展或是发生改变。
    断断续续接触 python 其实有一年了,没拿它干过重活儿,还是非常新手的状态。但是进来有个问题让我思考更多:
    楼主本身背景经济学,我们经常用的软件包括 R,Stata 这种。笔者更熟练用 Stata

    现在在用 python 做点题目,问题描述如下:
    好比说我有两个 python 文件 A 和 B,由于两个功能的完全不同,而且为了以后逻辑清楚,特意分成了两个文件写

    A 执行之后经过复杂的运算会产生一个列表 m, 我的 B 文件就从 m 开始继续加工 m

    这样一来,我只需要运行 B 就行了,想知道如何让 A 中运算产生的 m 在运行 B 的时候自动就当做已知的(当前那环境中就有的)

    就好像 A 和 B 连起来一起执行一样?

    --------------------------------------------------
    我遇到这个问题,就在想我貌似之前很少碰到这个问题,于是回想了下这种情景用 Stata 是如何处理的。
    是这样的:
    一般 A 文件先参与运算,算完之后打开 B 文件,只要 B 文件开头不写清空当前内容,那么 A 得到的结果自然在内存中,接着用就是了。
    又或者:
    A 文件先参与运算,算完了之后把整个结果(通常是数据集,类似于 python 中的 dataframe )保存成 Stata 的 dta 文件就行,运行 B 的时候,开头调入整个 dta 文件,就 OK 了。

    这个问题麻烦在于,我 A 生成的是一个列表,如果我选择 with open.... write 一个文本文件当然可以,然后再从 B 中写一个 with open 读出来用一个列表接收,当然可以,但总觉得“不是那个味道”。

    所以感觉 python 这种没有一个变量框全局地储存变量还是与数据软件挺大的不同呢,但今晚遇到问题了,才更有理解一些。

    但我觉得,应该是更大的问题是我不太懂 python 的所谓“模块”的概念,既然一切 py 文件皆是模块,我是否可以在 B 中引入 A 中的结果呢,我知道可以引入 A 中的函数等,但是通过 A 运算得到的 m 有没有好的办法呢?

    (我的 A 文件就类似于一个面向过程的流水账,一步步计算出结果的这种)
    ----------------------------------------------------
    话比较啰嗦,谢谢大家了
    27 条回复    2021-10-19 09:59:29 +08:00
    zk123
        1
    zk123  
       2021-10-14 20:44:08 +08:00
    共享内存?一个双向队列解决?看了两遍,没太清楚要解决的关键点在哪里
    acmore
        2
    acmore  
       2021-10-14 20:45:26 +08:00
    其实 with open 用文件才是最正统的风格( Unix ),你的系统盘里就有一大堆这样的中间临时文件。
    不过这个问题是不是可以用一个 main 函数来解决,main 调用 A 得到结果再传给 B,一切都在内存里发生。

    Python 的模块引用的都是代码,而不是运行的结果。
    GeruzoniAnsasu
        3
    GeruzoniAnsasu  
       2021-10-14 20:47:31 +08:00
    > 感觉 python 这种没有一个变量框全局地储存变量还是与数据软件挺大的不同呢

    有。

    正经编程语言会有「作用域」的概念,参与运算的变量会分层暴露在各自的「作用域」里,越「内部」或者说越「局部」的变量,就越不可能被外界看到。

    与之相反的,如果一个变量处于「全局作用域」中,那就可以在全局范围内引用,跟引用函数 /类 是一样的。

    假设 A 文件有一个计算过程 calcNumA,最后得出来一个临时结果,你可以把临时结果直接放到文件最外面,比如

    ACache = None
    def calcNumA(args):
    ``...
    ``global ACache
    ``ACache = results

    然后引入它:

    import A

    if A.ACache=None:
    ``A.calcNumA(...)

    但良好的程序设计会遵循一定的设计规范和最佳实践,不会像这样直接暴露变量。此处展开就太多了,这个问题可以先不管,建议以后代码写多了慢慢填
    GeruzoniAnsasu
        4
    GeruzoniAnsasu  
       2021-10-14 20:49:09 +08:00
    至于列表,不是有{}和[]吗
    rpman
        5
    rpman  
       2021-10-14 20:49:10 +08:00 via iPhone   ❤️ 1
    假设你是写好文件然后跑 .py ,一般做法是用 pickle 把对象存成文件,然后下一个脚本载入对象
    如果要模仿统计软件里的体验,最简单方法是用 jupyter notebook,想跑哪个 cell 就跑哪个 cell,变量在同一个 notebook 里共享
    ch2
        6
    ch2  
       2021-10-14 20:49:41 +08:00
    需要有“进程”这个概念
    你的问题本质上是一个进程执行完之后如何让中间结果留给下一个进程接着用
    还额外蕴含了一个信息:第一次执行完毕后你想让进程驻留,只保留数据,第二次运行还要使用新的代码,这是很难以方便直观的方法做到的
    一次代码的运行会创建一个进程,它可以使用多个源代码模块。但是两次代码执行之间想要互通数据就得借助于外部手段,写文件是其中一种
    如果你不想借助外部方法,就得把多次运行改进成一次运行,这样始终只会创建一个进程,就不需要走进程共享这一套流程了
    rpman
        7
    rpman  
       2021-10-14 20:52:39 +08:00 via iPhone
    至于真正生产代码,都会把功能都封装成函数,脚本只负责调用
    nuistzhou
        8
    nuistzhou  
       2021-10-14 20:53:43 +08:00 via iPhone
    不需要啥临时文件。这…在 B 里直接调用 A 的函数就好了啊。具体来说,你在 A 里的计算逻辑写成一个 返回结果(对你来说这里是可能是 df )的函数,然后在 B 里调用 A 的这个函数并运行,结果自然就可以作为一个 B 里的变量直接用。
    SenLief
        9
    SenLief  
       2021-10-14 20:57:00 +08:00
    模块?
    jmc891205
        10
    jmc891205  
       2021-10-14 23:13:56 +08:00 via iPhone
    把 A 里的逻辑封装成函数 在 B 里调用返回 m
    Livid
        11
    Livid  
    MOD
       2021-10-14 23:14:05 +08:00 via iPhone
    kilasuelika
        12
    kilasuelika  
       2021-10-15 01:59:10 +08:00 via Android   ❤️ 1
    看你的表述,你需要应该是在同一个环境下执行 2 个文件:
    exec(open("filea.py").read())
    exec(open("fileb.py").read())

    这样 fileb 中可以直接用 filea 中的变量
    dangyuluo
        13
    dangyuluo  
       2021-10-15 03:20:03 +08:00
    如果 AB 是不同进程的话,一定不想存到文件里,可以考虑一种 IPC
    ruxuan1306
        14
    ruxuan1306  
       2021-10-15 03:37:23 +08:00
    看描述感觉你好像是在用 Matlab 、PyCharm 那种交互式的、可以保持上下文的执行工具。

    模块化的做法是:
    A 文件里内容写成一个大函数,B 文件里内容也写成一个大函数,然后建立一个`main.py`文件,导入 A 、B 文件内的两个函数,于是你就可以先执行 A 先获得中间结果:`data = A()`,再将中间结果喂给 B:`result = B(data)`。

    未来直接运行`main.py`即可。
    iceheart
        15
    iceheart  
       2021-10-15 08:32:03 +08:00 via Android
    用 mq 啊
    zjsxwc
        16
    zjsxwc  
       2021-10-15 08:40:01 +08:00
    python 保存 session 状态还是很简单的,仅仅只需要对 globals()进行操作就行。

    https://stackoverflow.com/questions/2960864/how-to-save-all-the-variables-in-the-current-python-session#answer-2961077
    oott123
        17
    oott123  
       2021-10-15 08:47:50 +08:00
    我倒觉得你需要的是一个 Jupyter Notebook
    gaint97
        18
    gaint97  
       2021-10-15 09:26:33 +08:00 via iPhone
    我也是小白,感觉把 Adefine 个函数可行
    ipwx
        19
    ipwx  
       2021-10-15 10:56:26 +08:00
    楼主能不能给代码,不然我们说的都是失真了的。
    gossip
        20
    gossip  
    OP
       2021-10-15 11:11:52 +08:00
    @ipwx 是的,主要里面有些数据库比较保密哈
    Xs0ul
        21
    Xs0ul  
       2021-10-15 14:23:50 +08:00 via Android
    可能需要 jupyter notebook +1
    byaiu
        22
    byaiu  
       2021-10-15 19:49:09 +08:00 via iPhone
    直到我看到这个帖子 我才真正理解了写代码这个行当还是有特定的固定的思维方式的。就算天天写 stata,看着像程序员,却也不是真正的程序员。
    jaredyam
        23
    jaredyam  
       2021-10-15 23:44:47 +08:00
    看了你的前半段,感觉是新手阶段可能遇到的牛角尖;看了后半段,感觉你是处于一知半解的状态。

    看了你的最后一句话,我觉得 Jupyter Notebook 最适合你当前的状态,可以像你写 matlab, stata 一样保持面向过程的思维。

    如果愿意多花点时间,可以去了解一些模块化的概念,多看看别人统计学相关的代码实现。
    nekochyan
        24
    nekochyan  
       2021-10-16 18:19:55 +08:00
    我感觉你这个再写个 C 就够了呀,在 C 里面导入 A 、B 模块,A 运算出 m,m 是保存为文件还是直接丢给 B 继续运算不是想怎么写就怎么写吗
    pjntt
        25
    pjntt  
       2021-10-17 19:05:25 +08:00
    感觉楼主是在像在做清洗数据,上一步对数据清洗后,结果交给下一步处理。就像 hadoop 中的 maprerdurce
    secondwtq
        26
    secondwtq  
       2021-10-18 20:53:24 +08:00   ❤️ 1
    没用过 Stata,不过看主题内容,感觉楼主是混淆了“文件”这个操作系统 /文件系统的概念和编程语言自身的概念。

    大多数常见编程语言都是围绕“值”“表达式”“函数”“类”“接口”这些结构折腾。这些结构构成了一个编程语言的核心部分。编程语言的实现,以及该编程语言使用的库,可能会引入新的概念。比如 C++ STL 库里引入了臭名昭著的“迭代器”概念,而一些做数据分析的库,比如 pandas,就引入了“Dataframe”和“Series”的概念,这个和具体库的 domain 有关系。

    写一个程序的过程,可以理解为:
    1. 首先定义一个问题
    2. 然后再将问题递归地拆分为更小的问题
    3. 最后使用编程语言或库中的相关结构和概念实现这些问题的解决方案

    这么一个过程,或者说通过分治解决子问题来解决更大的问题,这些子问题及其对应的解决方案就可以被称为“模块”(注意这部分的“模块”和 Python 中的“模块”结构没有直接关系,后面会解释)。能够清晰合理地划分模块的边界,并且将同一模块的东西攒在一块,叫模块化( modularity )。

    楼主说的“两个功能的完全不同”“逻辑清楚”就是在实践模块化。

    模块化主要是定义及划分模块,这些工作做完之后,最后还要有一个把模块重新拼在一起,由解决小问题到解决大问题的过程,这个过程称为组合( composition )。组合的过程简单自然称为组合性( composability )。

    当然具体做这个的过程中,由于计算机没法直接理解你的问题和子问题,所以到了干苦力那一步的时候,还是要落到编程语言和库自身的结构中,具体来说就是通过这些结构的组合来“编程”,也就是刚才的步骤 3 。就是说这些结构也是可以组合的,在大多数编程语言中,上述提到的“值”“表达式”“函数”“类”“接口”这些结构都能相对容易地组合。设计良好的编程语言和库,最重要的一点之一就是其结构或模块容易组合。

    “编程”的过程,最后的产物叫“程序”。我们说它是“编程语言中结构的组合”,是因为计算机只理解编程语言。我们把这些结构附加上人类能够理解的意义后就成为我们刚才说的“模块”。楼主产出了 A 和 B 两个文件,这两个文件在计算机看来就是 Python 的类、函数和语句这些结构,而在人看来则是用于解决一个问题的两个子问题的两个模块。

    可见这里存在一个从计算机编程语言的结构,到设计层面的模块的映射。这个映射其实是相当自由的,也就是一个公式可以是一个模块(比如它解决了计算某个期望值的问题),一个正则表达式可以是一个模块(比如它解决了判断是否是合法的 Email 地址的问题),一个类可以是一个模块(比如它解决了访问数据库中某种实体的问题),一个函数可以是一个模块(比如它解决了数据加密的问题),甚至一个函数中的单独一段代码也可以成为一个模块(比如在加密数据时,判断是否应该在源数据尾填充零数据以满足对齐要求)。

    很多编程语言,包括 Python,单独做了一个叫做“模块”的结构。这种“模块”结构,解决的其实是“我有多个相关的结构,设计上属于一个模块,该怎么放在一起”的问题,也就是一般用于表示一些更加基础的结构的集合。比如 Python 中的模块可以包含变量、函数和类。

    刚才其实有个小问题,我 composition 的单位,究竟是“模块”( module ),还是“组件”( component )?从上一段的例子可以看出,似乎人们(至少 Python )更喜欢把具有“集合”性质的东西定义为 module,这个我叫狭义的 module 。而对 component,似乎有一种观点是高层设计上的划分叫 component,执行层面代码实现的产物叫 module 。之所以说是小问题是因为我认为这个这俩基本是同义词,至少当我们讨论 modularity 和 composability 时没有必要区分,不管 module 还是 component,都是指模块化设计产生的东西,它们也应该可以组合,不一定是某种集合才能叫 module 。比如一个函数本身不是集合,但是每个函数确实有明确定义的接口,会完成特定的工作,通过函数来组织程序,相比于直接一口气写一大段确实有更好的 modularity 。(更需要区分的其实是 modularity 和 composability:前者是把问题划分为模块,后者是把模块重新组合成问题)

    这就是为啥刚才说我们讨论的“模块”和 Python 的“模块”不是一个东西,前者是一个特定的产品中为了解决某个专门的问题的结构。类似的限定于单独产品的词还有很多,比如 React 框架里面 component 表示的是 React 实现的 UI 模块,Linux 内核中 Kernel Module 表示的是一种动态扩展内核功能的工具,微软的 COM 中的 component 则试图在不同机器和不同编程语言之间建立一个共有的结构,这些“模块”和“组件”的含义都是在专门的 domain 下的。我们谈的“模块”是通用的。

    ---

    之所以要费这么多字辩经,是因为很明显这个有搞混的可能 ... 不过大部分人都应该知道区分同一个词在特定语境和通用语境的差别,所以如果不考虑我刚才那套“广义模块”和“狭义模块”的歪理的话,并不容易搞混。但之所以我还要强行输出“广义模块”和“狭义模块”这套歪理,当然是因为我拿了拜登的经费(还有别的可能么?),有意要塞私货——我并不喜欢(看上去)非常流行的“狭义模块”定义,我也并不喜欢很多常用编程语言中特定的“模块”结构,这些问题导致了楼主的困惑(也导致了很多其他问题),而最好的解决方式就是把“模块”的默认定义切换到“广义模块”。

    关于“狭义模块”定义本身的问题,刚才已经有说过了。到了编程语言层面,对“狭义模块”的实现,又是各自有各自的问题。首先是该不该有这个单独的结构,变量、函数、类这几种常见的结构,都可以用于实现“狭义模块”,但是很多编程语言为了“狭义模块”单独做了一个结构,很有种多此一举的感觉,但是这么做的不在少数,是因为语言设计者的剃刀都钝了么?这个得具体来分析(注意下面的例子中的“模块”都指狭义模块):

    Python 中的一个“模块”就是一个文件(有使用文件内代码创建模块的方法,不过很少用),几个模块在文件系统中组合在一块叫一个“包”( package ),这个意义其实就是把模块再组合一遍。
    Go 中一个文件夹算一个“模块”,同一个文件夹中的名字默认是互相可见的。当然 Go 里面相关结构的名字和其他不太一样,Go 貌似把一个文件夹叫 package,几个 package 组合到一块再叫 module 。
    Swift 中一个“模块”指的也是源文件的集合,一般以“framework”的形式出现,和 Go 类似,这个集合内所有的符号是互相可见的,单个文件并不构成一个“模块”。
    Bash 中不存在明确的“模块”结构,最接近的就是文件 ... 文件本来就是 Bash 的核心结构
    C 本身不存在“狭义模块”层级的结构,但是有个预处理器,预处理的就是文件,而所谓“头文件”基本代替了模块接口的作用。C++ 有 class 和 namespace,这俩都可以用来表示“模块”,但是好像 C++ 程序员普遍不喜欢定义太多 namespace,class 倒是很常见,class 配合 template 也有不错的组合性。但是 C++ 还是依赖于头文件,最近才有新的 module 功能。注意标准文档的说法是程序放在“source files”里面,source files 预处理之后变成“translation unit”,同时还说明这个“source file”的名字只是 conceptual 的,不一定真在“files”里面。
    Rust 中的模块有点像 C++ namespace 和 Python/Go 模块的混合体——你可以使用文件或文件夹来定义模块,也可以直接在文件内定义新的模块。一般项目里貌似前者用的较多。
    Java 的核心结构是类,一个文件只允许定义一个类或接口,文件夹结构决定如何引用这个类和接口。但是这其实不是一定的,因为这个规则只是实现上 javac 编译器和 JVM 内置 ClassLoader 的默认行为(可以和 C 进行比较的是,在标准层面限定的其实是 compilation unit 和 top level declaration,具体行为是实现决定的,文件系统只是其中一个情况),JVM 实际可用的最内层接口是单个 class 的字节码而不是文件,理论上你可以用你自己的 ClassLoader 甚至自定义的 .class 文件格式规避掉默认规则。另外在我们讨论的这些语言中,Java 属于最依赖于 IDE 的那一类,这也减轻了默认规则的影响。
    JavaScript 的设计背景和 C 完全不同,但是同样导向了没有“模块”结构的结果。然而 JavaScript 的函数和对象有强大的抽象和组合能力,直接就可以拿来做“模块”。于是后来就出现了一些比较通用的模块实现,现代 JavaScript 最后有了一套标准的模块,和 Java 一样,这个模块也可以自定义 loader 。最后实现上很多都是把“模块”和“文件”或“文件夹”对应起来的。

    这么一圈下来,很显然的就是很多语言及语言实现,跨 domain 把编程语言中的结构,和操作系统中的文件系统嫁接到一块了。文件系统有意思的地方主要是,在现代 OS 中,文件系统是唯一指定的持久化存储抽象。用户或者程序想要存储数据,不管采用什么方式,最后基本都要落到文件系统上。

    这本来没什么大问题,能直接钦定一个抽象,并且还一直很好用,只能说明这个抽象是个成功的抽象(至于所谓“UNIX 哲学”把这玩意扩大化到了整个 OS,搞得操作系统就是文件,文件就是操作系统,文件调度内存外设安全,东西南北中,文件是领导一切的这种事情另说)。但是“模块”一定要和文件系统关联起来么?再去看“模块”的定义,狭义上指编程语言结构的集合,广义上指一切可组合的编程语言结构,这和“文件”或“文件夹”并没有必然的联系。之所以实践中存在广泛的关联,可能有多方面的原因,但是主要的原因可能不难推测:如果说一切持久存储,包括程序语言结构(即“程序”)的存储都要落在文件系统上的话,就必然要设计利用文件系统存储程序的方式,很自然的,一个文件或文件夹很有可能被设计为编程语言结构的集合,而我们说的狭义模块就是编程语言结构的集合,这俩看起来是差不多的,干脆就画等号了。

    这看起来很合理,但是我想再强调“文件”是文件系统的结构,“模块”是程序设计的概念或者编程语言的结构,这俩本身并没有直接的关系。所以正经的标准,比如 C/C++,Java,JavaScript 里面,都不会钦定文件系统作为模块的必要条件,而只是将其作为可能的实现之一,也就是说文件系统是个实现细节。

    Python 、Go 等语言把模块和文件系统强行关联会出现一些问题,比如想要把各种语言结构放到一块(即创建一个狭义模块),必须涉及文件系统的操作,总的来说就是程序结构和文件结构高度绑定。当然有一些人可能会觉得用文件来组织模块这样更“清晰”,不过就我个人来讲,文件固然有其合理性,但是我读写程序的时候,希望的是能针对编程语言结构进行操作,而我刚才说了,文件不属于编程语言结构,绑定到一起之后在编程过程中需要在编程语言和操作系统两个 domain 中反复横跳,这就是楼主会提出这个问题的根本原因。

    引入广义模块定义,并且把“文件”的概念排除掉之后就更清楚了。楼主说“with open....”“不是那个味道”,就是因为你这个时候需要跨 domain 操作文件(其实这是“文件”的正确打开方式,文件是拿来读写的不是拿来 import 的),而“是味道”的做法应该是直接操作编程语言结构,在 Python 里就是操作函数和表达式,以及它们在运行时产生的值,即:

    A.py:
    def phase_a(src):
    ...
    return result

    B.py:
    def phase_b(src):
    ...
    return result

    main.py:
    import A
    import B
    src_data = read_src()
    m = phase_a(src_data)
    n = phase_b(m)
    output(n)

    但是因为我们不提倡把模块和文件绑定,既然写两个文件 /狭义模块是模块化,写两个函数也是模块化,你把 phase_a 和 phase_b 两个函数(模块)全都放在 main.py 里面也无所谓。

    有句话讲得好“一切都是比较而言”。C++,Rust,JavaScript 等语言,允许用户更灵活地定义狭义模块,狭义模块和文件系统不存在直接关联。Java 虽然默认实现有关联,但是因为现在默认写 Java 都要用 IDE,理论上 IDE 可以帮你解决。

    另外楼主问的“中间量”,我敢保证楼主程序中的“中间量”不止 m 一个。因为当你计算 a = 1 + 2 + 4 时,1 + 2 的值 3 就是一个“中间量”,之后会继续产生另一个中间量 2 + 4 也就是 6 作为 a 的值。因为 a 本身不是程序的结果,你后面还需要用 a 进行其他的运算或者输出,所以 a 也是个中间量。上面例子的 src_data,m 和 n 都是中间量。可见这些中间量,编程语言实现已经自动帮你处理了,都很“是味道”。楼主说“A 文件就类似于一个面向过程的流水账,一步步计算出结果的这种”,这么多步,每一步都会产生“中间量”。但是楼主唯独对跨文件的“中间量”不清楚,就是因为“文件”这一个 foreign 的概念干扰了对编程语言自身概念的理解。

    ---

    最后都说了这么多了,可以继续来看几个非常奇怪的例子:

    虽然之前所讨论一些编程语言会把其“模块”结构称为“module system”,但是除 JavaScript 外,我个人不觉得其他任何一个有叫“system”的资格。Module System 的典范其实是 ML 语言,ML 中的 module 有点像 C++ 里的 template,是后加上去的,也把 ML 分成了 Core language 和 Module language 两个部分。ML 模块的最大特点是它有很强的组合性,也就是你可以像函数一样调用模块(叫做 functor ),当然和 template 一样,这种调用只能是静态的。和函数不同的是,模块允许值和类型互相组合,而函数只允许值的组合。又因为模块是唯一能把值和类型组合到一起的结构,所以 ML 的模块既有接近于函数等一等公民结构的组合性,又不存在功能的冗余。ML 有两个主要方言,Standard ML 和 OCaml,Standard ML 并没有把模块和文件系统关联起来,编译器一般只是把所有源文件合并成一个大文件编译,当然是合并要以某种拓扑序进行。OCaml 则会给每个源文件默认创建一个模块,OCaml 加入了 first-class modules,让 module 也可以在运行时动态组合,进一步增强了 module 的表达力。(需要注意 Standard ML 有标准,标准认为“we shall tacitly regard all programs as interactive”,OCaml 没有形式上的标准)

    另一个是传说中的罗马正统奥斯曼(划掉)“面向对象正统”Smalltalk 。今天人们对 Smalltalk 仅有的记忆似乎主要是来自它的罗马 ... 面向对象正统宣称,但是 Smalltalk 的创新远不止于此。Smalltalk 经常被忽略的一点是,它将程序和“环境”连接在了一起,因为 Smalltalk 是 Alan Kay 和 Xerox PARC 在让计算机和编程变得更友好的过程中的尝试,所以它不使用“文件”的抽象,你的计算机或者操作系统(至少在 UI 层面),以及编程环境对你来说都是同一个“Smalltalk 环境”,这个环境中你写程序不是先创建一个“文件”,然后再写代码,而是直接创建一个类或方法。读程序也不是打开“文件”看,因为用的不是“文件浏览器”,而是一个“System Browser”( Smalltalk 环境里面有个“File Browser”,不过你编程的时候是不会去碰它的),你在这里面直接点类或者方法看。因为代码直接可以在“环境”中运行,和程序及数据交互等于和环境交互,它也很适合 Live Coding 。总的来说 Smalltalk 更多地做到了“针对编程语言结构进行操作”以及“文件系统作为实现细节存在”。
    Smalltalk 中持久化也和文件没有直接关系,刚才说你的电脑就是 Smalltalk 环境,Smalltalk 是把整个环境存储成一个“Image”,关机(或者进程退出之后)再打开会加载 Image,类还是那些类,方法还是那些方法,对象还是那些对象。

    这俩东西都有几十年历史了,今天倒也不是完全没有继承者,可以简单找到几个猴版:
    JavaScript 等动态性较强的语言,可以直接用动态特性实现 ML 模块的组合性。
    现代 IDE 都有个 Class View,可以看当前文件,或当前项目下按照程序语言结构( namespace 、类、函数、变量等)组织的程序结构。不过貌似至少 VS 里面的 Class View 只能看,不能直接创建类(因为 VS 还是没脱离文件抽象)。VS 和 Xcode 都可以创建某种“文件夹”,这个文件夹仅仅是一个逻辑的集合,仅存在于 IDE 项目文件中,不对应文件系统中的文件夹。
    RDBMS 的存储过程不直接对应文件系统,而是存储在数据库里面。关系数据库本身又是一个持久存储的抽象,实际上 Smalltalk 的 Image 就是个数据库。(“文件”的问题也就在于文件系统可以被当成数据库,但是这个数据库又不够强)
    Java 在标准层面主要关心类和包这种抽象的概念,而在实现层面又直接让类、包与文件系统绑定,但是单个“文件”不是“结构的集合”,而只能有一个结构,并且用 IDE 工具进一步抽象。也可以算是奥斯曼,即 Smalltalk 的继承者之一了。

    另外,Smalltalk 这个 Image 机制和现在主流编程语言实现的区别,其实就是 Smalltalk 给 VM 进程状态做了持久化而已,楼上有人说这个在现代的 VM 中并不难实现。这里又涉及到另一个操作系统概念“进程”,进程有自己的内存空间,一般就代表了一个进程在某一时刻的状态(嘛,也可以叫“中间量”),楼主说的“变量框全局地储存变量”,以及回复有人说的全局作用域,都属于进程的状态。但是如果程序自己不做持久化,这个状态在进程退出之后就没了。存储分临时存储和持久存储,文件主要解决的是持久存储的问题(当然也可以做临时存储),临时存储主要是进程内部的事情。所以楼主如果没有持久存储的需求是不需要读写文件的。Smalltalk 环境把文件和进程都给你抽象掉了,你可以说它和传统操作系统做了比较全面的脱钩。

    如果真的让“模块”,或者更一般地,程序的组织形式完全和“文件”脱钩,也会出现其他的问题,比如你就只能用对应语言钦定的环境和编辑器,Vim 和 Emacs 基本废了,我虽然只有三十岁,可以却有五十年的 Vim 配置经验啊!(我觉得 Emacs 还能救一救)版本管理也是个问题,理想上也是按照编程语言结构来进行管理,而不是按照文件来管理,这样就又会有只能使用语言专用工具的问题。Smalltalk 社区应该有自己的办法,我不是用户不太清楚。不过这些问题会出现的前提是现有工具本身就是按照主流编程语言和文件系统之间关系的假设做的,还是个历史包袱问题。
    gossip
        27
    gossip  
    OP
       2021-10-19 09:59:29 +08:00
    写得真好,“文件固然有其合理性,但是我读写程序的时候,希望的是能针对编程语言结构进行操作”
    这正是点睛的句子,我甚至自己都不知道自己要的回答是什么,但这句话的确是我心中的想要的!

    谢谢您
    关于   ·   帮助文档   ·   博客   ·   API   ·   FAQ   ·   实用小工具   ·   1132 人在线   最高记录 6679   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 22ms · UTC 23:34 · PVG 07:34 · LAX 15:34 · JFK 18:34
    Developed with CodeLauncher
    ♥ Do have faith in what you're doing.