MOC: 言語/型/コンパイラ

curated 53 ページ / notes/ 233 ノート。_moc が全体ハブ。

curated — 蒸留した concept / entity (53)

• compiler-optimization — コンパイラ最適化（ループ変換・ベクトル化・レジスタ割り付け） concept
• equality-saturation — 等式飽和とe-graph concept
• functor-applicative-monad — Functor / Applicative / Monad 階層 concept
• lambda-calculus — ラムダ計算と簡約 concept
• parser-combinator — パーサコンビネータ concept
• rust-ownership-model — Rustの所有権モデル concept
• type-theory-lambda-cube — 型理論とλキューブ concept
• HVM List Fold benchmark isnt faithful — HVM List Fold benchmark isnt faithful entitie
• MPSC — MPSC entitie
• PLONK — PLONK entitie
• THE IMPLEMENTATION OF FUNCTIONAL PROGRAMMING LANGUAGES — THE IMPLEMENTATION OF FUNCTIONAL PROGRAMMING LANGUAGES entitie
• Tauri — Tauri entitie
• The Optimal Implementation of Functional Programming Languages (Cambridge Tracts in Theoretical Computer Science, Series Number 45) — The Optimal Implementation of Functional Programming Languages (Cambridge Tracts in Theoretical Computer Science, Series Number 45) entitie
• Typed Arena — Typed Arena entitie
• actix — actix entitie
• axum — axum entitie
• chalk — chalk entitie
• combine — combine entitie
• creusot — creusot entitie
• egg — egg entitie
• egg-equality-saturation — egg（等式飽和ライブラリ） entitie
• ehttp — ehttp entitie
• fern — fern entitie
• fuzzing — fuzzing entitie
• haskell-ghc — Haskell と GHC entitie
• herding-cats — Herding Cats (Scala cats チュートリアル) entitie
• hvm-runtime — HVM（Higher-order Virtual Machine） entitie
• inkwell — inkwell (Rust LLVM バインディング) entitie
• lalrpop — lalrpop entitie
• lex-yacc — lex / yacc (パーサジェネレータ) entitie
• llvm-mlir — LLVM と MLIR entitie
• ml-compilers — ML コンパイラ（TVM / Glow / PlaidML） entitie
• nom — nom entitie
• omniswap — omniswap entitie
• petgraph — petgraph entitie
• polars — polars entitie
• proof-assistants — 証明支援系（Coq / Agda / Lean / Isabelle / Idris） entitie
• rhai — rhai entitie
• rowan — rowan entitie
• rust-lang — Rust（言語とエコシステム） entitie
• tabled — tabled entitie
• tablegen — TableGen (LLVM) entitie
• tia — tia entitie
• tinytemplate — tinytemplate entitie
• tower-lsp — tower-lsp entitie
• triton-language — Triton（GPU カーネル言語） entitie
• type-theory-rs — type-theory-rs (構造的部分型の実装) entitie
• wgpu — wgpu entitie
• z3.rs — z3.rs entitie
• zig — zig entitie
• 『Term Rewriting and All that』 — 『Term Rewriting and All that』 entitie
• 『Types and Programming Languages』 — 『Types and Programming Languages』 entitie
• 『計算論 計算可能性とラムダ計算』読書メモ — 『計算論 計算可能性とラムダ計算』読書メモ entitie

notes — atomic な学習メモ (233)

• Abstract Rewriting
• Agda
• Algebraic Effect
• Algorithm M
• Algorithm W
• Ballerina
• C++
• CUElang
• Calculus of Constructions
• cats — Cats
• Clean Architecture for Unity
• Cloe
• Cone_Rewriting — Cone Rewriting
• Coq
• DAG-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 チュートリアル
• 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
• 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
• Hash consing
• Haskell
• Hindley-Milner型推論
• Idris
• ImtStateMachine
• 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
• PLDI
• POPL2013, PEPM2013, PLMW2013報告 — POPL2013 report
• PUN2
• PUNRpcでの状態の同期のサンプル
• PhotonNetWork.InstantiatePrefab()でDIしたい時 — PhotonNetWork DI
• 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
• SIC
• SMT2
• SPI計算
• SPORES
• Scala_tour — Scala tour
• ScriptableObject
• Semantic Tokens
• Siv3D
• Soot
• Starlark
• Structural Subtyping
• Subtyping
• Sugar CSP
• Synthesizing structured CAD models with equality saturation and inverse transformations — Synthesizing CAD models with equality saturation
• System F
• Tagless final
• The Wasm Interface Type
• Traversable
• Two Pass Parse
• TypeScript
• Typecript HKT encoding — TypeScript HKT encoding
• TypeScriptで独自演算子を作れるか? — TypeScript独自演算子
• 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
• brewでインストールしたC++パッケージを使用する — brew C++パッケージ
• cake pattern
• capture avoiding substitution
• clippy
• cmmc
• diospyros
• egg Fast and extensible equality saturation — egg: Fast extensible equality saturation
• eta-conversion
• freezed
• gcc
• global value numbering
• ipulang
• kotlin時刻変換
• let多相
• line_profiler
• mem2reg
• mockk
• monocle-ts
• pip
• primitive obsession
• py2exo
• riml
• rust-analyzer
• trait object
• tsc incremental option — tsc —incremental option
• van Laarhoven lens
• venv
• zeta-reduction
• beta-optimal — β-optimal
• β-reduction
• λ計算
• π計算
• アイテム機能 with PUN2
• アプリ内課金Tips
• カインド
• カメラから見たターゲット平面上の衝突点
• クロージャ変換
• グラフ簡約
• ゲームにおけるコントラスト
• ゲームメカニクス
• ゲーム経済学におけるフィードバックループ
• コナーセンス
• ダメージシステム
• デザインパターン
• ドメインモデル貧血症
• プッシュダウンオートマトン — プッシュダウンオートマトン(PDA)
• プログラミング言語
• ホーア論理
• ユニットテストのための言語設計
• ラムダキューブ
• リフレクション
• レジスタ割り付け
• 万能チューリングマシン
• 並列化用ループ変換のための解析説明システム
• 代数的データ型
• 依存型
• 停止性問題
• 動画記述言語
• 動的解析
• Simply Typed Lambda Calculus — 単純型理論
• 型理論
• 変性 — 変性 variance
• 多段階計算
• 多相バリアント
• Existential Type — 存在型
• 幽霊型
• 形式手法
• 抽象モデル検査
• 文脈自由文法 — 文脈自由文法 CFG
• 文芸的プログラミング
• 早すぎる最適化
• 有限オートマトン
• 束縛変数
• 検査例外
• Equality Saturation — 等式飽和
• 篩型
• Continuation — 継続
• 言語処理系
• 関数型プログラミング
• 限定継続
• 難航 Python講座
• Term Rewriting — 項書換え