Haskell自定义类型使用：构造Student类型后编写的getName函数无法运行如何解决

你的代码仅存在一处语法错误：

• 函数类型签名末尾多写了英文冒号:。Haskell 中类型签名的语法规则为 [函数名] :: [类型]，结尾不需要额外追加符号。

你定义Student为三元组类型别名的逻辑没有问题，模式匹配提取三元组第一个元素的逻辑也正确，仅需要删掉多余的冒号即可正常运行，修复后的代码如下：

getName :: Student -> Name
getName (name_, age_, semester_) = name_

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