## 概要
GHCi とは GHC の [[REPLとは|REPL]] 環境で、[[Haskell MOC|Haskell]] の式をインタープリタ形式で評価したり、解釈実行できる。
ターミナルから `ghci` で REPL を起動して、`:q` または `:quit` で ghci を抜けれる。
```sh
❯ ghci
GHCi, version 9.4.7: https://www.haskell.org/ghc/ :? for help
ghci> :q
Leaving GHCi.
```
## ファイルを読み込む
`:l` (`:load`) コマンドで Haskell のソースファイルを GHCi にロードできる。
```haskell
-- hello.hs
main = putStrLn "Hello World!"
```
例えば、上記のような `hello.hs` という Haskell のソースファイルは以下のようにすることで ghci 内で読み込むことができる。
```sh
ghci> :l hello.hs
Hello World!
```
## 式の型を調べる
src: [[Book_すごいHaskellたのしく学ぼう！|すごいHaskell楽しく学ぼう！]] p24
`:t` コマンドに続いて式を入力すればその式の型を調べることができる。
```sh
ghci> :t 'a'
'a' :: Char
ghci> :t True
True :: Bool
ghci> :t "Hello"
"Hello" :: String
ghci> :t (True, 'a')
(True, 'a') :: (Bool, Char)
ghci> :t 4 == 5
4 == 5 :: Bool
```