「本記事は、技術的な視点から情報を提供することを目的としております。内容については可能な限り正確性を期しておりますが、記事内の見解は執筆者の意見や理解に基づいており、すべての方にとって普遍的な結論を示すものではありません。技術の分野は常に進化し、新たな知見が追加されることもあります。ご意見がある場合には、建設的な対話を歓迎いたしますが、批判的な意見を展開する際も、お互いの尊重を大切にしたコミュニケーションを心がけていただけると幸いです。」 タイトル: 「東京プログラマー リスプを書かずにはいられない物語」 新宿の夜景を見下ろすカフェで、主人公の大輔は、ノートパソコンに向かって静かにキーボードを叩いていた。彼は東京で働くプログラマー。コードの世界に浸り、特に最近夢中になっているのが関数型言語LISPだった。 LISPは、数学のように純粋で美しいロジックが展開できる言語。大輔は「この関数型の世
Claude-3 Sonnetがだいぶ良いので、前々から考えていた、「Lispっぽい記法で書けるけど他の言語に慣れた人にも使える言語」の処理系を作ってみた。仮にEasyLispという名前にした。 この言語ではこんな感じでプログラムが書ける (define person (object)) (set! person.name "Alice") (set! person.age 30) (print person.name)personというオブジェクトのプロパティをnameやageがあって、これをドット記法で指定するとpersonオブジェクトのプロパティにアクセスできる。 同じことをCommon-Lispでやろうとするとこうなる (defun example () (let ((person (make-object :name "Alice" :age 30))) (format t "N
【他言語版へのリンク記事】簡易LISP処理系の実装例【各言語版まとめ】 この記事は，下記拙作記事のProlog版（SWI Prolog）を抜粋・修正したものを利用した，簡易LISP処理系（"McCarthy's Original Lisp"）の実装例をまとめたものです． 『括弧文字列』簡易パーサ実装例まとめ リスト処理関数（cons,car,cdr,eq,atom）実装例まとめ（LISPと全く同じコンスセル操作が可能であるため実装不要） 最低限の機能をもったLISP処理系の実装の場合，本体である評価器（eval）実装はとても簡単であり，むしろ，字句・構文解析を行うS式入出力（やリスト処理実装）の方が開発言語ごとの手間が多く，それが敷居になっている人向けにまとめています． 処理系の概要 実行例は次の通り．SWI Prolog 8.0.2にて確認． $ swipl -s jmclisp.swi
この章では埋め込み言語としてPrologを実装する方法を説明する． 第19章ではデータベースに対する複雑なクエリに答えるプログラムを書く方法を示した． ここでは新たに要素を一つ加える． 規則，すなわち既に知られている事実から別の事実を推論できるようにする仕組みだ． 規則の集合は含意のツリーを定義する． 無限個の事実を含意する規則を扱うには， その含意ツリーで非決定的な検索を行わなければならない． Prologは埋め込み言語の素晴しい例になる． それはパターンマッチング，非決定性，規則の3要素を組み合わせたものだ． 第18，22章では最初の2つを独立に示した． 今すでに手にしているパターンマッチングと非決定的選択のためのオペレータの上に Prologを構築することで， 多層構造を持つ本物のボトムアップシステムの例が得られる． \reffig{fig:LayersOfAbstraction}に
The latest reviewed version was checked on 14 November 2024. There are template/file changes awaiting review. Write Yourself a Scheme in 48 Hours is a featured book on Wikibooks because it contains substantial content, it is well-formatted, and the Wikibooks community has decided to feature it on the main page or in other places. Please continue to improve it and thanks for the great work so far!
<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/4728865842637431588/comment/sirocco" data-user-id="sirocco" data-entry-url="https://b.hatena.ne.jp/entry/s/zehnpaard.hatenablog.com/entry/2022/12/01/132824" data-original-href="https://zehnpaard.hatenablog.com/entry/2022/12/01/132824" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?u
Lispのインタプリタ―の作り方に関する参考書が紹介されていました。 処理系の作り方を通じて、関数型プログラミング言語の動作について理解が深まると思うので、時間があったら読んでみたいです。 zehnpaard.hatenablog.com 定番の「SICP」本 Anatomy of Lisp Lisp in Small Pieces Lisp System Implementation Functional Programming Application and Implementation Topics in Advanced Language Implementation その他 DSL作成のための基礎知識 Prologの実装方法 6冊の本が紹介されていました。 定番の「SICP」本 www.amazon.com 日本のAmazonでも売ってました。 Structure and Int
SECDマシンとは、関数型言語のコンパイラのターゲット（目的機械）を意図し、後に大きな影響を与えた抽象機械である。SECD は Stack（スタック）、Environment（環境）、Code（コード）、Dump（ダンプ）の略であり、それぞれ仮想機械にあるレジスタの名称となっている。これらのレジスタはメモリ上の連結リストを指している。 Peter J. Landinの考案によるもので、1964年のComputer Journal誌が初出である。ラムダ計算式を評価するものだが、Landin の発表した説明は非常に抽象的で、（操作的意味論のように）実装にかなりの自由度が与えられていた。SECDマシンはより詳細化された形態で説明されることが多く、例えば Peter Henderson の Lispkit Lisp コンパイラは SECDマシンをベースとして1980年に登場している。以降、いくつか
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "抽象機械" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2009年10月) 理論計算機科学ないし主に計算理論がこれに関係する主たる分野であるが、現実のコンピュータへの応用などもある。他の「機械っぽくない」計算モデルも含む一般的な議論はそちらを参照のこと。 チューリングマシンの提案がそうであったように、計算可能性理論でも使われるが、レジスタマシンの記事にあるうちのいくつかのような、現実のコンピュータに比較的近い抽象機械は、計算複雑性理論や、あるいはより現実的な実際のコンピュータにおける計算量の議論のために使いやすいといったことに特徴が
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Amazon.co.jp: Topics in Advanced Language Implementation (The MIT Press): Lee, Peter: 本
Amazon.com: Topics in Advanced Language Implementation (The MIT Press): Lee, Peter: Books
Amazon.co.jp: Functional Programming Application and Implementation: Henderson, Peter: 本
Amazon.com: Functional Programming Application and Implementation: Henderson, Peter: Books
Amazon.co.jp: Lisp in Small Pieces: Queinnec, Christian: 本
Amazon.com: Lisp in Small Pieces: Queinnec, Christian: Books
Amazon.co.jp: Anatomy of Lisp: Allen, John: 本
Amazon.com: Anatomy of Lisp: Allen, John: Books
Amazon.co.jp: Structure and Interpretation of Computer Programs: JavaScript Edition (MIT Electrical Engineering and Computer Science): Abelson, Harold (著), Sussman, Gerald Jay (著), Henz, Martin (翻案), Wrigstad, Tobias (翻案), Sussman, Julie (寄稿): 本
Amazon.co.jp: 計算機プログラムの構造と解釈 第2版: Harold Abelson (著), 和田英一 (翻訳): 本