Haskell的数据类型

声明变量及类型Prelude> :set +t

Prelude> 3 * 4

12

it :: Num a => a

it是变量名;

=>前面的Num a是类型约束,表示编译器现在不确定it的具体类型(可能是整数、浮点数等等),只知道它是Num类型类(typeclass)的实例,因为它能做乘法运算

数据类型字符型Prelude> 'c'

'c'

it :: Char

元组(tuple)Prelude> (1,'a')

(1,'a')

it :: Num t => (t, ......

Haskell的辅助命令

:?可以看到命令清单

:t是:type的缩写,显示变量类型

Prelude> let x = 1

Prelude> :t x

x :: Num a => a

:i是:info的缩写,显示给定名字的信息,不管这个名字是变量还是类型

Prelude> :i x -- 显示x变量的信息

x :: Num a => a

Prelude> :i Num -- 显示Num类型类的信息

class Num a where

(+) :: a -> a -> a

(-) :: a -> a -> a

(*) :: a -&......

在Mac端安装Haskell

通过Homebrew安装Haskell Stack

Bash

brew install haskell-stack

安装好之后,通过stack ghci命令进入repl

Bash

Prelude> 1 + 1

2

参考:

仙境里的Haskell