Read-eval-print loop
(Redirected from REPL)
Jump to navigation
Jump to search
Read-eval-print loop(Q2032810), a.k.a. REPL, As stated in Wikipedia's explanation on Read-evaly-print loop, is also known as language shell or interactive toplevel. It is a technical realization of Hoare Triple in the arena of interactive programming tools. This can be directly mapped to the request-response loop in HTTP communication. Therefore, the Logic Model in PKC will leverage this pervasive programming pattern to manage various APIs, runtime environments, and third-party software libraries. A paper on how to implement REPL is available here[1][2].
Tutorial
References
- ↑ van Binsbergen, L. Thomas; Verano Merino, Mauricio; Jeanjean, Pierre; van der Storm, Tijs; Combemale, Benoit; Barais, Olivier (November 2020). "A principled approach to REPL interpreters" (Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software). local page: ACM SIGPLAN: 84–100.
- ↑ Verano Merino, Mauricio; Vinju, Jurgen; van der Storm, Tijs (November 9, 2018). "Bacatá: A Language Parametric Notebook Generator" (PDF). local page: 11th ACM SIGPLAN International Conference on Software Language Engineering.
Related Pages