Donald Knuth著の『Literate Programming』は、文芸的プログラミングに関する先駆的な本です。

リテラトプログラミング（LP）は、 1984年にドナルド・クヌースによって導入されたプログラミングパラダイムであり、コンピュータプログラムは、その動作を英語などの自然言語で説明され、マクロのスニペットと従来のソースコードが点在（埋め込まれ）ており、そこからコンパイル可能なソースコードが生成されます。[1]このアプローチは、再現可能な研究やオープンアクセスの目的で、科学計算やデータサイエンスの分野で日常的に使用されています。[2]現在、リテラトプログラミングツールは、何百万人ものプログラマーによって使用されています。[3]

ドナルド・クヌースが考案した文芸的プログラミングパラダイムは、コンパイラによって強制される方法と順序でコンピュータプログラムを記述することから離れ、代わりにプログラマーにマクロを提供し、ロジックと思考の流れによって要求される順序でプログラムを開発できるようにするものです。[4]文芸的プログラムは、マクロを使用して抽象化と従来のソースコードを隠す、より自然な言語でのロジックの説明として記述され、エッセイの本文のようになります。

文芸的プログラミングツールは、ソースファイルから2つの表現を取得するために使用されます。1つはコンパイラまたはインタープリタが理解できる「絡み合った」コードであり、もう1つはフォーマットされたドキュメントとして表示するためのもので、文芸的ソースから「織り込まれた」ものと言われています。[5]第一世代の文芸的プログラミングツールはコンピュータ言語に固有でしたが、後期のツールは言語に依存せず、個々のプログラミング言語を超えて存在します。

歴史と哲学

リテラティブプログラミングは、1984年にドナルド・クヌースによって初めて提唱されました。彼は、人間にとって適切な文学的プログラムを作成することを意図していました。彼はスタンフォード大学で、アルゴリズムとデジタルタイポグラフィの研究の一環として、この実装を実装しました。この実装は「 WEB 」と名付けられました。これは、彼がまだコンピューティングに応用されていなかった数少ない3文字の英語の単語の1つであると信じていたためです。[6]しかし、それは単純な材料から繊細に組み立てられたソフトウェアの複雑な性質に似ています。[1]リテラティブプログラミングの実践は、特にデータサイエンスにおいて、計算ノートブックの使用により、2010年代に重要な復活を遂げました。

コンセプト

文芸的プログラミングとは、プログラムロジックを人間の言語で記述し、コードスニペットとマクロを（プリミティブなマークアップで区切って）組み込むことです。文芸的ソースファイル内のマクロは、人間の言語で書かれたタイトルのような、あるいは説明的なフレーズであり、プログラミング上の問題を解決する際に生み出される人間の抽象概念を記述し、コードチャンクや低レベルのマクロを隠蔽します。これらのマクロは、コンピュータサイエンスの教育で一般的に用いられる擬似コードのアルゴリズムに似ています。これらの任意の説明フレーズは、プログラマーによって即座に作成される正確な新しい演算子となり、基盤となるプログラミング言語の上にメタ言語を形成します。

プリプロセッサは、任意の階層構造、あるいはむしろ「マクロの相互接続された『ウェブ』」[7]を置き換え、 1つのコマンド（「タングル」）でコンパイル可能なソースコードを作成し、別のコマンド（「ウィーブ」）でドキュメントを作成するために使用されます。プリプロセッサはまた、マクロの内容を書き出す機能や、文芸的プログラムソースファイルのテキスト内の任意の場所に既に作成されたマクロを追加する機能も提供します。これにより、従来のプログラミング言語による制約を念頭に置く必要がなくなり、思考の流れを中断する必要がなくなります。

利点

クヌース[8] [9]によれば、 文芸的プログラミングは、プログラマーにプログラムの背後にある思考を明示的に述べることを強いるため、考え抜かれていない設計上の決定がより明白になり、より高品質なプログラムを生み出す。クヌースはまた、文芸的プログラミングは一流のドキュメンテーションシステムを提供すると主張している。これはアドオンではなく、プログラム作成中に思考を表明する過程で自然に成長するものである。[10]結果として得られるドキュメンテーションにより、作成者は後からいつでも自分の思考プロセスを再開することができ、他のプログラマーはプログラムの構成をより容易に理解することができる。これは、コンパイラが課した順序に従ったソースコードを提示され、コードとそれに関連するコメントからプログラムの背後にある思考プロセスを解読しなければならない従来のドキュメンテーションとは異なる。文芸的プログラミングのメタ言語機能は、思考を容易にし、コードをより俯瞰的に捉え、脳が記憶し処理できる概念の数を増やすとも主張されている。この概念が大規模なプログラミング、つまり商用レベルのプログラムに適用できることは、TeXコードを文芸プログラムとして編集することで証明されている。[8]

