Haskell教程:#6 类型和类
类型和类(Types and Type Class) Haskell 是一种函数式语言,它是严格类型化的,这意味着整个应用程序中使用的数据类型将在编译时为编译器所知。 内置类型类 在 Haskell 中,每个语句都被视为一个数学表达式,这个表达式的类别称为类型。 您可以说“类型”是编译时使用的表达式的数据类型。要了解有关类型的更多信息,我们将使用 “:t” 命令。 在泛型中,Type 可以被认为是一个值,而 Type Class 可以被认为是一组相似类型的类型。 在本章中,我们将了解不同的内置类型。 Int Int 是表示 Integer 类型数据的类型类。 2147483647 到 -2147483647 范围内的每个整数都属于 Int 类型类。 在以下示例中,函数 fType() 将根据其定义的类型运行。 fType :: Int -> Int -> Int fType x y = x*x + y*y main = print (fType 2 4) 在这里,我们将函数 fType() 的类型设置为 int。 该函数采用两个 int 值并返回一个 int 值。 如果编译并执行这段代码,它将产生以下输出 sh-4.3$ ghc -O2 --make *.hs -o main -threaded -rtsopts sh-4.