Strings

Strings use double quotes.

code
let name = "Donna"

Concatenate strings with <>.

code
fn greet(name: String) -> String:
  "Hello " <> name

Donna supports common escape sequences.

code
pub fn main() -> Nil:
  echo "line one\nline two"
  echo "tab\tseparated"
  echo "quote: \"Donna\""

Unicode escapes use \u{...}.

code
pub fn main() -> Nil:
  echo "\u{001b}[38;5;208morange text\u{001b}[0m"

The standard library adds helpers for day-to-day string work.

code
import donna/string

pub fn main() -> Nil:
  let slug = string.to_slug("Language Tour")
  echo slug
← PreviousFunctions