← Tags #computer-science
64 notes
ADT / GADT Algebraic Effects BTreeMap Copy-on-Write (COW) Dead Code Elimination (DCE) Equality Saturation FIFO / LIFO GPU Hindley–Milner 型推論 LISP Monad Perceus Region Inference Relaxed SIMD Ryū (最短往復の float→文字列変換) Simple vs Easy Stream Fusion sweep（差分テスト / 生成ベースのバグ発見） SwissTable TAPL Type 0 文法（句構造文法） Type 1 文法（文脈依存文法） Type 2 文法（文脈自由文法） Type 3 文法（正規文法） WebAssembly Core — バイナリ・WAT・スタックマシン・形式的安全性 WebAssembly SIMD Work-Stealing λ計算 アクターモデル カリー=ハワード同型対応 スタック指向プログラミング チョムスキー階層 パーサコンビネータ ビルドキャッシュとプリコンパイル済み stdlib プッシュダウン・オートマトン (PDA) プログラミング言語 ペトリネット ポリモーフィズム モデル検査 仮想スクロール 依存型 偶有的複雑性 / 本質的複雑性 共用型 / Union 型 分散システムの一貫性 — CAP定理, CRDT, 一貫性モデル 列挙型 (Enum) 制約が自由を生む (constraints liberate) 双対 双方向型検査 圏論 多段階計算 定理証明 幽霊型 形式手法 抽象機械 推論規則 時相論理 末尾呼び出し最適化 (TCO) 直観主義論理 篩型 簡約（α, β, η） 純粋関数型言語 継続 / 限定継続 部分評価 関数型言語