Haskell笔记 （15）—— Type annotation

当需要显示地指定表达式类型时，可以使用type annotaion，即在表达式后面加上::和需要指定的类型。举例如下：

> :type 1 :: Int
1 :: Int :: Int

可以看到1被强制指定为Int类型。Type annotation也可以用来获得Int等类型的边界值：

> minBound :: Int
-9223372036854775808
> maxBound :: Int
9223372036854775807

参考资料：
Lecture Notes on Haskell Programming。