MOC: 言語/型/コンパイラ
raw/notes/ prog-lang 275 ノート。_moc が全体ハブ。
- Abstract Rewriting
- Agda
- Algebraic Effect
- Algorithm M
- Algorithm W
- Effective Automatic Parallelization and Locality Optimization Using The Polyhedral Model — Automatic Parallelization Polyhedral Model
- Ballerina
- C++
- CUElang
- Calculus of Constructions
- cats — Cats
- Clean Architecture for Unity
- Cloe
- Automated Code Optimization with E-Graphs — Code Optimization with E-Graphs
- Cone_Rewriting — Cone Rewriting
- Proof-Producing Congruence Closure — Congruence Closure
- Coq
- DAG-Rewriting
- DAG-aware AIG rewriting a fresh look at combinational logic synthesis — DAG-aware AIG rewriting
- Dag Representation and Optimization of Rewriting
- Dartマイグレーションツール構想
- Dart用のprotocをするコンテナを作る — Dart用のprotocコンテナ
- De Bruijn index
- DerivingVia
- Divergence analysis
- Doctest
- E-graph — E-Graph
- E-Graph Intersection
- Egison_Tutorial — Egison Tutorial
- Elixir
- Elixir チュートリアル
- Rewrite Rule Inference Using Equality Saturation — Equality Saturation
- An Equality Saturation Tactic for Lean — Equality Saturation Tactic for Lean
- Equality saturation a new approach to optimization — Equality saturation approach to optimization
- Erg
- Erlang OTP — Erlang/OTP
- Exocompilation for Productive Programming of Hardware Accelerators — Exocompilation
- Automatic translation of FORTRAN programs to vector form — FORTRAN to vector form
- Fennel
- Flame
- Formal Specification Language
- Free Monad
- From trait
- GADT
- GHC
- GHCi
- Godot
- Golang
- Higher-kinded types — HKT
- HM型推論をJuliaで実装する
- HVM
- HVM HOW — HVM How
- HVM List Fold benchmark isnt faithful — HVM List Fold benchmark
- Hash consing
- Haskell
- Hindley-Milner型推論
- Idris
- THE IMPLEMENTATION OF FUNCTIONAL PROGRAMMING LANGUAGES — Implementation of Functional Programming Languages
- ImtStateMachine
- Inkwell
- Optimizing Inner Product Masking Scheme by A Coding Theory Approach — Inner Product Masking
- Isabelle
- JUnit
- JUnit5 順番を無視して配列が一致するか — JUnit5 配列一致
- Julia
- Julia_Plots — Julia Plots
- KISS
- Kleisli
- Koka
- Kotlin
- Kotlin Contract
- Kotlin_List,_Array,_ArrayList=MutableList — Kotlin List Array ArrayList
- Kotlin nullable to optional
- Kotlinでアノテーション内でアノテーション使う — Kotlinアノテーション
- LEAN
- LIFT
- LLVM
- LLVM Pass
- Language Server Protocol — LSP
- Lambda Diagrams
- Lazy Code Motion
- Lens
- Linear Scan Register Allocation
- Linker
- Lisp
- Loop Transformation
- Lua
- MLIR
- Metatheory.jl
- MinCaml
- Monad
- Networking with PUN2
- OCaml
- OSSライセンス
- OcamlをChatGPTで学ぶ
- Oculus VR Tips
- Optics
- The Optimal Implementation of Functional Programming Languages (Cambridge Tracts in Theoretical Computer Science, Series Number 45) — Optimal Implementation of FP Languages
- Optimistic Loop Optimization
- PLDI
- POPL2013, PEPM2013, PLMW2013報告 — POPL2013 report
- PUN2
- PUNRpcでの状態の同期のサンプル
- PhotonNetWork.InstantiatePrefab()でDIしたい時 — PhotonNetWork DI
- Poetry
- Polyhedral Model
- The program dependence graph and its use in optimization — Program dependence graph
- Python
- RAII
- RankNTypes
- Recursion Schemes
- Ruby
- Rust
- Rust DI
- Rust TypeSystem
- Rust ベンチマーク — Rust benchmark
- Rust patterns
- proc macro — Rust proc macro
- Rust ref pattern
- Rust tour
- Rust trait
- SATySFi
- SIC
- SMT2
- SPI計算
- SPORES
- Scala_tour — Scala tour
- ScriptableObject
- Semantic Tokens
- Siv3D
- Sketch-Guided Equality Saturation
- Soot
- Starlark
- Structural Subtyping
- Subtyping
- Subtyping Overview and Implementation
- Sugar CSP
- Exploiting Superword Level Parallelism with Multimedia Instruction Sets — Superword Level Parallelism
- Syntax-Guided Synthesis
- Synthesizing structured CAD models with equality saturation and inverse transformations — Synthesizing CAD models with equality saturation
- System F
- Equality Saturation for Tensor Graph Superoptimization — TENSAT
- Tagless final
- Tauri
- The Wasm Interface Type
- Towards Automated Construction of Compiler Optimizations
- Traversable
- Two Pass Parse
- TypeScript
- Typecript HKT encoding — TypeScript HKT encoding
- TypeScriptで独自演算子を作れるか? — TypeScript独自演算子
- Typed Arena
- UV展開
- UniRx
- Unity
- naichilab Unity-FadeManager — Unity FadeManager
- Unity FontAwesomeのアイコンを ’ uxxx’ で書けるようにする — Unity FontAwesome
- Unity Learning Materials
- Unity State Management
- Unity Timelineの再生 — Unity Timeline再生
- Unity_アニメーション終了を待つ — Unity アニメーション終了
- Unity イベント管理
- Unityを利用したゲーム開発におけるアーキテクチャ — Unity ゲーム開発アーキテクチャ
- Unityショートカット
- Unityディレクトリ構成
- Value Object
- Vectorization for Digital Signal Processors via Equality Saturation — Vectorization Equality Saturation
- Vectorization of Control Flow with New Masked Vector Intrinsics — Vectorization of Control Flow
- Verse
- Writing Interpreters in Rust
- Y Combinator
- YAGNI
- Zenject
- arcturus
- bevy
- brewでインストールしたC++パッケージを使用する — brew C++パッケージ
- cake pattern
- capture avoiding substitution
- chalk
- clippy
- cmmc
- combine
- creusot
- diospyros
- egg
- egg tutorial
- egg Fast and extensible equality saturation — egg: Fast extensible equality saturation
- ehttp
- eta-conversion
- fp-ts
- freezed
- gcc
- global value numbering
- ipulang
- kotlin時刻変換
- lalrpop
- let多相
- line_profiler
- mem2reg
- mockk
- monocle-ts
- nom
- pip
- polars
- primitive obsession
- py2exo
- rhai
- riml
- rowan
- rust-analyzer
- tabled
- tia
- tinytemplate
- tower-lsp
- trait object
- tsc incremental option — tsc —incremental option
- van Laarhoven lens
- venv
- zeta-reduction
- zig
- zod
- beta-optimal — β-optimal
- β-reduction
- λ計算
- π計算
- アイテム機能 with PUN2
- アプリ内課金Tips
- カインド
- カメラから見たターゲット平面上の衝突点
- クロージャ変換
- グラフ簡約
- ゲームにおけるコントラスト
- ゲームメカニクス
- ゲーム経済学におけるフィードバックループ
- コナーセンス
- ダメージシステム
- デザインパターン
- ドメインモデル貧血症
- プッシュダウンオートマトン — プッシュダウンオートマトン(PDA)
- プログラミング言語
- ホーア論理
- ユニットテストのための言語設計
- ラムダキューブ
- リフレクション
- レジスタ割り付け
- 万能チューリングマシン
- 並列化用ループ変換のための解析説明システム
- 代数的データ型
- 依存型
- 停止性問題
- 動画記述言語
- 動的解析
- Simply Typed Lambda Calculus — 単純型理論
- 型理論
- 変性 — 変性 variance
- 多段階計算
- 多相バリアント
- Existential Type — 存在型
- 幽霊型
- 形式手法
- 抽象モデル検査
- 文脈自由文法 — 文脈自由文法 CFG
- 文芸的プログラミング
- 早すぎる最適化
- 有限オートマトン
- 束縛変数
- 検査例外
- Equality Saturation — 等式飽和
- 篩型
- Continuation — 継続
- 言語処理系
- 関数型プログラミング
- 限定継続
- 難航 Python講座
- Term Rewriting — 項書換え