🏃🏼

Markdown→HTMLはこう進化したーパイプライン最前線

に公開
3

はじめに

Zennのようなブログ記事やAstroなどの静的サイトジェネレーターが、どのようにMarkdownを受け取り、ドキュメントを生成しているのか。

その仕組みに強い関心を抱いた私はAstroの Content Collections のソースコードを読み始めました。とりわけ印象的だったのは、フロントマターを抽出する gray-matter でメタデータを取り出しつつ、本文をunifiedパイプラインへ流し込む一連の設計です。

この記事では、そうした実装を眺めた好奇心から始まり、多重パース時代の課題、ASTリレーがもたらした転換点やMDX 3・WASM・Edgeが広げる近未来までを、コードと図を交えながら俯瞰します。

第一世代:多重パース時代

Markdown変換ライブラリの草創期を支えた markdown-itmarked は、Markdown → HTML文字列 を1回だけ高速に吐き出すよう最適化されていました。MarkdownをHTMLにしたあと、HTMLにリンク整形や表タグを追加するために、毎回 文字列→AST→文字列 の往復が発生します。ファイル数とプラグイン数に比例してビルド時間が膨張しました。

次のシーケンス図が示すように、ASTを何度も破棄・再生成するループがボトルネックを生み出していました。

ファイル数が百単位から千単位に増えた途端、ビルドが劇的に遅くなる原因はこのループにあったのです。

example.ts
import fs from 'fs';
import path from 'path';
import { marked } from 'marked';
import cheerio from 'cheerio';

const DIR = './markdown-files'; // .md ファイル格納ディレクトリ

async function build() {
  const files = fs.readdirSync(DIR).filter(f => f.endsWith('.md'));
  for (const file of files) {
    const src      = fs.readFileSync(path.join(DIR, file), 'utf-8');
    const htmlText = marked(src);               // 1. Markdown → HTML文字列
    const $        = cheerio.load(htmlText);    // 2. HTML文字列 → AST
    const result  = $.html();                   // 3. AST → HTML文字列
  }
}

第二世代:AST リレーの誕生

unifiedでは再パースを排し、速度を生みました。unifiedの核心は「1つのASTをリレーする」設計にあります。これは駅伝のようなもので、各プラグインがランナーとなってASTというバトンを次々と受け渡していくイメージです。

従来の方法では、手紙を何度も封筒に入れ直すように、各変換ステップで文字列→パース→変換→文字列化を繰り返していました。

remarkプラグインはmdastを直接操作し、rehypeプラグインはhastを直接操作します。remark-rehype はmdastをhastに変換するだけで、文字列化は行いません。この「木構造をメモリ上で受け渡す」アプローチが、高速な処理を可能にしているのです。

example.ts
import { unified } from 'unified';
import remarkParse from 'remark-parse';
import remarkRehype from 'remark-rehype';
import rehypeStringify from 'rehype-stringify';

export const mdProcessor = unified()
  .use(remarkParse)        // Markdown → mdast(Markdown AST)
  .use(remarkRehype)       // mdast → hast(HTML AST)
  .use(rehypeStringify);   // hast → HTML

そしてunifiedの真骨頂は、覚えた .use()APIをそのまま別ドメインに流用できる点にあります。たとえば、先のMarkdown→HTMLチェーンと同じ感覚でNLCST(自然言語テキストAST)を扱うには、以下のようにプラグインを差し替えるだけです。

example.ts
import { unified } from 'unified';
import nlcstParse from 'nlcst-parse';
import { visit } from 'unist-util-visit';

const nlpProcessor = unified()
  .use(nlcstParse);      // plain text → nlcst tree

const tree = nlpProcessor.parse('これはNLCSTの例テキストです。');
visit(tree, 'WordNode', node => {
  console.log('単語:', node.value);
});

この統一された仕組みによって、APIの切り替えによる学習コストや思考の断絶は一切発生しません。MarkdownでもHTMLでも自然言語でも、同じ手順でASTを受け取り、必要な変換や解析をシームレスに追加できるのがunifiedの最大の強みです。

markdown-itが速く見える理由

markdown-itのほうがベンチで速いというのは、“変換1回だけ” を測った数値です。

実務ではリンク整形、GFM拡張、ハイライト、目次生成など複数の変換が挟まります。 第一世代では変換ごとにHTMLを再パースしますが、第二世代は同じASTを走者が持ち回るだけなのでファイル数が増えるほど差が開きます。要するに「短距離50 m走」ではmarkdown-itが勝っても、「42 kmの駅伝」ではunifiedチームが後半で一気に抜く、という構図です。

具体例を見ましょう。

