程序员吐槽：有了指称语义，不懂程序就像不懂数学一样

有人在 X 上转发调侃指称语义（Denotational semantics）：「现在我可以像不理解数学一样不理解我的程序了。」这句玩梗精准戳中形式化方法既高深又难懂的处境，在编程语言理论圈引发共鸣。