クヌースはまた、文芸的プログラミングによってソフトウェアを複数の環境に簡単に移植できるようになると主張し、TeXの実装を例として挙げている。[11]

ドキュメント生成との対比

リテラティブプログラミングは、ソースコードとコメントの両方を含む共通ファイルから生成されるフォーマットされたドキュメント（正しくはドキュメント生成）や、コードに含まれる膨大なコメントのみを指すと誤解されることが非常に多い[12]。これはリテラティブプログラミングの逆である。適切にドキュメント化されたコード、あるいはコードから抽出されたドキュメントは、コードの構造に従い、ドキュメントはコードに埋め込まれる。一方、リテラティブプログラミングでは、コードはドキュメントに埋め込まれ、コードはドキュメントの構造に従う。

この誤解から、 Perl Plain Old DocumentationやJavaの Javadocシステムといったコメント抽出ツールは「文芸的プログラミングツール」であるという主張が生まれています。しかし、これらのツールは自然言語マクロシステムの背後に隠れた「抽象概念の網」を実装しておらず、ソースコードの順序を機械が強制する順序から人間の思考にとって都合の良い順序に変更する機能も提供していないため、クヌースが意図した意味での文芸的プログラミングツールと呼ぶのは適切ではありません。[12] [13]

ワークフロー

リテラルプログラミングの実装は、次の 2 つのステップで構成されます。

  1. ウィービング: プログラムとそのメンテナンスに関する包括的なドキュメントを生成します。
  2. タンリング: マシン実行可能コードの生成

織りと絡みは、互いに一貫性を保つために同じソースで行われます。

例

リテラティブプログラミングの典型的な例として、標準的なUnix 単語カウントプログラムのリテラティブ実装が挙げられますwc。Knuthは、著書『リテラティブプログラミング』の第12章で、この例のCWEB版を発表しました。この例は後に、nowebというリテラティブプログラミングツール用に書き直されました。[14]この例は、リテラティブプログラミングの基本要素をよく表しています。

マクロの作成

以下のwc文芸プログラム[14]の断片は、自然言語の任意の記述句が文芸プログラムにおいてどのように用いられ、マクロを作成するかを示しています。マクロは文芸プログラミング言語において新たな「演算子」として機能し、コードチャンクや他のマクロを隠蔽します。マークアップ記法は、<<...>>マクロを示す二重山括弧（ ）で構成されています。noweb@ファイルでは、記号 はドキュメントチャンクの開始を示します。記号 は<<*>>「ルート」、つまり文芸プログラミングツールがマクロのウェブ展開を開始する最上位ノードを表します。実際には、展開されたソースコードの書き出しは、任意のセクションまたはサブセクション（つまり<<name of the chunk>>=、等号で と指定されたコード片）から行うことができます。そのため、1つの文芸プログラムファイルに、マシンソースコードを含む複数のファイルを含めることができます。 

wcの目的は、ファイルリスト内の行数、単語数、文字数をカウントすることです。ファイル内の行数は........ /続きは説明/                
        

次に、nowebプログラムwc . nwによって定義されるファイルwc . cの概要を示します。<< * >> = <<インクルードするヘッダーファイル>> <<定義>> <<グローバル変数>> <<関数>> <<メインプログラム>> @​                
    
       
    
     
    
      
    

フォーマットされた出力をstdoutとstderrに送信するため、標準I / O定義をインクルードする必要があります。<<インクルードするヘッダーファイル>> = #include <stdio.h> @

チャンクの展開は、文芸的プログラム テキスト ファイル内の任意の場所で実行できます。必ずしも、囲んでいるチャンク内での順序どおりではなく、プログラム全体を囲む説明テキストに反映されたロジックによって要求される順序で実行できます。

ウェブとしてプログラムする

マクロは、標準的なドキュメントにおける「セクション名」とは異なります。文芸プログラミングのマクロは、その背後に実際のコードを隠蔽し、低水準機械語演算子、特にif、while、 などの論理演算子内で使用できますcase。これは、以下のwc文芸プログラムに示されています。[14] 