第一世代(marked + cheerio)で 4 つの変換を挟む場合

  1. MarkdownをHTML文字列へ変換: marked() がMarkdownを直接HTMLテキストにする。
  2. リンク整形: 1で得た文字列を1回目の cheerio.load() でAST化し、<a>タグにrel="noopener" を付けて再び文字列化。
  3. GFM拡張: HTML文字列を2回目の cheerio.load() で再パースし、表タグや <del>タグを挿入して文字列化。
  4. シンタックスハイライト: 生成された文字列を3回目の cheerio.load() で読み込み<pre><code> ノードを書き換えて再び文字列化。
  5. 目次生成: 最新HTMLを4回目の cheerio.load() でパースし、見出しを走査して目次HTMLを差し込み文字列化。

合計で「パース→文字列化」の往復が4変換 × 2 = 8回発生するため、ファイル数が増えるほどビルド時間は急激に膨張する。

第二世代(unified)で同じ 4 つの変換を挟む場合

  1. Markdownをmdastに変換: remark-parse が一度だけMarkdownをmdastにする。
  2. GFM拡張: remark-gfmがmdastのまま表と打消し線を追加。
  3. mdastをhastに写し替え: remark-rehype がmdastをhastに変換。
  4. リンク整形: rehype-external-links がhast内で <a> タグにrel="noopener" を付与。
  5. シンタックスハイライト: rehype-highlight がhastの <code> ノードを直接書き換え。
  6. 目次生成: rehype-toc が見出しを収集して目次ノードを挿入。
  7. hastをHTML文字列へ直列化: rehype-stringify がゴールで文字列化。

パースは最初の1回だけ、プラグインが増えても追加コストはノード操作だけなので、ビルド時間はほぼ線形にしか伸びません。


第一世代は変換が増えるたびにHTMLを再パースする往復運動を繰り返す。第二世代はASTを駅伝バトンに見立てて一度も手放さずリレーする。この違いが多段変換の実務ビルドで数十倍の速度差につながる。

余談:gray-matter の位置づけ

では冒頭で触れた gray-matter がどの工程を担うのか疑問に思われるかもしれません。Astroをはじめ多くのSSGは、本文をパイプラインへ渡す前にfront-matterを抽出する仕組みを備えており、そこで利用されるのが gray-matter です。あくまでメタデータ用の前処理を担うライブラリであり、本文のAST変換には関与しません。そのため本稿では核心を成すASTリレー部分に焦点を当て、gray-matter は余談として扱っています。

とはいえfront-matterを型安全に扱う上で不可欠な存在であり、Astro Content Collectionsが型推論を成立させている背景にもgray-matterが密接に関わっています。

第二世代でASTリレーの設計が完成し、Markdown→HTMLの高速変換が当たり前になる土台が築かれました。そこからさらに一歩踏み込んだのが、ユーザーが書いたコードを“そのまま動く”形で埋め込むインタラクティブ拡張です。

次章では、第2世代で確立したunifiedの思想を踏襲します。一度のパースで多彩な変換を可能にしつつ、MDX 3と rehype-mdx-code-props がライブコード埋め込みを標準化する仕組みを解説します。

第3世代:インタラクティブ拡張が標準に

2023年に正式リリースされた MDX 3 は、Markdown内に記述したJSXコードをライブデモとして動作させる体験を標準化しました。

rehype-mdx-code-props v3の導入により、コードフェンスのメタ文字列が自動でJSXのpropsにマッピングされる仕組みが整いました。これにより、開発者はオプションを数文字追加するだけでインタラクティブなコンポーネントを埋め込めるようになります。

かつてのMDXでは、Markdown部分とJavaScript/JSX部分を別々のAST(mdastとESTree)で扱い、統合するのに二重のパースが必要でした。

例えば、次のようなMDXファイルがあったとします。

mdx
import React from 'react';

# Welcome to MDX

<Alert type="info">
  This is an MDX component!
</Alert>

この場合、従来のツールチェーンではまず# Welcome to MDX をmdast(Markdown AST)に変換し、同ファイルの先頭にあるimport文や<Alert>タグはスキップします。続いて、BabelなどのJavaScriptパーサーが同じファイルを再度読み込み、ESMのimport文とJSXをESTree(JavaScript AST)に変換します。

結果として同一ファイルを二度パースしなければならず、Markdown部分とJSX部分の整合を取るために複雑なマッピング処理が必要でした。

MDX 3は、micromark-extension-mdx-jsxmdast-util-mdx-jsx を組み合わせて、ESMとJSXの両方のノードをひとつのAST上に共存させます。その結果、Markdown→JSX→HTMLの変換を .use() チェーンだけで完結できる設計へと進化しました。

さらにrehype-mdx-code-props v3が “コードフェンスのメタ文字列→JSX props” という橋渡しを自動化し、たった一行のフェンスでライブデモを呼び出せるようになったのです。
結果として、コードフェンスに live run filename="Demo.jsx" と書くだけで、ライブデモが動作するようになります。

