Basic IO

All Charm scripts automatically import a library called world.ch. This contains some commands and types that let you perform basic IO.

It does this in ways that are entirely extensible and customizable: you can use Charm to talk to whatever applications or devices your OS can talk to. We will discuss how to write libraries for such purposes in the section on Advanced Charm. For now, let's look at the contents of the built-in world library.

get

get commands perform input. They typically take the form get <variable name> from <source>. Apart from the commands for handling SQL and micro services, the following commands are available:

• get x from File(<string>) sets x equal to the contents of the given file.
• get x from File(<string>, <type>) sets x equal to the contents of the given file as a string if the type is string, and broken into a list of strings at the newlines of the file if the type is list.
• get x from FileExists(<string>) sets x equal to true or false depending on whether the file does in fact exist.
• get x from Input(<string>) sets x equal to the response we get when prompting the end-user with the given string.
• get x from Random(<integer>) sets x equal to a random integer less than the supplied integer.
• get x from Random(<list>) sets x equal to a random element of the list.
• get x from UnixClock(<TimeUnit>) sets xequal to the Unix epoch in the given unit, whereTimeUnitis an enum with valuesSECONDS, MILLISECONDS, and NANOSECONDS`.

put, post, and delete

These commands are used to perform output. Their individual meanings are based on HTTP:

• put represents output which would have the same effect if you did it several times as if you did it once, such as writing a file to disc.
• post represents output which has a distinct effect each time you do it, such as writing text to the terminal.
• delete is always implemented so that if the thing to be deleted already doesn't exist, this is counted as a success rather than an error.

Apart from the commands for handling SQL and micro services, the following commands are available:

• put (<int>) into RandomSeed() seeds the random number generator.
• put (<string>) into File(<filename>) puts the given string into the file, creating it if it doesn't exist.
• post (<tuple>) to Terminal() posts the values given to the terminal.
• post (<tuple>) to Outpus() posts the values given to the current output. The difference between this and the previous case are explained later. For now we recommend that you use Output() rather than Terminal().
• delete File(<filename>) deletes the given file.