Difference between revisions of "Read-eval-print loop"
Jump to navigation
Jump to search
| (6 intermediate revisions by the same user not shown) | |||
| 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. | {{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><ref>{{:Paper/Bacatá: A Language Parametric Notebook Generator}}</ref>. | ||
=Tutorial= | |||
[https://nodejs.dev/en/learn/how-to-use-the-nodejs-repl/ How to use the Node.js REPL] | |||
<noinclude> | |||
{{PagePostfix | {{PagePostfix | ||
|category_csd=REPL,Shell,Hoare Triple | |category_csd=REPL,Shell,Hoare Triple,Universal construction,Monoid | ||
}} | }} | ||
</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