mirror of
https://github.com/erg-lang/erg.git
synced 2025-12-23 05:36:48 +00:00
801 B
801 B
REPL
運行不帶參數的 erg 命令會調用 REPL。它也可以用 repl 子命令調用
此外，您可以指定以下標志:
- show-type: 顯示對象及其類型
$ erg repl --show-type
Erg interpreter ... (tags/?:, ...) on ...
>>> 1
1: {1}
>>> id x = x
id = <function id>: |T: Type| T -> T