言語処理系

Tags: ロゴタイプ 19 プログラミング言語 14 スライド 10 型システム 10 記事 9 絵 9 SATySFi 9 東京市会 9 組版 7 2次創作 5 落描き 3 京都 3 所感 2 言語処理系 2 多段階計算 2 プロメア 2 Sesterl 2 学術研究 1 盤上ゲーム 1 ぼっち・ざ・ろっく！ 1 深層学習 1 Erlang 1 LaTeX 1 メモ 1 OCaml 1 少女☆歌劇レヴュースタァライト 1 岡本太郎 1 TeX 1 情報科学若手の会 1

パッケージマネージャを自作するときに考えること

プログラミング言語を自前で創っていると，パッケージマネージャが欲しくなってくるものだ．既存パッケージマネージャやそのラッパーによる配布で事足りることも多いが，自前言語の要件とうまく合わなかったりして，真に自分で実装せねばならないこともある．そうした場合，パッケージマネージャをどんな設計にすべきだろうか？ 言語固有の都合には触れずになるべく一般に考慮すべき事項を洗い出し，簡単な設計例も提示してみたい．

TeX言語で型なしλ計算を評価するVMを書いた話

半ばネタOSSとして実装した tex_of_ocaml1 について簡単に紹介します．型なしλ計算を多少程度知っていることを前提とします．

初出：