Ditt första program
Skriv en funktion som en tabell, kör den med ridgunc run och bygg en nativ körbar fil.
Skapa en fil som heter 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 "")
Läs den som en tabell. Den första raden är signaturen: greet tar en String och ger en String. Varje rad under den är en klausul, och den första klausul vars mönster matchar argumentet ger svaret. {name} inuti en sträng sätter in värdet av name på den platsen.
Kör programmet
ridgunc run hello.rg
Hello, Ada! Welcome to Ridgun.
Hey there, Root! Careful what you delete today.
Hello, mysterious traveler!
ridgunc run kompilerar filen och kör den direkt. ridgunc check hello.rg kontrollerar bara typerna, vilket är det snabbaste sättet att hitta ett fel.
Bygg en körbar fil
ridgunc build hello.rg -o hello
./hello
hello är en statisk körbar ELF64-fil. Kopiera den till vilken Linuxdator som helst med samma processor så går den att köra: det finns ingen körtidsmiljö att installera.
Vakter
När valet beror på ett villkor snarare än ett mönster använder du vakter. Varje |-rad prövas i tur och ordning:
fn :: size Int => String
size n =
| n == 0 = "nothing"
| n < 100 = "small"
| otherwise = "large"
Nästa steg är att starta ett projekt med stable.