Get Programming with Haskell-11

目录

1. 2. 函数类型
2. 1.字符串转换函数
3. 2. 多个参数的函数
4. 3.一等函数（First-class Functions）的类型
5. 4. Summary
6. 📎 参考文章

# 类型基础 ## 1. Haskell中的类型 Haskell 作为一门静态类型语言，或许会令你稍感意外。常见的静态类型语言还包括 C++、C# 和 Java。在这些语言（以及大多数静态类型语言）中，程序员往往需要费心维护类型标注。然而在 Haskell 中，你至今都无需为任何值显式声明类型——这得益于 Haskell 的类型推断机制：编译器能根据值的使用方式，在编译期自动推导所有值的类型！当然，你也可以选择手动指定类型。如下图所示，我们将为变量显式标注 Int 类型。  Haskell 中所有类型名均以大写字母开头（函数名则需小写字母或下划线开头），以此实现语法区分。Int 类型作为编程领域最基础的数字类型之一，其本质是通过固定位数（通常为 32 位或 64 位）的二进制模式来表示数值。这种固定位宽的特性，决定了该类型存在数值表示范围的上下限。例如在 GHCi 中加载变量 x 后，通过简单运算即可探查该类型的边界值： ```haskell x :: Int x = 2 ```