El teu primer programa
Escriu una funció com una taula, executa-la amb ridgunc run i compila un executable natiu.
Crea un fitxer anomenat hello.rg:
fn :: greet String => String
greet "" = "Hello, mysterious traveler!"
greet "Root" = "Hey there, Root! Careful what you delete today."
greet name = "Hello, {name}! Welcome to Ridgun."
fn :: main => ()
main =
echo (greet "Ada")
echo (greet "Root")
echo (greet "")
Llegeix-ho com una taula. La primera línia és la signatura: greet rep un String i retorna un String. Cada línia de sota és una clàusula, i respon la primera clàusula amb un patró que coincideix amb l'argument. {name} dins d'una cadena hi posa el valor de name.
Executa'l
ridgunc run hello.rg
Hello, Ada! Welcome to Ridgun.
Hey there, Root! Careful what you delete today.
Hello, mysterious traveler!
ridgunc run compila el fitxer i l'executa tot seguit. ridgunc check hello.rg només comprova els tipus, que és la manera més ràpida de trobar un error.
Compila un executable
ridgunc build hello.rg -o hello
./hello
hello és un executable ELF64 estàtic. Copia'l a qualsevol màquina Linux amb el mateix processador i funcionarà: no cal instal·lar cap runtime.
Guardes
Quan l'elecció depèn d'una condició i no d'un patró, fes servir guardes. Cada línia | es prova per ordre:
fn :: size Int => String
size n =
| n == 0 = "nothing"
| n < 100 = "small"
| otherwise = "large"
A continuació, comença un projecte amb stable.