📁プログラミングパラダイム

• up: 📂Computer Science
• tags. 📝パラダイム
• links
  • プログラミングパラダイム - Wikipedia

プログラミングパラダイムについて. 具体的には CTMCP で扱うような分野のまとめ. メモの整理としてはWikipediaにあわせるようにする.

Index

• 📝宣言型プログラミング
  • 📝関数型プログラミング
  • 📝データ指向プログラミング
• 📝命令形プログラミング
  • 📝手続き型プログラミング
  • 📝構造化プログラミング
  • 📝オブジェクト指向プログラミング
• 📝並行プログラミング
  • 📝イベント駆動プログラミング
  • 📝共有メモリモデル
  • 📝メッセージパッシングモデル
    • 📝Actor モデル
    • 📝CSPモデル
  • 📝決定性データフローモデル
  • 📝マルチエージェントデータフローモデル
• 📝契約プログラミング
• 📝不変式プログラミング

🔖プログラミング性質

プログラミング/ソフトウェアの文脈で語られる性質についてまとめる. プログラミングパラダイムとは, これらの要素の組み合わせになる.

• 📝可変性(mutable)
• 📝不変性(immutable)
• 📝永続性(persistent)
• 📝宣言性(Declarativity)
• 📝参照透過性

🔖冪等性

べき等性. 同じ操作を何度繰り返しても, 同じ結果が得られる性質のこと.

インフラの文脈やRESTの文脈で登場する.

• 📝HTTP PUT

🔖ACID

トランザクション処理の信頼性を保証するために求められる性質.

---

• 📝ソフトウェアトランザクションメモリ(STM)はA, C, Iを有する.
• ACID (コンピュータ科学) - Wikipedia

🔖アトミック性

不可分性, 原子性, アトミック性(Atomicity).

トランザクションに含まれるタスクが全て実行されるか, あるいは全く実行されないことを保証する性質.

• 🔦DEXのスワップではアトミック性をもつ
• 📝フラッシュローン
• 🤖Atomic Arb

🔖Consistency

🔖Isolation

🔖Durability

References

• 📚計算機プログラムの構造と解釈
• 📚コンピュータプログラミングの概念・技法・モデル