Difference between revisions of "Read-eval-print loop"
Jump to navigation
Jump to search
| Line 7: | Line 7: | ||
{{PagePostfix | {{PagePostfix | ||
|category_csd=REPL,Shell,Hoare Triple,Universal construction | |category_csd=REPL,Shell,Hoare Triple,Universal construction,Monoid | ||
}} | }} | ||
</noinclude> | </noinclude> | ||
Latest revision as of 05:04, 6 July 2023
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