Pull

The pull keyword is a high level construct for reading console input.

Syntax

pull{::['type']}{("'text prompt'")}

---

1. pull

• Pull statements begin with the pull keyword.

2. type ^(optional)

• Pull statements can define a specific required type.
• If the type does not match, the program will attempt to read input until it does.

3. text prompt ^(optional)

• Pull statements support printing a prompt before accepting input.

---

Examples

val anyInput = pull // will accept any value, and will store it as a string

val intInput = pull::[Int]("please enter an integer: ")
push "You entered $intInput"