Brent Kerby (bkerby at byu dot net). Completed June 19, 2002. Updated February 5, 2007. Introduction A Few Combinators: swap, dup, zap, unit, cat, cons, i, dip Lambdas An Abstraction Algorithm The sip Combinator Schemes of Combinators: dign, buryn Another Combinator Scheme: flipn Two More Schemes: dipn, sipn Applicative Combinators: w, k, b, c, s Towards a Minimal Base: {cons, sip, k} A Smaller Ba
Joy is a concatenative, functional programming language created by Dr. Manfred von Thun. For many years, Joy's homepage was hosted by La Trobe University, but in May 2011 the original site went down. Hoping to preserve the legacy of this fascinating language, I have cobbled together most of the contents of the original Joy website here. If you have additional things to contribute to this mirror, p
_ [言語] Concatenative Lispがブラックホールのような存在だと言われることの原因の一つに、現代的なプログラム言語の多くがlambda calculusを理論的な核にしていることが挙げられるのではないかしらん。 そしてlambda calculusへのマッピングでの理解が困難な言語は、一般に、抽象度の低い原始的な言語であると理解されてきた面が否めないのではなかろうか。 今、lambda calculusベースの言語を仮に「ラムダの子」と呼ぶとする。 「ラムダの子」は数が多く、そしてまた多くの言語がこれら「ラムダの子」の眷属となっている。 ところで、ある少数の言語は「ラムダの子」たちとは異なった生い立ちを持っていた。 このような言語にはAPLやJ、BackusのFPやその一族などがある。 彼らはcombinatory logicあるいはFP systemと呼ばれ
I am confused. I understand that the language Joy is regarded as a functional language. It also seems that is closer to Backus' FP than, say, Haskell. The Joy FAQ (http://www.latrobe.edu.au/philosophy/phimvt/joy/faq.html) states that it is functional because expressions are functions operating on a stack, and juxtaposition is function composition. That definition feels (to me) like cheating. Could
Presented at the 17-th EuroForth Conference (23-26 November 2001, Schloss Dagstuhl, Saarbruecken, Germany) by Reuben Thomas, on my behalf and with my thanks. Synopsis of the language Joy The language Joy is a purely functional programming language. Whereas all other functional programming languages are based on the application of functions to arguments, Joy is based on the composition of functions
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く