最近在看一些哲学的科普文章时
看到了外延与内涵的区别
外延就是某个名词代表的东西的集合
我一听就想到一个经典的梗图
https://i.imgur.com/Q1xQqBh.jpg
“L'Arc的破晓晨钟”和“钢弹00的op1”的外延是相同的
它们代表的都是同一个集合，里面只有一个元素，就是那首特定的歌
但你真的会说这两句话的意思一样吗
很可能不会，因为说“L'Arc的破晓晨钟”很可能代表他是因为乐团去听的
而听“钢弹00的op1”的人就是看卡通的肥宅
所以内涵不太一样
说到外延，资工系最爱从别的领域偷名词过来了
之前曾听过有人把一个程式的 input output 对应关系说成外延
而内涵则是那个程式的程式码
两个程式，如果相同的输入会对应到相同的输出，那他们的外延就相同
举例来说，在 Leetcode 上的同一题，不同的人会上传不同的程式码
如果是 AC 的话，那他们的输入输出对应是相同（至少在定义域是测资的情况下）
这些有不同程式码的程式是相同的吗？好像可以又好像不行
我觉得这个关于程式的外延内涵比喻还蛮有趣的