GHCi交互环境 #

ghci

GHCi, version 9.4.8: https://www.haskell.org/ghc/  :? for help
Prelude>

Prelude> :quit
-- 或简写
Prelude> :q
-- 或使用Ctrl+D

Prelude> 1 + 2
3

Prelude> 2 * 3 + 4
10

Prelude> "Hello" ++ " World"
"Hello World"

Prelude> [1..10]
[1,2,3,4,5,6,7,8,9,10]

Prelude> succ 5
6

Prelude> max 3 7
7

Prelude> min 3 7
3

Prelude> take 5 [1..]
[1,2,3,4,5]

Prelude> sum [1..10]
55

Prelude> let x = 5
Prelude> x
5

Prelude> let y = x + 3
Prelude> y
8

Prelude> let double n = n * 2
Prelude> double 10
20

Prelude> :{
Prelude| let factorial n
Prelude|     | n <= 0    = 1
Prelude|     | otherwise = n * factorial (n - 1)
Prelude| :}
Prelude> factorial 5
120

-- 显示帮助
Prelude> :?
Prelude> :help

-- 显示命令列表
Prelude> :commands

-- 查看类型
Prelude> :type "hello"
"hello" :: [Char]

Prelude> :t 42
42 :: Num a => a

Prelude> :t (+)
(+) :: Num a => a -> a -> a

-- 查看类型信息
Prelude> :info Int
type Int :: *
data Int = GHC.Types.I# GHC.Prim.Int#
...

Prelude> :i Maybe
type Maybe :: * -> *
data Maybe a = Nothing | Just a
...

-- 加载模块
Prelude> :load MyModule.hs
Prelude> :l MyModule.hs

-- 重新加载
Prelude> :reload
Prelude> :r

-- 添加模块
Prelude> :module + Data.List
Prelude> :m + Data.List

-- 移除模块
Prelude> :m - Data.List

-- 设置上下文模块
Prelude> :m Data.List

-- 浏览模块
Prelude> :browse Data.List
(++) :: [a] -> [a] -> [a]
head :: [a] -> a
...

-- 浏览当前模块
Prelude> :browse

-- 查看定义
Prelude> :info map
map :: (a -> b) -> [a] -> [b]
...

-- 执行Shell命令
Prelude> :! ls
Prelude> :! pwd

-- 显示当前目录
Prelude> :show paths

-- 设置选项
Prelude> :set +t    -- 自动显示类型
Prelude> :set +s    -- 显示时间和内存

-- 查看设置
Prelude> :show

-- 编辑文件
Prelude> :edit MyModule.hs
Prelude> :e MyModule.hs

-- 启用跟踪
Prelude> :set +t

-- 每个表达式后显示类型
Prelude> 5
5
it :: Num a => a

Prelude> "hello"
"hello"
it :: [Char]

-- 启用统计
Prelude> :set +s

-- 执行表达式后显示统计
Prelude> sum [1..1000000]
500000500000
(0.10 secs, 64,032,136 bytes)

-- 加载带调试信息的模块
Prelude> :load MyModule.hs

-- 设置断点
Prelude> :break MyModule 10

-- 运行到断点
Prelude> :trace main

-- 继续执行
Prelude> :continue

-- 查看局部变量
Prelude> :show bindings

-- 单步执行
Prelude> :step

-- 查看Core代码
Prelude> :set -ddump-simpl
Prelude> let f x = x + 1

-- 查看汇编代码
Prelude> :set -ddump-asm

-- 显示类型
:set +t

-- 显示提示符
:set prompt "λ> "

-- 常用导入
:m + Data.List
:m + Data.Char
:m + Data.Maybe

-- 定义常用函数
let ll = load
let r = reload

-- 启动时执行命令
ghci -e "putStrLn \"Hello\""

-- 加载特定模块
ghci MyModule.hs

-- 设置包标志
ghci -package mypackage

-- 在GHCi中设置
Prelude> :set prompt "ghci> "

-- 或在配置文件中
:set prompt-cont "   | "

-- 测试函数
Prelude> let quicksort [] = []
Prelude|     quicksort (x:xs) = quicksort smaller ++ [x] ++ quicksort larger
Prelude|         where
Prelude|             smaller = [a | a <- xs, a <= x]
Prelude|             larger = [b | b <- xs, b > x]
Prelude| 
Prelude> quicksort [3,1,4,1,5,9,2,6]
[1,1,2,3,4,5,6,9]

Prelude> 1 + 2
3
Prelude> it * 2
6
Prelude> it + 10
16

-- 使用上下箭头浏览历史
-- Ctrl+R 搜索历史

Prelude> map<tab>
map      mapM      mapM_      mapAccumL      mapAccumR

-- 查找包含特定字符串的函数
Prelude> :! grep -r "sort" ~/.ghcup/...

-- 安装包
Prelude> :! cabal install mypackage

-- 或使用Stack
Prelude> :! stack build mypackage

-- 使用:type检查
Prelude> :type myFunction

-- 启用类型调试
Prelude> :set -fprint-explicit-foralls

-- 增加堆大小
Prelude> :set +RTS -H128m -RTS