基本语法和类型系统

概述

Haskell 是一种纯函数式编程语言，以其强大的类型系统和简洁的语法著称。本教程将带你深入了解 Haskell 的基本语法和类型系统，帮助你打下坚实的基础。

基本语法

注释

在 Haskell 中，注释有两种形式：

• 单行注释：使用 -- 开头，直到行尾。
• 多行注释：使用 {- 和 -} 包围。

-- 这是一个单行注释

{-
这是一个
多行注释
-}

变量和常量

在 Haskell 中，变量和常量的定义非常简单。使用 let 关键字可以定义一个变量或常量。

let x = 10  -- 定义一个常量 x，值为 10

函数定义

Haskell 中的函数定义非常简洁。函数名后面跟着参数列表，然后是等号，最后是函数体。

add :: Int -> Int -> Int  -- 类型签名
add x y = x + y           -- 函数定义

控制结构

Haskell 中的控制结构主要包括 if-then-else 和 case 表达式。

-- if-then-else 表达式
max x y = if x > y then x else y

-- case 表达式
describe x = case x of
  1 -> "One"
  2 -> "Two"
  _ -> "Other"

类型系统

基本类型

Haskell 提供了多种基本类型，包括：

• Int：整数类型
• Integer：大整数类型
• Float：单精度浮点数
• Double：双精度浮点数
• Bool：布尔类型
• Char：字符类型

let a = 42       -- Int
let b = 42 :: Integer  -- Integer
let c = 3.14     -- Float
let d = 3.14 :: Double  -- Double
let e = True     -- Bool
let f = 'H'      -- Char

类型推导

Haskell 具有强大的类型推导能力，通常不需要显式指定类型。编译器会根据上下文自动推导出变量或函数的类型。

let g = 42  -- 编译器会推导出 g 的类型为 Int

多态类型

Haskell 支持多态类型，允许函数处理多种类型的数据。使用 a、b 等小写字母表示类型变量。

identity :: a -> a
identity x = x

类型类 (Typeclasses)

类型类是 Haskell 中的一种抽象机制，类似于接口。常见的类型类包括 Eq、Ord、Show 等。

-- Eq 类型类用于相等性比较
instance Eq Bool where
  True == True = True
  False == False = True
  _ == _ = False

-- Show 类型类用于将值转换为字符串
instance Show Bool where
  show True = "True"
  show False = "False"

实践练习

练习 1：定义一个函数

定义一个函数 square，接受一个整数并返回其平方值。

square :: Int -> Int
square x = x * x

练习 2：使用类型类

定义一个函数 isEven，判断一个整数是否为偶数，并使用 Show 类型类将其结果转换为字符串。

isEven :: Int -> String
isEven x = if x `mod` 2 == 0 then "Even" else "Odd"

练习 3：多态函数

定义一个多态函数 pair，接受两个参数并返回一个包含这两个参数的元组。

pair :: a -> b -> (a, b)
pair x y = (x, y)

总结

通过本教程，你已经学习了 Haskell 的基本语法和类型系统。Haskell 的类型系统非常强大，能够帮助你编写更安全、更可靠的代码。继续深入学习，你将发现 Haskell 的更多魅力。

下一步

接下来，你可以学习 Haskell 的函数定义和应用，进一步掌握函数式编程的核心概念。