Hop

Paradigms	multi-paradigm programming, functional programming, multitier programming
Typing discipline	dynamic typing, strong typing
First appeared	2006
Type	programming language
Influenced by	Scheme
License	GNU General Public License, version 2.0 or later
Latest version	3.1.0
Website	hop.inria.fr
Written in	Scheme
Operating systems	GNU/Linux