The Log of the No22 - それは逆ポーランドじゃない

_ [言語][Forth][Joy] それは逆ポーランドじゃない(1) 一応、この前のエントリの続き・・・なのかな？ Joyの（中の人の）指摘として、我々スタック族が使っている記法は、本当は逆ポーランド記法じゃない、というものがあります。 逆ポーランド記法の元となるポーランド記法は、1920年頃ポーランド人論理学者Jan Łukasiewiczによって考案されたものだそーですが、ポーランド記法では括弧を使わなくても式の意味が一意に決まることが利点として知られています。 ということは演算子のarityは既知であることが前提であるわけで、その意味では可変長引数をとるLispの記法もまたポーランド記法ではありません。 さて、それはともかくとして、ポーランド記法を左右反転したものが逆ポーランド記法、そしてその逆ポーランド記法を採用したのがFORTHやPostscriptなどの「スタック族」

[Gemma]

継続 スタック

[tarao]

「一見、数値やリストのリテラルに見えるものも含めてすべてが実はスタックに対する関数である」

[paz3]

FORTHをはじめとするconcatenative言語は、実は逆ポーランド記法ではない（！）という説明をしているページ。非常に興味深いです。

[yugui]

concatenative記法

[ogijun]

ふむ

[mind]

「concatenative言語」では「演算子とオペランド」「関数と引数」のような区別は存在しません。すべてが関数だからです。 ――FORTHは「lambdaの子羊たち」よりも抽象化が進んでいた(…というか原始的Turing完全)だったのかも!

[sshi]

ちゃんと理解できてないけどおもしろそう。JOYって調べてみるか。

[kazy]

スタック族言語の記法