Modulok
Cayenne modulokat egyszerűen kifejezéseknek nevezzük, amik a globális névtérben vannak. Modul nevek úgy hozhatók létre, hogy $ -t rakunk a nevébe. A modul névtér hierarhikusságot mutat a $ -ral mint név elválasztóval (mint a UNIX elérési utakban a / használata).
Egy modul definíció úgy néz ki mint egy egyszerű definíció, kívéve, hogy
megelőzi a module kulcsszó.
module ::= module [concrete] modid :: type = expr ;
A típus nem szükséges és el is hagyható.
module ::= module [concrete] modid = expr ;
A concrete módosító szó ugyan azt a szerepet játsza itt mint a rekordoknál, azaz
megcsinálhatod a modul értékét ismertté, a típusa helyett.
Példa
Néhány minta modul:
module foo$bar = 42;
module foo$baz =
open System$Int use Int, (+) in
struct {
inc :: Int -> Int;
inc x = x+1;
dec :: Int -> Int;
dec x = x-1;
};
#include
A legtöbb programnak értékekre van szüksége a System modulból. Hogy egyszerűen hozzáférjünk a definiált dolgokhoz a modulban, egyszerűen megnyitjuk (open). Ez azt jelenti, hogy a legtöbb modul open konstruktorokkal indul. Hogy enyhítsük ezt a problémát van néhány előre definiált szöveghalmaz amit belevehetünk egy modulba. Ezek a szövegek egy egyszerű szöveg beillesztéssel - #include - kerülnek be.#include Prelude
beleveszi a következő szöveget
open System$String use * in open System$List use * in open System$Bool use * in open System$Char use * in open System$Int use * in open System$Error use * in open System$IO use * in open System$Tuples use * in open System$HO use * in