Hop (software)

Institut national de recherche en informatique et en automatique
Formation	1967
Purpose	Research
Region served	France

Hop
Paradigm	multi-paradigm
Designed by	Manuel Serrano
First appeared	2006
Stable release	2.4.2 / September 23, 2013;11 years ago
Typing discipline	strong, dynamic
License	GPL 2+
Website	hop.inria.fr
Influenced by
	Scheme

Last updated February 26, 2025

Hop is a Lisp-like programming language by Manuel Serrano for web 2.0 and also the name of the web broker (server and proxy) that implements this language. It is written in Bigloo Scheme. It is a project funded by INRIA.

Language design

Hop is a stratified language, which means that a single program file contains instructions for both the server and the client. The server executes CPU demanding computations and operations that require system privileges for accessing files or other resources. The clients (of which there may be many such as browsers, cell phones, etc.) are dedicated to executing actions related to the programming of the graphical user interfaces.

(define-service(server-date); 1(current-date)); 2(<HTML>; 4(<BUTTON>; 5:onclick~(with-hop($server-date); 6(lambda(h)(alerth))); 7"Server time")); 8

The code snippet above illustrates a few concepts.

The 8 lines of code define a complete program. Lines 1 and 2 result in a service definition on the server. Lines 4 through 8 result in an HTML page complete with javascript functions. It instructs a client (browser) to display a button with the label "Server time" and to send a request to the server when the user clicks on the button. Hop automatically generates all the instructions needed for the communication between the client and the server.
Hop is based on Scheme. Therefore a Hop program is essentially a list of words and/or lists that start and end with parentheses. For example "(HTML content)". "HTML" is the function name and "content" is the function parameter.
Function names in Hop may contain characters other than letters and numbers. For example "<HTML>" is a valid name. Therefore the syntax of Hop looks very similar to HTML (by design). The Hop expression "(<HTML> content)" is similar to the HTML expression "<HTML>content</HTML>".
HTML parameters start with a colon; for example ":onclick".
The $ character in "$server-date" indicates that the server should substitute the variable name "server-date" with the variable's value before sending the HTML to the client. This is very similar to how ASP and JSP work.
The ~ character in ":onclick ~(...)" indicates that the client should process what is between the parentheses.
The "with-hop" function in "(with-hop (...) (...))" is a special function that delegates work to the server and takes two parameters. The first parameter contains the request the client should send to the server asynchronously. The second parameter contains the callback function that the client should invoke when the response arrives from the server. "(lambda (h) (alert h))" is an anonymous function that takes a single input parameter "(h)", which contains the server response when the function is called. "(alert h)" is the function body.

Issues

Given its recent introduction, Hop currently exhibits a number of weaknesses.

Security is weak. It is an area of active research.^[2]
Network failures are currently handled through manually coded time-out and exception routines, this approach is labor-intensive and relatively unreliable.^[2]

References

↑ http://hop.inria.fr/usr/local/lib/hop/2.2.0/weblets/home/articles/hop-lang/article.html ^{[ dead link ‍]}
1 2 Youtube: HOP: A Language for Programming the Web 2.0 starting at 33:50.

External links

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[1] ttp://hop.inria.fr/usr/local/lib/hop/2.2.0/weblets/home/articles/hop-lang/article.html ^{[ dead link ‍]}

[youtube-2] 1 2 Youtube: HOP: A Language for Programming the Web 2.0 starting at 33:50.

[1]

[2]

Hop (software)

Contents

Language design

Issues

References

External links