diary2004-09-30■しかし、なんだ、このPythonといい、Rubyといい、由緒正しきインクリメント演算子を否定するかのような風潮は。思ったけど、+=1って書いてもタイプ数一個しか変わらんとも思った。おっと、なんでosdevに...http://wiki.osdev.info/index.php?%CC%B5%C2%CC%C3%CE%BC%B1osdevっていうと、おとといくらいに、「OSASKとかmonaとかosdevは楽しそうでいいなぁ...」みたいなことを書こうかと思ってたところだったので、まあ、なんだ、だからどうしたって話なんだけど。これほどまでに、俺OSが人気(かどうかはわからないけど)になってるっていうのには、「はじめて読む486」の影響が大きいんじゃないかなぁ...。あれ読んでるとOS作りたくなってくるし。OSとかになってくると、作りたいからといって作れるわけではないけど、それでも「作りたい」って思うのは必須なわけで、それを考えると、OS人気と「はじめて読む」は切っても切れない関係にあるんじゃないかな、と、思う。いうのはどうでもいいとして、日本の俺言語コンパイラってそれに比べると寂しいよなぁ...っていう話だ。僕が知ってるところでは、Queenぐらい。あと、ygs2kとかもかろうじてコンパイラか。ここらへんの原因は聖書ドラゴン本がいきなりオートマトンの話とかしちゃってるのが「はじめてよむ486」に比べて駄目なんだと思うけど、どうなんだろうか。ドラゴン本が聖書たるのはそういう基礎理論がしっかり書いてあるからなんだろうけど、その影響でコンパイラ本って「丸と線のグラフ」の絵ばっかりになってるんだよなぁ...まあ、いいか。あと、日本国産言語っていうと、織田信長が一番に出てくる僕の脳は大好きだ。00:00しかし、なんだ、このPythonといい、Rubyといい、由緒正しきインクリメント演算子を否定するかの...Tweet広告を非表示にするもっと読むコメントを書く2004-09-30「それは、なんですか」の、「それ」は、なんですか?文脈理解で擬似自然言語プログラミングか...!?という話。最近ちょい話題になってるひまわりなんだけど、この紹介を見て、ちょっと見た目のネタっぽさ(失礼)からは想像できない実力を感じてしまったわけだ。それっぽく書けるように見える。あー、このトリックはどうなってんだ?と思って、まとめっぽいのをちょい読んでみる。うーん、あまり細かく読んだわけではないし、実際に動作させたわけではないけど、大体わかってきた。いっこめは、助詞、助動詞を引数とともに命令にわたす感じ?「副詞付き引数」とでも呼ぶべきだろうか。"B"+まで)というふうになってて、あと、それをどう料理するかはライブラリ次第、っていうふうにすればなんとなく説明できるような気がする。いっこは、「それ」変数の利用、のような感じがする。出力先を指定しなかった場合は出力は「それ」変数に入れられる。引数を指定しなかった場合は「それ」変数から値を取ってくる...って、まんまPerlの$_変数のような匂いがするのだが。Larryは間違っていなかった。英語だからわかんなかったけど、暗黙の変数っていうのは、自然言語の匂いを出すことが可能になってるのだ。口語ではいちいち説明してたら、くどいから、直前のものを指定する場合は特に何も指定しないのが普通。よーするに、「そのぐらい文脈から理解してくれ」っていうことだ。ここで、ふと思うのである。変数一個でこれほどまでに文脈っぽいものを実現できて、しかも、それっぽく見えるんだったら、文脈っていうのをもっと拡大してなんとかしたらもっとそれっぽくなるんじゃないだろうか。こんな感じでどうだろうか。実行時には、常に一個の文脈環境というものが存在する。その他色々な者を含んでいる。ありとあらゆる関数は、その文脈環境を適当に(ここでの「適当」は正しい意味での「適当」)使用したり操作したりすることが許されている。各構文要素さえもそういった使用や操作が許される。みたいな感じにしとく。「成功」と表示するこういうのがあったとする。「失敗」と表示するとなっていたら、否定で成立してるので、失敗度がプラス。