はてなブックマーク

すみません，半分くらいタイトル詐欺です． コメント文を区別するための記述以外は文字列の配列構文のみを使用しています． もちろん，JSON記述をパースしただけではLISP評価器として動きません． なお，リファレンス実装としてNode.js（JavaScript）で実際に動くようにしています．他の言語でも動くようになったら追記するかも． 【追記】 JSON記述からのS式生成（Schemeインタプリタで実行可能）について追加しました． JSONライブラリを用いてC言語実装を行いました． Python3でも実装しました． 定義してみた目的 面白そうだったから．レキシカルスコープのラムダ式による超循環評価器を他の言語で実装・実行しやすくするため． ダイナミックスコープのラムダ式による超循環評価器は，Paul Graham氏がCommon Lispで実装した"McCarthy's Original L

お遊び記事です．【追記】お遊びのつもりが，とても秀逸な別解がコメント欄に集まりましたので，そちらもぜひ御参照下さい．とりあえず，J言語すげえ． アルゴリズムと実装 主に関数型リスト処理を用いて，$x$を$2〜x-1$の各整数で割った余りのリストに0が含まれていなければ$x$を素数と判定しています．このため，任意範囲の整数リスト生成（range等），リスト各要素への関数適用（map等），リストに特定の値が含まれているかの判定（include等），条件を満たした要素のみをリストから取り出す処理（filter等）を行う関数があると，より短いワンライナーとなります． 各言語での記述例 $1<n<100$の$n$について素数判定を行った結果を表示しています．どうしても長くなりがちなので，字句解析が可能な程度に空白等を詰めています．

諸般の理由で『Pythonのlambda式を用いたラムダ計算の基礎表現』を書いた後にHaskellに触れたところ，無名再帰関数を実行する不動点コンビネータfixがとんでもなく簡単に書けたため，同じ方法で他のプログラミング言語でもできないか試したところ，これまたあっさりできたので，まとめメモ的に新しく記事にした． このような内容がQiitaや書籍，ネット上に星の数の更に星の数乗ほどあることは承知しているが，この手の話はYコンビネータが大きな割合を占めており（実際，元記事でも取り上げている），関心のある人々の数多ある参考資料のひとつ程度に捉えてもらえると幸いである．ツッコミ，編集リクエスト歓迎． #不動点コンビネータの定義 不動点コンビネータとは，$f(g(f))=g(f)$が成り立つ関数$g$を指す．この記事では，Haskellの呼称であるfixを不動点コンビネータの関数名とする． ##Ha