Difference between revisions of "Read-eval-print loop"

From PKC
Jump to navigation Jump to search
 
(8 intermediate revisions by the same user not shown)
Line 1: Line 1:
As stated in Wikipedia's explanation on [[wikipedia:Read-eval-print loop|Read-evaly-print loop]], (abbreviated as [[wikipedia:Read-eval-print loop|REPL]]) 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

How to use the Node.js REPL


References

  1. 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. 
  2. 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