モナドの謎ってのは,世間一般で思われているのよりも根元的な意味で深いのかもしれないし,どうでも良いのかもしれない このエントリ、いい。 Forth界に衝撃を与えた(?)これらの記事[言語] Concatenative、[言語][Forth][Joy] それは逆ポーランドじゃない(1)から、関数合成ベースの発想。 何だか、関連がありそうに思えて来る。 ところで、何故、Forthは、スタックを好きなだけ作れないんだろう。変数でも、世界全部でも、何でも適当に名付けたスタックに載せて、次のwordに渡せばいいのに(スタック渡しか?)。この辺り、読み落としてるっぽいなぁ。 データが、じゃなくて、構造が、だな。 2007.01.31 え〜と、考え中だけれど。Forthの関数(ワード)は、与えられるデータに、何らかの構造を想定したものだよね。で、構造が明記されるのは、ワード定義側だよね。だから、何だっけ
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
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
Captcha security check cdiggins.com is for sale Please prove you're not a robot View Price Processing
_ [言語] Concatenative Lispがブラックホールのような存在だと言われることの原因の一つに、現代的なプログラム言語の多くがlambda calculusを理論的な核にしていることが挙げられるのではないかしらん。 そしてlambda calculusへのマッピングでの理解が困難な言語は、一般に、抽象度の低い原始的な言語であると理解されてきた面が否めないのではなかろうか。 今、lambda calculusベースの言語を仮に「ラムダの子」と呼ぶとする。 「ラムダの子」は数が多く、そしてまた多くの言語がこれら「ラムダの子」の眷属となっている。 ところで、ある少数の言語は「ラムダの子」たちとは異なった生い立ちを持っていた。 このような言語にはAPLやJ、BackusのFPやその一族などがある。 彼らはcombinatory logicあるいはFP systemと呼ばれ
Contents: "What is a functional language ?" "What really is expression evaluation ?" "What is an applicative functional language ?" "Do functional languages need function application ?" "What might a compositional functional language be ?" "What is a concatenative functional language ?" "Why distinguish between postfix and concatenative notation ?" "What is an environment ?" "Is an environment nee
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く