2 模組（Module）

2.1 檔案

racket 的每一個檔案本身都會是一個模組(module)，例如：

;;; hello.rkt

#lang racket

(provide print-hello)

(define (print-hello)

(printf "Hello~n"))

對同一個目錄的檔案來說就可以用

(require "hello.rkt")

引用這個模組中的定義。racket 將 require 後的字串解析為相對路徑，所以也可以用 "../xxx.rkt" 等方式引用。

2.2 Collection

Collection 是已安裝的一群模組，引用 Collection 是用沒有檔案類型類後綴的路徑，下面引用了在 Collection "racket" 中的 module "date.rkt"

(require racket/date)

(printf "Today is ~s\n"

(date->string (seconds->date (current-seconds))))

除了內建的 Collection，可以用 raco pkg 指令取得第三方程式庫：

raco pkg install cur

2.3 專案

可以用以下指令生成新的專案(開發新的 Collection)：

raco pkg new <collection-name>

raco pkg install --auto

注意 install –auto 那行不能省略，不然會看到 test 指令瘋狂失敗(笑)。

2.3.1 測試

測試在實際的工作上非常有用，而 Racket 也支援這樣的功能，我們在任意一個專案中的檔案都可以寫測試。首先需要宣告一個特殊的模組，用 module+ 這個特殊的 form 來宣告一個 submodule，並引入 rackunit 這個單元測試框架：

(module+ test

(require rackunit))

(module+ test

(check-eq? 1 2))

submodule 可以重複宣告，對我們來說只要知道最後會被認為是同一個 submodule 就可以了，因此我們也可以寫成

(module+ test

(require rackunit)

(check-eq? 1 2))

然後用指令 raco test . 執行測試。

2.3.2 Executable

如果要開發 executable，在 main.rkt(生成的專案裡會有) 裡的 module+ main 裡面寫的程式就是 executable 會執行的東西，另外引用這個 collection 並不會執行到這些程式。可以用指令 racket -l <collection-name> 來執行 collection。

2.3.3 清理

如果未來刪除這個 collection 目錄，也要記得刪除 raco 中的紀錄：

raco pkg remove <collection-name>

不然就會造成 raco 在其他專案使用時一直找不到該 collection 而沒辦法正常運作。

2.4 #lang

#lang 是 racket 的語言核心，這是 racket 裡面唯一不可以拿掉的部分，事實上 #lang xxx 代表的是以 xxx 包裹這個模組的意思。語法僅僅是表象這個說法在 racket 中發揮的淋漓盡致，最常見的 module language 就是 racket、racket/base。例如說我們可以在 REPL 裡面打：

暫時不用理解 provide 裡面 except-out rename-out 等等奇怪的東西。我們只關心 module 語法，它接受 name 以及一個可選參數 module。這個 module provide 的 form 會成為該 module 的語言基礎。而 #lang 也只是 module 的語法糖。

#lang s-exp "html.rkt"

(title "Queen of Diamonds")

(p "Updated: " ,(now))

如果有 html.rkt 這個 module，s-exp "html.rkt" 就是 (module <file-name> "html.rkt") 而已。