mdx
```js live run filename="Demo.jsx"
export default function Demo() {
  return <div>Hello Demo</div>;
}

ビルド時の変換フェーズです。rehype-mdx-code-propsがlive run filename="Demo.jsx"を解析して次のASTを生成します。

<pre live run filename="Demo.jsx">
  <code class="language-js"></code>
</pre>

MDXコンパイラはこのASTをそのままJSXへ直列化しますが、この時点では <pre> タグのままです。 ランタイムの差し替えフェーズです。ここで初めてSandpackCodeが呼び出されます。

mdx
import { MDXProvider } from '@mdx-js/react';
import SandpackCode from '../components/SandpackCode';

export default function DocLayout({ children }) {
  return (
    <MDXProvider components={{ pre: SandpackCode }}>
      {children}
    </MDXProvider>
  );
}

MDXProviderが <pre> をSandpackCodeに置き換え、メタ文字列の内容がJSX propsとして渡る。結果として次のような呼び出しが実行時に得られるのです。

mdx
<SandpackCode live run filename="Demo.jsx">
{`export default function Demo() {
  return <div>Hello Demo</div>;
}`}
</SandpackCode>

MDX 3の役割はビルド時に属性付き <pre> を生成するところまでであり、ライブデモへ変換する最終ステップはランタイムでMDXProviderが担います。SandpackCodeは利用者が用意する通常のReactコンポーネントにすぎないのです。したがって開発者はコードフェンスの一行を書く以外に特別な設定をせずに、フル機能付きのデモをページへ埋め込めるようになりました。

第4世代:ビルド 0 秒を目指す Edge & WASM

もし、WASMパーサーとEdge実行環境が本格普及すれば、Markdown→HTML の変換はリクエスト時に行う“ビルド 0 秒”戦略が現実になるかもしれません。

従来はビルド時にMarkdown→HTMLの変換をすべて終えていました。しかしWASMパーサとEdge実行環境を組み合わせることで、リクエスト時に本文だけを変換し、ビルド工程をほぼ不要にする戦略が見えてきました。

front-matterは従来どおりビルド時に抽出・型付けし、本文のASTも同時にプリコンパイルしてEdge KV(またはR2)に格納しておきます。リクエスト時にはMarkdownのみをWALMビルドに任せ、軽量かつ高速にHTMLを生成します。

WASM パーサの軽量さ
@logue/markdown-wasm はgzip後約87.83 KBで配布可能なWebAssembly実装です。依存関係を持たずにCommonMarkを毎秒400 KiB超の速度で解析できます。

Edge 実行環境の即時起動
Cloudflare Workersのアイソレート技術 では、WASM関数を5 ms未満でウォームスタートし、コールドスタートゼロに近い動作が可能になりました。これによりリクエスト時のパースからレンダリングをほぼ瞬時に行えます。

この技術がもたらす最大の変革は 遅延レンダリング戦略 の実用化です。「更新ボタンを押して即反映」という体験をビルド工程なしで実現できます。

Astro Content Graph API ― ライブ CMS への布石

この記事の冒頭で触れたように、Astroの内部実装を調べていました。その中で Content Graph API に注目しています。Astroのロードマップで議論されている Content Graph API が実装されれば、ローカルとリモートのコンテンツを単一の型付きクエリで扱い、その結果をEdge KVにキャッシュできます。これにより「保存時プリコンパイル+リクエスト時レンダリング」という新しいコンテンツ配信パラダイムが完成し、ビルド時間は限りなくゼロに近づくでしょう。

まとめ

この記事では、第1世代の再パース地獄から、第2世代のASTリレー、第3世代のMDX 3インタラクティブ拡張までの進化を解説しました。さらに、第4世代としてEdge+WASMによる “ビルド0秒” 戦略についても俯瞰しています。AstroやContent Collectionsの実装については withastro/astro GitHub リポジトリ をご覧ください。コミュニティやロードマップの最新情報は WithAstro Discordで議論されています。

最後にmarkdown-wasmをEdge Functions上で試せば、本稿で示した進化の一端を手元で体験できます。興味を持たれた方はぜひそちらもチェックしてみてください。

GitHubで編集を提案

Discussion

KenjiKenji

うわ!めっちゃいい質問です!!!

単純レンダリング1回だけを秒数で測るベンチは余計な仕事をしていない markdown-it の方が速いんです。markdown-it は「正しい HTML を素早く出す」ことにフォーカスしてるからですね。

unified は「途中で AST を自在に改造できること」を第一優先に設計されています。速度よりも型安全性と変換汎用性を取っているため、設計思想のコストがそのまま数値に表れます。

変換処理がよく挟まるかどうかで変わってきますね!

例えば、GFM拡張(表や打ち消し線を追加)、リンク整形(外部リンクに rel="noopener" を追加)や<code>タグのシンタックスハイライトとかです。

加工の項目が増えれば、項目ごとに再パースするので、DOMっぽいオブジェクトやトークン列を作り直すんですよ。なので、ファイル数が多いとビルド時間が雪だるま式に時間がかかるんだと思います。

結果として unified 型の方がビルド時間はかからないんだなーと理解してました!

ryoppippiryoppippi

なるほどです。そうするとプラグインが多く挟まるとunifiedの方が遅くなっていくと言う話なんですね!ありがとうございます。