色んな言語(stack)のメモ - Personal_NewsN
モナドの謎ってのは，世間一般で思われているのよりも根元的な意味で深いのかもしれないし，どうでも良いのかもしれない このエントリ、いい。 Forth界に衝撃を与えた（？）これらの記事[言語] Concatenative、[言語][Forth][Joy] それは逆ポーランドじゃない(1)から、関数合成ベースの発想。 何だか、関連がありそうに思えて来る。 ところで、何故、Forthは、スタックを好きなだけ作れないんだろう。変数でも、世界全部でも、何でも適当に名付けたスタックに載せて、次のwordに渡せばいいのに（スタック渡しか？）。この辺り、読み落としてるっぽいなぁ。 データが、じゃなくて、構造が、だな。 2007.01.31 え〜と、考え中だけれど。Forthの関数（ワード）は、与えられるデータに、何らかの構造を想定したものだよね。で、構造が明記されるのは、ワード定義側だよね。だから、何だっけ
The Theory of Concatenative Combinators
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
GitHub - cdiggins/cat-language: Cat - a statically typed functional stack-based programming language
Joy: Forth's Functional Cousin
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
HugeDomains.com
Captcha security check cdiggins.com is for sale Please prove you're not a robot View Price Processing
The Log of the No22 - Concatenative
Frequently Asked Questions about Joy
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
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Cat Interpreter in JavaScript with Turtle Graphics | Lambda the Ultimate
http://www.nsl.com/papers/interview.htm
オリジナルのJoyでトレース
Yahoo! Groups
はてなブログ | 無料ブログを作成しよう
はてなブログ | 無料ブログを作成しよう
http://www.netfort.gr.jp/~kiyoka/diary/?date=20070128
The Log of the No22 - 型推論