カウントを行う現在のチャンクは、実のところ最も簡単に記述できるものの一つです。各文字を見て、それが単語の始まりか終わりかを判断し、状態を変更します。          
                
 

    <<ファイルをスキャン>>= while ( 1 ) { <<バッファが空の場合はバッファを埋める；ファイルの終わりで中断する>> c = * ptr ++ ; if ( c > ' ' && c < 0177 ) { /* 表示可能な ASCII コード */ if ( ! in_word ) { word_count ++ ; in_word = 1 ; } continue ; } if ( c == '\n' ) line_count ++ ; else if ( c != ' ' && c != '\t' ) continue ; in_word = 0 ; /* c は改行、スペース、またはタブ */ } @

マクロはコードの塊や他のマクロを表し、トップダウンやボトムアップの「チャンキング」やサブセクション化よりも汎用的です。ドナルド・クヌースは、このことに気づいたとき、プログラムを様々なパーツの網として考えるようになったと述べています。[1]

コンパイラの論理ではなく、人間の論理の順序

noweb 対応プログラムでは、マクロの背後にあるチャンクは、その説明順序が自由であることに加え、 で導入されると<<...>>=、次のスニペットが示すように、単に内容を記述して追加するだけで、ファイル内の任意の場所で拡張できます<<name of the chunk>>=(+はドキュメントフォーマッタによって読みやすくするために追加されており、コード内には はありません)。[14] 

プログラムの開始時に総計をゼロに初期化する必要があります。
これらの変数をmainにローカルにした場合、この初期化を行う必要があります。
明示的にはゼロに設定されますが、Cのグローバル変数は自動的にゼロに設定されます。（というか、「静的に
ゼロになりました。（分かりますか？）

    <<グローバル変数>>+=
    long tot_word_count, tot_line_count,
         合計文字数;
      /* total number of words, lines, chars */
    @

思考の流れの記録

リテラティブ・プログラムのドキュメントは、プログラム作成の一環として作成されます。ソースコードの補足として提供されるコメントの代わりに、リテラティブ・プログラムには各レベルの概念の説明が含まれており、低レベルの概念は適切な場所に委ねられています。これにより、思考をより効果的に伝達できます。上記のリテラティブ・プログラムのスニペットは、プログラムの説明とソースコードがどのように織り交ぜられているかを示しています。このようなアイデアの展開は、文学作品のような思考の流れを生み出します。クヌースは、インタラクティブ・フィクション・ゲーム「Colossal Cave Adventure」wcのコードを解説した「小説」を執筆しました。[15]

注目すべき例

  • Axiom は、IBMが開発したコンピュータ代数システムであるスクラッチパッドから発展したものです。現在、スクラッチパッドの開発者の一人であるティム・デイリーによって開発が進められており、Axiom は完全に文芸的なプログラムとして記述されています。[要出典] [独自研究？ ]

リテラルプログラミングの実践

最初に公開された文芸的プログラミング環境はWEBであり、1981年にKnuthがTeX組版システム用に導入した。WEBは基礎となるプログラミング言語としてPascalを使用し、ドキュメントの組版にはTeXを使用している。コメント付きの完全なTeXソースコードは、Knuthの著書『 Computers and Typesetting 』全5巻の第2巻『TeX: The program』で公開されている。Knuthは1979年という早い時期にDOCと呼ばれる文芸的プログラミングシステムを使用していた。彼はピエール＝アルヌール・ド・マルネフのアイデアに触発された。[16] KnuthとSilvio Levyが作成した無料のCWEBは、 CとC++に適合したWEBであり、ほとんどのオペレーティングシステムで実行でき、TeXとPDFのドキュメントを生成できる。

文芸的プログラミングの概念には、以下に示すように様々な実装があります。これらの新しいものの多くはマクロを備えておらず、人間の論理的順序の原則に準拠していないため、「半文芸的」ツールと言えるかもしれません。しかし、これらのツールはコードのセル実行を可能にするため、探索的プログラミングツールに近いと言えます。

