所有Haskell值都有一个类型：

烧焦 = “a”    时间： 烧焦
整数 = 123     时间： 国际
乐趣 = 是数字 时间： 烧焦 -> 布尔

必须将正确类型的值传递给函数，否则编译器将拒绝该程序：

是数字 1

您可以将字节解码为文本：

字节 = 加密.搞砸.SHA1公司.搞砸 “你好” 时间： 字节字符串
文本 = 解码Utf8 字节               时间： 文本

但您无法解码文本，因为它已经是Unicode点的矢量：

双重解码 = 解码Utf8 (解码Utf8 字节)

以下函数接受一个整数并返回一个整数。根据类型，它不能做任何副作用，也不能改变任何参数。

广场 时间： 国际 -> 国际
广场 x个 = x个 * x个

以下字符串串联是可以的：

“您好：” ++ “世界！” 

以下字符串串联是一个类型错误：

“姓名：” ++ 获取线路

因为获取线路具有类型IO字符串而不是字符串，比如“姓名：”所以根据类型系统，你不能将纯度和杂质混合搭配。

此示例对每个绑定都有一个类型签名：

主要的 时间： IO（输入输出） ()
主要的 = 做 线 时间： 字符串 <- 获取线路
          打印 (解析数字 线)
  哪里 解析数字 时间： 字符串 -> 也许 吧 国际
        解析数字 ((c（c） 时间： 烧焦) : _) =
          如果 是数字 c（c）
             然后 只是 (字 c（c） - 字 '0')
             其他的 没有什么

但你可以写下：

主要的 = 做 线 <- 获取行
          打印 (解析数字 线)
  哪里 解析数字 (c（c） : _) =
          如果 是数字 c（c）
             然后 只是 (字 c（c） - 字 “0”)
             其他的 没有什么

您还可以使用推理来避免浪费时间解释您想要什么：

做 不锈钢 <- 解码 “[\”Hello！\“，\”World！\“]”
   是 <- 解码 "[1,2,3]"
   返回 (拉链 (\秒 我 -> 秒 ++ " " ++ 显示 (我 + 5)) 不锈钢 是)
 => 只是 [“你好！6”,“世界！7”]

类型免费提供解析器规范，不接受以下输入：

做 不锈钢 <- 解码 "[1,2,3]"
   是 <- 解码 “[空，空，空]”
   返回 (拉链 (\秒 我 -> 秒 ++ " " ++ 显示 (我 + 5)) 不锈钢 是)
 => 没有什么

轻松启动线程并与标准库通信：

主要的 = 做
  完成 <- 新的空MVar
  fork IO（分叉IO） (做 输入StrLn “我是一线！”
             putMVar（推杆） 完成 “完成！”)
  第二 <- fork IO（分叉IO） (做 线程延迟 100000
                       输入StrLn “我是另一个线程！”)
  killThread线程 第二
  消息 <- takeMVar（获取MVar） 完成
  输入StrLn 消息

对线程使用异步API：

做 第1页 <- 异步 (获取URL 网址1)
  a2类 <- 异步 (获取URL URL 2)
  第1页 <- 等待 第1页
  第2页 <- 等待 a2类
  ...

使用软件事务性内存的原子线程：

转移 时间： 账户 -> 账户 -> 国际 -> IO（输入输出） ()
转移 从 到 数量 =
  原子地 (做 存款 到 数量
                 撤退 从 数量)

原子事务必须是可重复的，因此在类型系统中禁用任意IO：

主要的 = 原子地 (输入StrLn “你好！”)

轻松定义控制结构：

什么时候 第页 米 = 如果 第页 然后 米 其他的 返回 ()
主要的 = 做 参数 <- 获取参数
          什么时候 (无效 参数)
               (输入StrLn “未指定参数！”) 

如果你注意到重复的表达模式，比如

如果 c（c） 然后 t吨 其他的 False（错误）

你可以给这个起个名字，比如

和 c（c） t吨 = 如果 c（c） 然后 t吨 其他的 False（错误）

然后以与原始表达式相同的效果使用它。

通过组合惰性函数获得代码重用。表达任何通过重用地图和或功能：

任何 时间： (一 -> 布尔) -> [一] -> 布尔
任何 第页 = 或 . 地图 第页

在中重用递归模式地图,滤波器,文件夹等。

有6954个软件包可免费获得。以下是最常见的示例：