readline()

readline()

function readline(?string $prompt = null): mixed

Reads a line from the user’s terminal.

Parameters:

• $prompt (?string), default null, optional

Returns: mixed

Availability

• Compiled (AOT): supported by the Elephc code generator.
• eval() (magician interpreter): supported — declarative interpreter builtin (crates/elephc-magician/src/interpreter/builtins/filesystem/readline.rs).

No examples yet — check examples/ and showcases/ for usage patterns.

Internals

For how readline is implemented in the compiler, see the internals page.