Read–eval–print loop explained

A read–eval–print loop (REPL), also termed an interactive toplevel or language shell, is a simple interactive computer programming environment that takes single user inputs, executes them, and returns the result to the user; a program written in a REPL environment is executed piecewise. The term usually refers to programming interfaces similar to the classic Lisp machine interactive environment. Common examples include command-line shells and similar environments for programming languages, and the technique is very characteristic of scripting languages.[1]

History

In 1964, the expression READ-EVAL-PRINT cycle is used by L. Peter Deutsch and Edmund Berkeley for an implementation of Lisp on the PDP-1.

The 1974 Maclisp reference manual by David A. Moon attests "Read-eval-print loop" on page 89, but does not use the acronym REPL.

Since at least the 1980s, the abbreviations REP Loop and REPL are attested in the context of Scheme.[2] [3]

Overview

In a REPL, the user enters one or more expressions (rather than an entire compilation unit) and the REPL evaluates them and displays the results.[4] The name read–eval–print loop comes from the names of the Lisp primitive functions which implement this functionality:

The development environment then returns to the read state, creating a loop, which terminates when the program is closed.

REPLs facilitate exploratory programming and debugging because the programmer can inspect the printed result before deciding what expression to provide for the next read. The read–eval–print loop involves the programmer more frequently than the classic edit–compile–run–debug cycle.

Because the print function outputs in the same textual format that the read function uses for input, most results are printed in a form that could be copied and pasted back into the REPL. However, it is sometimes necessary to print representations of elements that cannot sensibly be read back in, such as a socket handle or a complex class instance. In these cases, there must exist a syntax for unreadable objects. In Python, it is the <__module__.class instance> notation, and in Common Lisp, the #<whatever> form. The REPL of CLIM, SLIME, and the Symbolics Lisp Machine can also read back unreadable objects. They record for each output which object was printed. Later when the code is read back, the object will be retrieved from the printed output.

REPLs can be created to support any text-based language. REPL support for compiled languages is usually achieved by implementing an interpreter on top of a virtual machine which provides an interface to the compiler. For example, starting with JDK 9, Java included JShell as a command-line interface to the language. Various other languages have third-party tools available for download that provide similar shell interaction with the language.

Uses

As a shell, a REPL environment allows users to access relevant features of an operating system in addition to providing access to programming capabilities. The most common use for REPLs outside of operating system shells is for interactive prototyping.[5] Other uses include mathematical calculation, creating documents that integrate scientific analysis (e.g. IPython), interactive software maintenance, benchmarking, and algorithm exploration.

Lisp specifics

Implementation

A minimal definition is: (define (REPL env) (print (eval env (read))) (REPL env))

where env represents initial eval-uation environment. It is also assumed that env can be destructively updated by eval.

Functionality

Typical functionality provided by a Lisp REPL includes:

See also

External links

Notes and References

  1. Book: The Computing Universe: A Journey through a Revolution. Tony. Hey. Gyuri. Pápay. Cambridge University Press. 2014. 978-1-316-12322-5. 76., "A major characteristic of modern scripting languages is their interactivity, sometimes referred to as a REPL programming environment. ... The characteristics of ease of use and immediate execution with a REPL environment are sometimes taken as the definition of a scripting language.".
  2. Book: Smith . Jerry D. . An introduction to Scheme . 1988 . Englewood Cliffs, N.J. : Prentice Hall . 978-0-13-496712-7 . 8 .
  3. Web site: Hanson . Chris . rep.scm -- Initial 1986 revision of MIT-Scheme . GitHub . 11 June 2023 . 1986.
  4. Book: Grillmeyer, O. . Exploring Computer Science with Scheme . Springer New York . Undergraduate Texts in Computer Science . 2013 . 978-1-4757-2937-5 . 2021-06-26 . 239 . "The central component to the Scheme interpreter is the read-eval-print loop. Commands are read in, then evaluated. Finally, the evaluated result is printed.".
  5. van Binsbergen . L. Thomas . Verano Merino . Mauricio . Jeanjean . Pierre . van der Storm . Tijs . Combemale . Benoit . Barais . Olivier . Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software . A principled approach to REPL interpreters . ACM . New York, NY, USA . 2020-11-17 . 84–100 . 978-1-4503-8178-9 . 10.1145/3426428.3426917 .