← Tags #programming-paradigm

31 notes

Algebraic Effects programming-paradigmcomputer-sciencetype-theory Clojure languageprogramming-paradigm Coeffect programming-paradigmtype-theory Comonad programming-paradigmtype-theory F# languageprogramming-paradigm Forth languageprogramming-paradigmstack Functional Core, Imperative Shell design-principleprogramming-paradigm LISP programming-paradigmcomputer-sciencelanguage Mind languageprogramming-paradigmstackjapanese Monad programming-paradigmcomputer-sciencetype-theory OCaml languageprogramming-paradigm Tagless Final programming-paradigmtype-theory λ計算 programming-paradigmcomputer-sciencetype-theory アクターモデル computer-scienceprogramming-paradigm スタック指向プログラミング programming-paradigmcomputer-science デコーダパターン programming-paradigmtype-theory パーサコンビネータ programming-paradigmcomputer-science パラメトリシティ / 自由定理 type-theoryprogramming-paradigm 代数的演算 (algebraic operations) type-theoryprogramming-paradigm 再帰スキーム programming-paradigmtype-theory 効果ハンドラ (effect handlers) programming-paradigmtype-theory 多段階計算 programming-paradigmcomputer-science 抽象機械 programming-paradigmcomputer-science 末尾呼び出し最適化 (TCO) computer-scienceprogramming-paradigm 等式推論 programming-paradigmtype-theory 簡約（α, β, η） programming-paradigmcomputer-sciencetype-theory 純粋関数型言語 programming-paradigmcomputer-science 継続 / 限定継続 programming-paradigmcomputer-science 部分評価 programming-paradigmcomputer-science 関数型言語 programming-paradigmcomputer-science 高階型 (HKT) type-theoryprogramming-paradigm