首页 › 答案 › 题库 › 知到智慧树 › 未分类

霍兰德在类型论中想要解决三个问题,即类型理论适合谁来使用,怎么使用和在哪种环境下使用。

霍兰德在类型论中想要解决三个问题,即类型理论适合谁来使用,怎么使用和在哪种环境下使用。
A.正确
B.错误
正确答案:B