Joy (programming language): Difference between revisions

Revision as of 19:46, 30 August 2007

Latest revision as of 13:51, 24 May 2025

(126 intermediate revisions by 91 users not shown)

Line 1:

{{Short description|Programming language}}

{{Original research|date=May 2009}}

{{Infobox programming language

|name = Joy

|logo =

|paradigm = [[multi-paradigm programming language|multi-paradigm]]: [[functional programming|functional]], [[concatenative programming language|concatenative]], [[Stack-oriented programming language|stack-oriented]]

|year = 2001

|designer = [[Manfred von Thun]]

|developer = Manfred von Thun, <br>John Cowan

|latest release version = [[March 17]], [[2003]]

|latest release date = [[March 17]], [[2003]]

|typing = [[strong typing|strong]], [[dynamic typing|dynamic]]

|implementations = Joy0, Joy1, "Current Joy", "John Cowan's Joy", "JoyJ (Joy in jvmm)"

|dialects =

|influenced_by = [[ForthScheme (programming language)|ForthScheme]], [[SchemeFP (programming language)|SchemeFP]], [[CForth (programming language)|CForth]]

|influenced = [[Factor (programming language)|Factor]], [[Cat (programming language)|Cat]], [[V, (programming language)|V]]Trith

}}

The '''Joy programming language''' in [[computer science]] is a purely [[purely functional programming language]] that was produced by Manfred von Thun of [[LatrobeLa Trobe University]] in [[Melbourne]], [[Australia]]. Joy is based on composition of functions rather than [[lambda calculus]]. It haswas turnedinspired outby tothe have[[Function-level manyprogramming|function-level similaritiesprogramming tostyle]] of [[ForthJohn Backus]]'s [[FP (programming language)|ForthFP]].<ref>{{cite web|title=A Conversation with Manfred von Thun|author=Manfred von Thun|url=http://www.nsl.com/papers/interview.htm|access-date=May 31, due2013|date=December less12, to2003|quote=" designIn thanthe toearly a1980s sortI ofcame parallelacross evolutionthe famous Backus paper "Can programming be liberated from the von Neumann style," and convergenceI was immediately intrigued by the higher level of programming in his FP."}}</ref>

It has turned out to have many similarities to [[Forth (programming language)|Forth]], due not to design but to an independent evolution and convergence.{{Citation needed|date=October 2024}}

== Overview ==

Joy is unusual (except for [[function-level programming]] languages and some esoteric ones, such as [[unlambda]]) in its lack of a [[lambda calculus|lambda]] operator, and therefore lack of [[Parameter (computer science)|formal parameters]]. To illustrate this with a common example, here is how the square function might be defined in an [[imperative programming language]] ([[C (programming language)|C]]):