その他の便利なツールは次のとおりです。

  • Leoテキストエディタは、オプションでnowebおよびCWEBマークアップをサポートするアウトラインエディタです。Leoの作者は、2つの異なるアプローチを組み合わせています。1つ目は、Leoが大規模なテキストの管理を支援するアウトラインエディタであることです。2つ目は、Leoが文芸的プログラミングの概念をいくつか取り入れていることです。文芸的プログラミングの純粋な形（つまり、Knuth Webツールや「noweb」のようなツールで使用されている方法）では、ある程度の創意工夫と、作者が想定していなかった方法（@rootノードの改変）での使用によってのみ実現可能です。しかし、この機能やその他の拡張機能（@fileノード）により、アウトラインプログラミングとテキスト管理は容易かつ効果的に実行可能となり、ある意味で文芸的プログラミングに類似したものとなっています。[28]
  • Haskell言語は、半文芸的プログラミングをネイティブにサポートしています。コンパイラ・インタープリタは、2つのファイル名拡張子（ と ）をサポートします。後者.hsは.lhs文芸的Haskellを表します。

    リテラル スクリプトは完全な LaTeX ソース テキストであると同時に、変更を加えることなくコンパイルできます。これは、インタープリターがコード環境でテキストをコンパイルするだけだからです。次に例を示します。 

    % ここで関数を説明するテキスト: 
\begin { code } 
fact 0 = 1 fact ( n + 1 ) = ( n + 1 ) * fact n \end { code }   
      

続きはこちら

    コードは、リチャード バード スタイルでマークすることもできます。つまり、各行の先頭に大なり記号とスペースを入れ、コードの前後に空白行を入れます。

    LaTeXパッケージは、ソースコードを装飾するために使用できる環境をlistings提供します。この環境を使用して、Haskell内でシンボルを次のように印刷するための環境を定義できます。 lstlistingcode

    \newenvironment {コード}{ \lstlistings [言語=Haskell] }{ \endlstlistings }

\begin {コード} 
comp :: (ベータ->ガンマ) -> (アルファ->ベータ) -> (アルファ->ガンマ) ( g ` comp ` f ) x = g ( f x ) \end {コード}

    これは次のように設定できます:

    このパッケージはコードの塊を整理する手段を提供していないが、LaTeXのソースコードを異なるファイルに分割することができる。[29]
  • Web 68文芸プログラミングシステムはALGOL 68を基礎言語として使用していましたが、プリプロセッサ「tang」にはそのような使用を強制するものは何もありませんでした。[30]
  • テキストエンコーディング・イニシアティブ（TEI）のカスタマイズ機構は、TEIスキームの制約、変更、拡張を可能にし、散文文書とスキーマ仕様の断片をOne Document Does-it-all形式で混在させることを可能にします。この散文文書から、スキーマ、そして処理モデルパイプラインを生成することができ、この作業方法のインスピレーションとしてKnuthの文芸的プログラミング・パラダイムが挙げられます。[31]

参照

