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
import donna/io

pub fn main() -> Nil:
  io.println("line one\nline two")
  io.println("tab\tseparated")
  io.println("quote: \"Donna\"")

Unicode escapes use \u{...}.

code
import donna/io

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

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

code
import donna/io
import donna/string

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