Functions in Joy lack [[Parameter (computer science)|formal parameters]]. For example, a function that squares a numeric input can be expressed as follows:<ref>{{cite web|title=An informal tutorial on Joy |url=http://www.latrobe.edu.au/phimvt/joy/j01tut.html |url-status=dead |archive-url=https://web.archive.org/web/20111007030359/http://www.latrobe.edu.au/phimvt/joy/j01tut.html |archive-date=October 7, 2011 }}</ref>

int square(int x) {

return x*x;

}

DEFINE square == dup * .

The variable x is a formal parameter which is replaced by the actual value to be squared when the function is called. Now here's how the same function would be defined in a [[functional programming|functional]] language ([[Scheme (programming language)|scheme]]):

In Joy, everything is a function that takes a [[stack (data structure)|stack]] as an argument and returns a stack as a result. For instance, the numeral '5' does not represent an integer constant, but instead a short program that pushes the number 5 onto the stack.

(define square

(lambda (x)

(* x x)))

* The '''dup''' operator simply duplicates the top element of the stack by pushing a copy of it.

This is different in many ways, but it still uses the formal parameter x in the same way. Now here is how the square function would be defined in Joy:

* The '''*''' operator pops two numbers off the stack and pushes their product.

So the square function makes a copy of the top element, and then multiplies the two top elements of the stack, leaving the square of the original top element at the top of the stack, with no need for a formal parameter. This makes Joy concise, as illustrated by this definition of [[quicksort]]:<ref>{{cite web|title=Sequence Library |url=http://www.latrobe.edu.au/phimvt/joy/seqlib.joy |url-status=dead |archive-url=https://web.archive.org/web/20111007030359/http://www.latrobe.edu.au/phimvt/joy/seqlib.joy |archive-date=October 7, 2011 }}</ref>

DEFINE square == dup * .

<pre><nowiki>

To explain: In Joy, everything is a function that takes a [[stack (data structure)|stack]] as an argument and returns a stack as a result. For instance, the number 5 is not, as it might appear to be, an integer constant, but instead a short program that pushes the number 5 onto the stack. The + operator pops two numbers off the stack and pushes their sum. The dup operator simply duplicates the top element of the stack by pushing a copy of it. So this definition of the square function says to make a copy of the top element and then multiply the two top elements, leaving the square of the original top element on top of the stack. There is no need for a formal parameter at all. This design gives Joy conciseness and power, as illustrated by this definition of [[quicksort]]:

DEFINE qsort ==

[small]

[]

[uncons [>] split]

[[swap] dipswapd cons concat]

binrec .

</nowiki></pre>

== Mathematical purity ==

<pre>

Joy is a [[concatenative programming language]]: "The concatenation of two programs denotes the composition of the functions denoted by the two programs".<ref>{{cite web|title=Mathematical Foundations of Joy |url=http://www.latrobe.edu.au/phimvt/joy/j02maf.html |url-status=dead |archive-url=https://web.archive.org/web/20111007025556/http://www.latrobe.edu.au/phimvt/joy/j02maf.html |archive-date=October 7, 2011 }}</ref>

<nowiki>

DEFINE qsort ==

[small]

[]

[uncons [>] split]

[[swap] dip cons concat]

binrec .

</nowiki>

</pre>

== See also ==

"binrec" is one of Joy's many [[recursion|recursive]] [[combinator]]s, implementing binary recursion. It expects four quoted programs on top of the stack which represent the termination condition (if a list is "small" (1 or 0 elements) it is already sorted), what to do if the termination condition is met (in this case nothing), what to do by default (split the list into two halves by comparing each element with the pivot), and finally what to do at the end (insert the pivot between the two sorted halves).

* [[RPL_(programming_language)|RPL]]

== Mathematical purity ==

* [[Concatenative programming language]]

== References ==

One of the most appealing aspects of Joy is this: the [[meaning]] function is a [[homomorphism]] from the [[syntax|syntactic]] [[monoid]] onto the [[semantics|semantic]] [[monoid]]. That is, the syntactic relation of [[concatenation]] of [[symbol]]s maps directly onto the semantic relation of [[Function composition|composition]] of [[function (mathematics)|functions]]. It is a [[homomorphism]] instead of an [[isomorphism]] because it is [[onto]] but not [[one-to-one]], that is, some sequences of symbols have the same meaning (e.g. "dup +" and "2 *") but no symbol has more than one meaning.

<references/>

== External link links==

Joy manages to be practical and potentially useful, unlike the otherwise similar [[Unlambda]]. Its library routines mirror those of ISO [[C (programming language)|C]], though the current implementation is not easily extensible with functions written in C.

* {{Webarchive|url=https://web.archive.org/web/20120907202347/https://www.latrobe.edu.au/phimvt/joy.html|title=Official Joy Programming Language Website (La Trobe University)}}

* [http://www.kevinalbrecht.com/code/joy-mirror/index.html Joy homepage mirror]

== External link ==

* [https://github.com/Wodan58/Joy Joy source code] (GitHub-Archive)

*[http://www.latrobe.edu.au/philosophy/phimvt/joy.html Joy homepage]

* {{cite journal|first=Paul|last=Freneger|authorlink=Paul Freneger|title=The JOY of forth|journal=[[ACM SIGPLAN Notices]]|volume=38|issue=8|date=August 2003|url=http://portal.acm.org/citation.cfm?id=944579.944583 |pages=15–17 |doi=10.1145/944579.944583|url-access=subscription}}

* {{cite journal|first1=Manfred|last1=von Thun|authorlink1=Manfred von Tuhn|first2=Reuben|last2=Thomas|authorlink2=Reuben Thomas|title=Joy: Forth's Functional Cousin|journal=Proceedings of the 17th EuroForth Conference|url=http://www.complang.tuwien.ac.at/anton/euroforth/ef01/thomas01a.pdf|date=October 9, 2001}}

* {{Cite web| url = http://www.drdobbs.com/architecture-and-design/228701299 | author = Christopher Diggins | title = What is a Concatenative Language | date = December 31, 2008 | publisher = Dr. Dobbs | volume =33}}

* {{cite journal|first=Stevan|last=Apter|title=Functional Programming in Joy and K|journal=Vector|url=http://www.vector.org.uk/archive/v214/joy214.htm|access-date=2011-02-28|archive-url=https://web.archive.org/web/20080828115345/http://www.vector.org.uk/archive/v214/joy214.htm|archive-date=2008-08-28|url-status=dead}}

* [https://github.com/metazip/mjoy mjoy, an interpreter in Lazarus for drawings with turtle graphics] (Subset of Joy)

* [https://concatenative.org/wiki/view/Joy%20of%20Postfix Joy of Postfix Calculator App] (Subset of Joy)

[[Category:Programming languages]]

Line 61 ⟶ 68:

[[Category:Stack-oriented programming languages]]

[[Category:Functional languages]]

[[Category:Academic programming languages]]

[[Category:Programming languages created in 2001]]

[[de:Joy]]

[[Category:2001 software]]

[[es:Lenguaje de programación Joy]]

[[Category:Dynamic programming languages]]

[[Category:Dynamically typed programming languages]]

[[Category:High-level programming languages]]