参考文献

  1. ^ abc v w x y z Knuth, Donald E. (1984). 「文芸的プログラミング」(PDF) . The Computer Journal . 27 (2). British Computer Society : 97–111 . doi : 10.1093/comjnl/27.2.97 . 2009年1月4日閲覧。
  2. ^ Schulte, Eric (2012). 「文芸プログラミングと再現可能な研究のための多言語コンピューティング環境」(PDF) . Journal of Statistical Software . 46 (3). doi : 10.18637/jss.v046.i03 . 2014年11月9日時点のオリジナルよりアーカイブ(PDF) . 2020年5月30日閲覧。
  3. ^ Kery, Mary Beth (2018年4月). 「The Story in the Notebook: 文芸プログラミングツールを用いた探索的データサイエンス」. CHI '18: 2018 CHI Conference on Human Factors in Computing Systems の議事録. Association for Computing Machinery . pp.  1– 11. doi :10.1145/3173574.3173748.
  4. ^

    トップダウンとボトムアップは、どちらか一方がプログラムの説明に適しており、もう一方がプログラムの作成に適しているという、相反する手法だと考えていました。しかし、WEBの経験を積むうちに、トップダウンとボトムアップのどちらかを一概に決める必要はないことに気づきました。プログラムはツリーではなくウェブとして捉えるのが最適だからです。階層構造は存在しますが、プログラムにおいて最も重要なのは、その構造的な関係性です。複雑なソフトウェアは、単純なパーツとパーツ間の単純な関係性で構成されています。プログラマーの役割は、それらのパーツと関係性を、トップダウンやボトムアップといった厳密に決められた順序ではなく、人間の理解に最適な順序で記述することです。

    — ドナルド・E・クヌース、リテラシープログラミング[1]
  5. ^ ツールの最初のバージョンが WEB と呼ばれていたことを思い出すと、これらの名前にクヌースが隠した面白い文学的な参照が明らかになります。「ああ、初めて騙そうとするとき、私たちは何と複雑な網を織り上げるのだろう」— ウォルター・スコット卿、 1513 年のフロドゥンの戦いに関する叙事詩、マルミオン(1808 年) の第 6 歌、スタンザ 17。–実際の引用は、1986 年 5 月のジョン・ベントレーとドナルド・クヌースによる記事のエピグラフとして登場し、 Communications of the ACM、第 29 巻第 5 号、365 ページに掲載された古典的な「プログラミング パール」コラムの 1 つです。
  6. ^ 「文芸的プログラミング」（PDF） . Archive.ComputerHistory.org . 2019年6月3日閲覧。
  7. ^

    WEBのマクロは最大1つのパラメータしか持てません。繰り返しますが、これは簡潔さを優先するためです。複数のパラメータを使うほとんどの応用は、実際には1つのパラメータに簡略化できることに気づいたからです。例えば、[例を省略] ... のようなマクロを定義したいとします。つまり、あるマクロの名前を別のマクロのパラメータとして利用できるのです。

    — ドナルド・E・クヌース、リテラシープログラミング[1]
  8. ^ ab Knuth, Donald E. ; Binstock, Andrew (2008年4月25日). 「ドナルド・クヌースへのインタビュー」 . 2009年1月4日閲覧.しかし、私にとって、リテラテ・プログラミングはTeXプロジェクトから生まれた最も重要な成果であることは間違いありません。リテラテ・プログラミングは、プログラムをこれまで以上に高速かつ確実に作成・保守することを可能にし、1980年代以来、私の最大の喜びの一つとなってきただけでなく、時にはなくてはならない存在でもありました。MMIXメタシミュレータのような私の主要なプログラムのいくつかは、私がこれまで聞いたことのある他のいかなる手法でも決して書けなかったでしょう。その複雑さは、私の限られた脳では到底扱えませんでした。リテラテ・プログラミングがなければ、このプロジェクト全体が惨めに失敗していたでしょう。…リテラテ・プログラミングは、並外れた達成レベルを超越するために必要なものです。
  9. ^

    WEBを使い始めてから気づいたもう一つの驚くべきことは、従来のプログラミング言語を使うと、自分が何をしているのか気づいていなかったにもかかわらず、質の低いプログラムを書いてしまうことに気付いたことです。当初、WEBは単なるドキュメント作成ツールとして考えていましたが、実際にはWEBで書いたプログラムの方が他の言語で書いたプログラムよりも優れていることに気づきました。

    — ドナルド・E・クヌース、リテラシープログラミング[1]
  10. ^

    このように、WEB言語はプログラムを「意識の流れ」の順序で表現す​​ることを可能にします。TANGLEは、PASCALコンパイラが要求する構成にすべてを組み込むことができます。WEBのこの機能はおそらく最大の強みでしょう。WEBで書かれたプログラムは、PASCALだけで書かれた同じプログラムよりもはるかに読みやすくなります。たとえ後者のプログラムに適切なコメントが付けられていたとしてもです。そして、プログラマーが大規模なプログラムを心理的に正しい順序で探索できるウェブとして捉えることができるようになったため、トップダウンかボトムアップかという問題にこだわる必要がなくなったという事実は、私が最近の経験から得た最大の教訓と言えるでしょう。

    — ドナルド・E・クヌース、リテラシープログラミング[1]
  11. ^ 「ドナルド・クヌースの口述歴史 - エド・ファイゲンバウム氏へのインタビュー」(PDF) . Archive.ComputerHistory.org . 2018年12月7日閲覧。
  12. ^ ab Dominus, Mark-Jason (2000年3月20日). 「PODは文芸的プログラミングではない」. Perl.com . 2009年1月2日時点のオリジナルよりアーカイブ。
  13. ^

    WEBという名前を選んだのは、それが当時まだコンピューターに使われていなかった数少ない3文字の英語の一つだったからという理由もあります。しかし、時が経つにつれ、この名前に非常に満足するようになりました。複雑なソフトウェアは、単純な素材を繊細に組み合わせた網として捉えるのが最も適切だと考えているからです。複雑なシステムを理解するには、その単純な構成要素を理解し、それらの構成要素と隣接する構成要素との単純な関係を理解する必要があります。プログラムをアイデアの網として表現すれば、その構造的特性を自然かつ納得のいく形で強調することができます。

    — ドナルド・E・クヌース、リテラシープログラミング[1]
  14. ^ abcd Ramsey, Norman (2008年5月13日). 「nowebの例」 . 2009年1月4日閲覧。
  15. ^このゲーム（ ADVENTとも呼ばれる）は、元々はクロウザーによって約700行のFORTRANコードで書かれ、クヌースによってWEB言語に書き直されました。literateprogramming.comまたはクヌースのウェブサイト（2008年8月20日アーカイブ、 Wayback Machine）で入手可能です。
  16. ^ ド・マルネフ、ピエール・アルヌール(1973 年 12 月)。 Holon プログラミング – 調査 (レポート)。リエージュ大学、Service d'Informatique。 p. 135 – GitHub経由。
  17. ^ 「バベル：序論」.
  18. ^ 「Babel言語：リダイレクト」。OrgMode.org。
  19. ^ 「バベル：序論」.
  20. ^ Ashkenas, Jeremy. 「Literate CoffeeScript」 . 2014年11月13日閲覧。
  21. ^ エドウィン・D・ライリー著『コンピュータサイエンスと情報技術のマイルストーン』157ページ。
  22. ^ 「Wolfram Notebooks」. Wolfram.com . 2018年11月28日閲覧。
  23. ^ 「読み書きできるアグダ」.アグダ ウィキ。2017 年3 月 26 日に取得。
  24. ^ Leisch, Friedrich (2002). 「Sweave 第1部：RとLaTeXの併用：Sweaveファイル形式とそれに対応するR関数の簡単な紹介」（PDF） . R News . 2 (3): 28– 31. 2012年1月22日閲覧。
  25. ^ Pineda-Krch, Mario (2011年1月17日). 「Sweaveの楽しみ - Sweaveを使った再現可能な研究のための初心者向けガイド」(PDF) . 2012年1月22日閲覧。
  26. ^ 謝一輝 (2015). 『Rとknitrによるダイナミックドキュメント、第2版』Chapman & Hall/CRC. ISBN 9781498716963。
  27. ^ Xie, Yihui. 「knitr: Rで動的レポートを生成する汎用ツール」(PDF) – GitHub経由。
  28. ^ Ream, Edward K. (2008年9月2日). 「Leo's Home Page」 . 2015年4月3日閲覧。
  29. ^ 概要についてはリストマニュアルを参照してください。
  30. ^ Mountbatten, Sian. 「Web 68: ALGOL 68による文芸プログラミング」. 2013年1月20日時点のオリジナルよりアーカイブ。 2013年1月1日閲覧。
  31. ^ “TEIガイドライン”. TEI-C.org . TEIコンソーシアム. 2018年8月22日時点のオリジナルよりアーカイブ。 2018年8月23日閲覧。

