输入ghci中的默认值

Question

我使用GHCi作为我的翻译，

我的作业的规格是有一个Int s元组的列表，即

[(Int,Int)]

当我输入

时

let edges = [(0,2),(0,3),(1,2),(2,3)]

GHCi自动生成数字类型Integer而不是Int，因此我无法测试我的程序，即

:t edges
edges :: [(Integer,Integer)]

如何强制使用Int这样的定义，而不是Integer ??

谢谢！

Answer 1

您可以在输入时指定类型：

let edges = [(0,2),(0,3),(1,2),(2,3)] :: [(Int, Int)]

Answer 2

您也可以使用通常为程序中的函数指定类型的方式，但必须在同一个解释器命令中使用这两个表达式

>let edges :: [(Int, Int)]; edges = [(0,2),(0,3),(1,2),(2,3)]
>:t edges
  edges :: [(Int, Int)]