ExactTeX：LaTeX の段階的型付きスーパーセット。PDF を見る前に文書の正しさがわかる

ExactTex. A gradually-typed superset of LaTeX

▲ 28camilochs20 HNでの議論

ExactTeX は、既存の .tex ファイルをそのまま有効なままにする、LaTeX の段階的型付きスーパーセットです。ファイル名を .xtex に変更するだけで、アノテーションを追加するほど、参照チェック、安全なリネーム、独自の名前でのエラー検出が可能になります。型システムは段階的で、未知の型 ?O はすべてと整合するため、未アノテーションの LaTeX はバイト単位でそのまま通過します。コンパイラはゼロ依存で、ターミナル、エディタ（LSP）、ブラウザ（WebAssembly）の3つのインターフェースを備え、パリティスイートで同一性を保証します。

あなたが名前を付けたオブジェクトを使って、同じ事実を伝えます。これは、あなたが宣言したからこそ機能するのです。
原文を読む →HNでの議論RSS

HNでの議論

20
  1. cvanelteren

    TeXがTypstに置き換わってほしいな。僕の意見では、Typstの方がずっと書きやすい。

  2. yiyu_earth

    ネイティブのLaTeXコードを書くのが今日難しいとは思わない。AI支援コーディングが普及しているからね。それに比べて、「LaTeXコードを出力するコンパイラ」を使う方が、安定性に欠けるかもしれない。

  3. podocarp

    LaTeXの問題は、絶対にタイプセット（組版）ではない。100行にも及ぶマクロや定義を管理しているのでもない限りね。一つの問題は、2次元のものを1次元で表現するのが難しいってことだと思う。方程式のことはさておき、tikzで描画するのはどうだろう？正規表現を書くようなもので、一度書き終えたら二度と触りたくない。

    時には、Inkscapeで描いてPDFを埋め込む方がましだ。

    それから、好みの問題もある。まだ一種の無法地帯だから、微分にイタリックのdを使う人を見かける。微分演算子の立体の太字ではなくね。たぶん、"d"に比べてそれらをタイプするのが難しいからだろう。もっとたくさんあるかもしれないが、これが一番一般的だ。LaTeXでタイプするときには明らかではない、よくあるホワイトボードの記法がいくつかある。

    いずれにせよ、現状で十分役に立つし、AIによってさらに改善されるだろう。将来はすべてのイタリックの"d"を修正させて、貧弱なタイプセットを後処理で直してもらうかもしれない。それはおそらく一部の人を怒らせるだろうけどね :)

この日のほかの記事

2026-09-05