异常首先出现在哪种语言中?

根据 c2.com's Ground Breaking Languages page 是PL/I。

ML

fun reverse [] = []
  | reverse (x::xs) = (reverse xs) @ [x]

请注意,此函数是静态类型的,但在任何类型的列表上都是多态的(“泛型”)。

虽然这个例子是SML(这是后来的事情),但据我所知,这个概念也出现在最早的ML版本中。

Wikipedia :

通用编程工具优先 20世纪70年代出现在《语言》杂志上 后来被许多人采纳 基于对象和面向对象 埃菲尔、爪哇和DEC现在都不存在了 网格猫头鹰语言。启动位置 Java等语言中泛型的定义 和C#正式基于 由约翰提出的参数化概念 雷诺兹。