言語処理系
Tags: ロゴタイプ 17 プログラミング言語 12 記事 9 絵 9 型システム 9 SATySFi 8 東京市会 8 スライド 7 組版 6 2次創作 5 落描き 3 所感 2 京都 2 言語処理系 2 多段階計算 2 プロメア 2 Sesterl 2 ぼっち・ざ・ろっく! 1 Erlang 1 LaTeX 1 少女☆歌劇レヴュースタァライト 1 岡本太郎 1 TeX 1 情報科学若手の会 1パッケージマネージャを自作するときに考えること
プログラミング言語を自前で創っていると,パッケージマネージャが欲しくなってくるものだ.既存パッケージマネージャやそのラッパーによる配布で事足りることも多いが,自前言語の要件とうまく合わなかったりして,真に自分で実装せねばならないこともある.そうした場合,パッケージマネージャをどんな設計にすべきだろうか? 言語固有の都合には触れずになるべく一般に考慮すべき事項を洗い出し,簡単な設計例も提示してみたい.
TeX言語で型なしλ計算を評価するVMを書いた話
半ばネタOSSとして実装した tex_of_ocaml
1 について簡単に紹介します.型なしλ計算を多少程度知っていることを前提とします.
初出:
- 2020年12月9日,TeX言語で型なしλ計算を評価するVMを書いた話 - Qiita