Difference between revisions of "Read-eval-print loop"
Jump to navigation
Jump to search
| Line 1: | Line 1: | ||
{{WikiEntry|key=Read-eval-print loop|qCode=2032810}}, a.k.a. [[REPL]], As stated in Wikipedia's explanation on [[wikipedia:Read-eval-print loop|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, [[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<ref>{{:Paper/A principled approach to REPL interpreters}}</ref>. | {{WikiEntry|key=Read-eval-print loop|qCode=2032810}}, a.k.a. [[REPL]], As stated in Wikipedia's explanation on [[wikipedia:Read-eval-print loop|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<ref>{{:Paper/A principled approach to REPL interpreters}}</ref>. | ||
<noinlcude> | <noinlcude> | ||
Revision as of 07:44, 24 November 2022
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].
<noinlcude>
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.
Related Pages