types

# The basic types, and what each literal is.

i = 42            # Int32
big = 4_000_000_000_i64  # Int64, with a suffix
f = 3.14          # Float64
b = true          # Bool
c = 'a'           # Char
s = "text"        # String

puts typeof(i)
puts typeof(big)
puts typeof(f)
puts typeof(b)
puts typeof(c)
puts typeof(s)

# Integer arithmetic stays integer with `//`; `/` gives a Float64.
puts 7 // 2
puts 7 / 2
puts 7 % 2
puts 2 ** 10

Press Run.

recorded with iyi 0.18.0 (built on Crystal 1.22.0-dev [2a9653052] (2026-10-18)) · Linux 7.0.0-38-generic x86_64, QEMU Virtual CPU version 2.5+ · 2026-10-19

You can type in the pane: nothing here compiles, so what you type cannot run, and the page says which bytes it is running the moment the text stops being the recorded file. There is no standard input, no filesystem and no threads on this target, and one sample fails on purpose for exactly that reason.

Run executes types.wasm, the module the compiler built from this file, in your browser. How this works

$ iyi run types.iyi