さらに読む

  • シーウェル、ウェイン (1989). 『Weaving a Program: Literate Programming in WEB』ヴァン・ノストランド・ラインホールド著. ISBN 0-442-31946-0。
  • ドナルド・E.・クヌース（1992年）『リテラシー・プログラミング』スタンフォード大学言語情報研究センター、ISBN 978-0-937073-80-3。
  • グラリ、エイタン・M. (1994). TeX & LaTeX: 描画と文芸的プログラミング. マグロウヒル. ISBN 0-07-911616-7。（ソフトウェアを含む）
  • クルト・ノーマルク（1998年8月13日）。 「プログラミングの読み書き – 問題点と問題点」。オールボー大学。
  • Schulte, Eric (2012年1月). 「文芸プログラミングと再現可能な研究のための多言語コンピューティング環境」(PDF) . Journal of Statistical Software . 第46巻第3号. doi : 10.18637/jss.v046.i03 .
  • モール、ダニエル。「リテラシープログラミング」
  • Walsh, Norman (2002年10月15日). 『XMLによる文芸的プログラミング』. XML 2002. CiteSeerX  10.1.1.537.6728 . 2008年5月11日時点のオリジナルよりアーカイブ。
  • WikiWikiWebのリテラシープログラミング
  • CTANの文芸プログラミングに関する FAQ