《Typing Haskell in Haskell》中modify函数的实现与调用疑问

关于这段THIH代码的疑问解答 #

首先明确上下文前提：这段代码里的ce是类型类环境（ClassEnv）类型的值，它的classes字段本身是函数类型，作用是接收类名作为入参，返回对应类的定义（存在的话返回Just包裹的定义，不存在返回Nothing）。

疑问1：代码中的j来自哪里？

你看到的\j → if i == j then Just c else classes ce j是Haskell的匿名函数（Lambda表达式）语法，j就是这个匿名函数的形参，不需要提前在modify函数里定义。
这段逻辑的作用是构造一个新的classes函数：后续任何代码调用这个新classes函数时，传入的类名实参就会绑定到j上，函数会判断传入的类名是不是要修改的目标类名i，是就返回新的类定义c，否则复用原来ce里的classes函数的查询结果。
注：你贴的代码里大写的I应该是笔误，实际对应modify函数的入参小写i。

疑问2：调用modify时没有传入j为什么能正常运行？

你调用modify ce i (is, [])的时候，modify函数只是完成了ce值的classes字段替换，把原来的classes函数换成了上面提到的新匿名函数，这个过程不需要执行这个新匿名函数，自然不需要传入j参数。
只有当你后续拿到modify返回的新ce，需要查询类定义、主动调用(classes newCe) 某个类名的时候，才需要传入对应参数绑定到j上。

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