@k2works/claude-code-booster 4.13.0 → 4.15.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (752) hide show
  1. package/LICENSE +21 -21
  2. package/README.md +42 -42
  3. package/bin/claude-code-booster +113 -90
  4. package/lib/assets/.claude/README.md +287 -283
  5. package/lib/assets/.claude/agents/xp-architect.md +250 -250
  6. package/lib/assets/.claude/agents/xp-executive.md +207 -207
  7. package/lib/assets/.claude/agents/xp-interaction-designer.md +239 -239
  8. package/lib/assets/.claude/agents/xp-product-manager.md +245 -245
  9. package/lib/assets/.claude/agents/xp-programmer.md +268 -268
  10. package/lib/assets/.claude/agents/xp-project-manager.md +229 -229
  11. package/lib/assets/.claude/agents/xp-technical-writer.md +224 -224
  12. package/lib/assets/.claude/agents/xp-tester.md +265 -265
  13. package/lib/assets/.claude/agents/xp-user-representative.md +204 -204
  14. package/lib/assets/.claude/scripts/generate-inception-deck.mjs +911 -911
  15. package/lib/assets/.claude/settings.json +11 -11
  16. package/lib/assets/.claude/skills/ai-agent-guidelines/SKILL.md +111 -111
  17. package/lib/assets/.claude/skills/analyzing-architecture/SKILL.md +83 -83
  18. package/lib/assets/.claude/skills/analyzing-business-architecture/SKILL.md +122 -122
  19. package/lib/assets/.claude/skills/analyzing-business-case/SKILL.md +148 -148
  20. package/lib/assets/.claude/skills/analyzing-business-strategy/SKILL.md +277 -277
  21. package/lib/assets/.claude/skills/analyzing-data-model/SKILL.md +77 -77
  22. package/lib/assets/.claude/skills/analyzing-domain-model/SKILL.md +117 -117
  23. package/lib/assets/.claude/skills/analyzing-inception-deck/SKILL.md +84 -84
  24. package/lib/assets/.claude/skills/analyzing-non-functional/SKILL.md +95 -95
  25. package/lib/assets/.claude/skills/analyzing-operation/SKILL.md +95 -95
  26. package/lib/assets/.claude/skills/analyzing-requirements/SKILL.md +91 -91
  27. package/lib/assets/.claude/skills/analyzing-review/SKILL.md +174 -174
  28. package/lib/assets/.claude/skills/analyzing-tech-stack/SKILL.md +101 -101
  29. package/lib/assets/.claude/skills/analyzing-test-strategy/SKILL.md +89 -89
  30. package/lib/assets/.claude/skills/analyzing-ui-design/SKILL.md +80 -80
  31. package/lib/assets/.claude/skills/analyzing-usecases/SKILL.md +72 -72
  32. package/lib/assets/.claude/skills/closing-iteration/SKILL.md +160 -146
  33. package/lib/assets/.claude/skills/creating-adr/SKILL.md +113 -113
  34. package/lib/assets/.claude/skills/creating-article/SKILL.md +156 -0
  35. package/lib/assets/.claude/skills/creating-development-strategy/SKILL.md +127 -127
  36. package/lib/assets/.claude/skills/creating-iteration-report/SKILL.md +210 -210
  37. package/lib/assets/.claude/skills/creating-journal/SKILL.md +129 -129
  38. package/lib/assets/.claude/skills/creating-manual/SKILL.md +199 -0
  39. package/lib/assets/.claude/skills/creating-release-report/SKILL.md +161 -161
  40. package/lib/assets/.claude/skills/creating-slides/SKILL.md +86 -86
  41. package/lib/assets/.claude/skills/creating-slides/agents/openai.yaml +4 -4
  42. package/lib/assets/.claude/skills/creating-slides/references/manga-css.md +45 -45
  43. package/lib/assets/.claude/skills/creating-slides/scripts/slide_tools.py +239 -239
  44. package/lib/assets/.claude/skills/developing-backend/SKILL.md +100 -100
  45. package/lib/assets/.claude/skills/developing-frontend/SKILL.md +93 -93
  46. package/lib/assets/.claude/skills/developing-release/SKILL.md +120 -120
  47. package/lib/assets/.claude/skills/developing-review/SKILL.md +175 -175
  48. package/lib/assets/.claude/skills/developing-uiux-review/SKILL.md +207 -207
  49. package/lib/assets/.claude/skills/generating-bmc/SKILL.md +123 -123
  50. package/lib/assets/.claude/skills/generating-slides/SKILL.md +94 -94
  51. package/lib/assets/.claude/skills/git-commit/SKILL.md +81 -81
  52. package/lib/assets/.claude/skills/killing-processes/SKILL.md +44 -44
  53. package/lib/assets/.claude/skills/opening-iteration/SKILL.md +109 -105
  54. package/lib/assets/.claude/skills/operating-backup/SKILL.md +59 -59
  55. package/lib/assets/.claude/skills/operating-cicd/SKILL.md +54 -54
  56. package/lib/assets/.claude/skills/operating-deploy/SKILL.md +67 -67
  57. package/lib/assets/.claude/skills/operating-docs/SKILL.md +219 -219
  58. package/lib/assets/.claude/skills/operating-provision/SKILL.md +77 -77
  59. package/lib/assets/.claude/skills/operating-qt/SKILL.md +147 -147
  60. package/lib/assets/.claude/skills/operating-review/SKILL.md +171 -171
  61. package/lib/assets/.claude/skills/operating-script/SKILL.md +145 -145
  62. package/lib/assets/.claude/skills/operating-setup/SKILL.md +63 -63
  63. package/lib/assets/.claude/skills/orchestrating-analysis/SKILL.md +104 -104
  64. package/lib/assets/.claude/skills/orchestrating-development/SKILL.md +168 -168
  65. package/lib/assets/.claude/skills/orchestrating-operation/SKILL.md +158 -158
  66. package/lib/assets/.claude/skills/orchestrating-project/SKILL.md +144 -144
  67. package/lib/assets/.claude/skills/planning-releases/SKILL.md +119 -119
  68. package/lib/assets/.claude/skills/practicing-getting-start-tdd/SKILL.md +266 -266
  69. package/lib/assets/.claude/skills/syncing-github-project/SKILL.md +151 -151
  70. package/lib/assets/.claude/skills/tracking-progress/SKILL.md +91 -91
  71. package/lib/assets/.claude/skills/validating-design/SKILL.md +130 -130
  72. package/lib/assets/.claude/skills/validating-iteration-plan/SKILL.md +238 -238
  73. package/lib/assets/.claude/skills/validating-operating-setup/SKILL.md +118 -118
  74. package/lib/assets/.devcontainer/devcontainer.json +37 -37
  75. package/lib/assets/.env.example +23 -17
  76. package/lib/assets/.gitattributes +4 -4
  77. package/lib/assets/.github/workflows/docker-publish.yml +77 -77
  78. package/lib/assets/.github/workflows/mkdocs.yml +39 -39
  79. package/lib/assets/AGENTS.md +94 -94
  80. package/lib/assets/CLAUDE.md +201 -197
  81. package/lib/assets/README.md +304 -291
  82. package/lib/assets/docker-compose.yml +33 -33
  83. package/lib/assets/docs/adr/index.md +10 -10
  84. package/lib/assets/docs/article/functional-desgin-ppp/all/01-immutability-and-data-transformation.md +475 -475
  85. package/lib/assets/docs/article/functional-desgin-ppp/all/02-function-composition.md +519 -519
  86. package/lib/assets/docs/article/functional-desgin-ppp/all/03-polymorphism.md +537 -537
  87. package/lib/assets/docs/article/functional-desgin-ppp/all/04-data-validation.md +300 -300
  88. package/lib/assets/docs/article/functional-desgin-ppp/all/05-property-based-testing.md +320 -320
  89. package/lib/assets/docs/article/functional-desgin-ppp/all/06-tdd-and-functional.md +498 -498
  90. package/lib/assets/docs/article/functional-desgin-ppp/all/07-composite-pattern.md +298 -298
  91. package/lib/assets/docs/article/functional-desgin-ppp/all/08-decorator-pattern.md +291 -291
  92. package/lib/assets/docs/article/functional-desgin-ppp/all/09-adapter-pattern.md +336 -336
  93. package/lib/assets/docs/article/functional-desgin-ppp/all/10-strategy-pattern.md +303 -303
  94. package/lib/assets/docs/article/functional-desgin-ppp/all/11-command-pattern.md +286 -286
  95. package/lib/assets/docs/article/functional-desgin-ppp/all/12-visitor-pattern.md +322 -322
  96. package/lib/assets/docs/article/functional-desgin-ppp/all/13-abstract-factory-pattern.md +319 -319
  97. package/lib/assets/docs/article/functional-desgin-ppp/all/14-abstract-server-pattern.md +365 -365
  98. package/lib/assets/docs/article/functional-desgin-ppp/all/15-gossiping-bus-drivers.md +156 -156
  99. package/lib/assets/docs/article/functional-desgin-ppp/all/16-payroll-system.md +178 -178
  100. package/lib/assets/docs/article/functional-desgin-ppp/all/17-video-rental-system.md +312 -312
  101. package/lib/assets/docs/article/functional-desgin-ppp/all/18-concurrency-system.md +287 -287
  102. package/lib/assets/docs/article/functional-desgin-ppp/all/19-wa-tor-simulation.md +286 -286
  103. package/lib/assets/docs/article/functional-desgin-ppp/all/20-pattern-interactions.md +274 -274
  104. package/lib/assets/docs/article/functional-desgin-ppp/all/21-best-practices.md +294 -294
  105. package/lib/assets/docs/article/functional-desgin-ppp/all/22-oo-to-fp-migration.md +337 -337
  106. package/lib/assets/docs/article/functional-desgin-ppp/all/index.md +388 -388
  107. package/lib/assets/docs/article/functional-desgin-ppp/clojure/01-immutability-and-data-transformation.md +273 -273
  108. package/lib/assets/docs/article/functional-desgin-ppp/clojure/02-function-composition.md +380 -380
  109. package/lib/assets/docs/article/functional-desgin-ppp/clojure/03-polymorphism.md +384 -384
  110. package/lib/assets/docs/article/functional-desgin-ppp/clojure/04-clojure-spec.md +350 -350
  111. package/lib/assets/docs/article/functional-desgin-ppp/clojure/05-property-based-testing.md +352 -352
  112. package/lib/assets/docs/article/functional-desgin-ppp/clojure/06-tdd-in-functional.md +383 -383
  113. package/lib/assets/docs/article/functional-desgin-ppp/clojure/07-composite-pattern.md +529 -529
  114. package/lib/assets/docs/article/functional-desgin-ppp/clojure/08-decorator-pattern.md +395 -395
  115. package/lib/assets/docs/article/functional-desgin-ppp/clojure/09-adapter-pattern.md +399 -399
  116. package/lib/assets/docs/article/functional-desgin-ppp/clojure/10-strategy-pattern.md +485 -485
  117. package/lib/assets/docs/article/functional-desgin-ppp/clojure/11-command-pattern.md +566 -566
  118. package/lib/assets/docs/article/functional-desgin-ppp/clojure/12-visitor-pattern.md +567 -567
  119. package/lib/assets/docs/article/functional-desgin-ppp/clojure/13-abstract-factory-pattern.md +475 -475
  120. package/lib/assets/docs/article/functional-desgin-ppp/clojure/14-abstract-server-pattern.md +462 -462
  121. package/lib/assets/docs/article/functional-desgin-ppp/clojure/15-gossiping-bus-drivers.md +325 -325
  122. package/lib/assets/docs/article/functional-desgin-ppp/clojure/16-payroll-system.md +401 -401
  123. package/lib/assets/docs/article/functional-desgin-ppp/clojure/17-video-rental-system.md +450 -450
  124. package/lib/assets/docs/article/functional-desgin-ppp/clojure/18-concurrency-system.md +475 -475
  125. package/lib/assets/docs/article/functional-desgin-ppp/clojure/19-wator-simulation.md +739 -739
  126. package/lib/assets/docs/article/functional-desgin-ppp/clojure/20-pattern-interactions.md +567 -567
  127. package/lib/assets/docs/article/functional-desgin-ppp/clojure/21-best-practices.md +518 -518
  128. package/lib/assets/docs/article/functional-desgin-ppp/clojure/22-oo-to-fp-migration.md +532 -532
  129. package/lib/assets/docs/article/functional-desgin-ppp/clojure/index.md +241 -241
  130. package/lib/assets/docs/article/functional-desgin-ppp/elixir/01-immutability-and-data-transformation.md +383 -383
  131. package/lib/assets/docs/article/functional-desgin-ppp/elixir/02-function-composition.md +374 -374
  132. package/lib/assets/docs/article/functional-desgin-ppp/elixir/03-polymorphism.md +375 -375
  133. package/lib/assets/docs/article/functional-desgin-ppp/elixir/04-data-validation.md +195 -195
  134. package/lib/assets/docs/article/functional-desgin-ppp/elixir/05-property-based-testing.md +268 -268
  135. package/lib/assets/docs/article/functional-desgin-ppp/elixir/06-tdd-and-fp.md +294 -294
  136. package/lib/assets/docs/article/functional-desgin-ppp/elixir/07-effects-and-pure-functions.md +164 -164
  137. package/lib/assets/docs/article/functional-desgin-ppp/elixir/08-error-handling-strategies.md +168 -168
  138. package/lib/assets/docs/article/functional-desgin-ppp/elixir/09-io-and-external-systems.md +254 -254
  139. package/lib/assets/docs/article/functional-desgin-ppp/elixir/10-concurrency-patterns.md +269 -269
  140. package/lib/assets/docs/article/functional-desgin-ppp/elixir/11-command-pattern.md +148 -148
  141. package/lib/assets/docs/article/functional-desgin-ppp/elixir/12-visitor-pattern.md +176 -176
  142. package/lib/assets/docs/article/functional-desgin-ppp/elixir/13-abstract-factory-pattern.md +604 -604
  143. package/lib/assets/docs/article/functional-desgin-ppp/elixir/14-abstract-server-pattern.md +729 -729
  144. package/lib/assets/docs/article/functional-desgin-ppp/elixir/15-gossiping-bus-drivers.md +291 -291
  145. package/lib/assets/docs/article/functional-desgin-ppp/elixir/16-payroll-system.md +420 -420
  146. package/lib/assets/docs/article/functional-desgin-ppp/elixir/17-video-rental-system.md +319 -319
  147. package/lib/assets/docs/article/functional-desgin-ppp/elixir/18-concurrency-system.md +466 -466
  148. package/lib/assets/docs/article/functional-desgin-ppp/elixir/19-wator-simulation.md +523 -523
  149. package/lib/assets/docs/article/functional-desgin-ppp/elixir/20-pattern-interactions.md +287 -287
  150. package/lib/assets/docs/article/functional-desgin-ppp/elixir/21-best-practices.md +340 -340
  151. package/lib/assets/docs/article/functional-desgin-ppp/elixir/22-oo-to-fp-migration.md +395 -395
  152. package/lib/assets/docs/article/functional-desgin-ppp/elixir/index.md +248 -248
  153. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/01-immutability-and-data-transformation.md +384 -384
  154. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/02-function-composition.md +452 -452
  155. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/03-polymorphism.md +495 -495
  156. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/04-data-validation.md +416 -416
  157. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/05-property-based-testing.md +382 -382
  158. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/06-tdd-functional.md +687 -687
  159. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/07-composite-pattern.md +442 -442
  160. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/08-decorator-pattern.md +479 -479
  161. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/09-adapter-pattern.md +479 -479
  162. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/10-strategy-pattern.md +427 -427
  163. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/11-command-pattern.md +428 -428
  164. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/12-visitor-pattern.md +339 -339
  165. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/13-abstract-factory-pattern.md +309 -309
  166. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/14-abstract-server-pattern.md +596 -596
  167. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/15-gossiping-bus-drivers.md +355 -355
  168. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/16-payroll-system.md +350 -350
  169. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/17-video-rental-system.md +414 -414
  170. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/18-concurrency-system.md +367 -367
  171. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/19-wator-simulation.md +403 -403
  172. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/20-pattern-interactions.md +291 -291
  173. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/21-best-practices.md +324 -324
  174. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/22-oo-to-fp-migration.md +332 -332
  175. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/index.md +274 -274
  176. package/lib/assets/docs/article/functional-desgin-ppp/haskell/01-immutability-and-data-transformation.md +298 -298
  177. package/lib/assets/docs/article/functional-desgin-ppp/haskell/02-function-composition.md +304 -304
  178. package/lib/assets/docs/article/functional-desgin-ppp/haskell/03-polymorphism.md +362 -362
  179. package/lib/assets/docs/article/functional-desgin-ppp/haskell/04-data-validation.md +257 -257
  180. package/lib/assets/docs/article/functional-desgin-ppp/haskell/05-property-based-testing.md +254 -254
  181. package/lib/assets/docs/article/functional-desgin-ppp/haskell/06-tdd-functional.md +283 -283
  182. package/lib/assets/docs/article/functional-desgin-ppp/haskell/07-composite-pattern.md +395 -395
  183. package/lib/assets/docs/article/functional-desgin-ppp/haskell/08-decorator-pattern.md +319 -319
  184. package/lib/assets/docs/article/functional-desgin-ppp/haskell/09-adapter-pattern.md +382 -382
  185. package/lib/assets/docs/article/functional-desgin-ppp/haskell/10-strategy-pattern.md +287 -287
  186. package/lib/assets/docs/article/functional-desgin-ppp/haskell/11-command-pattern.md +303 -303
  187. package/lib/assets/docs/article/functional-desgin-ppp/haskell/12-visitor-pattern.md +326 -326
  188. package/lib/assets/docs/article/functional-desgin-ppp/haskell/13-abstract-factory-pattern.md +332 -332
  189. package/lib/assets/docs/article/functional-desgin-ppp/haskell/14-abstract-server-pattern.md +379 -379
  190. package/lib/assets/docs/article/functional-desgin-ppp/haskell/15-gossiping-bus-drivers.md +177 -177
  191. package/lib/assets/docs/article/functional-desgin-ppp/haskell/16-payroll-system.md +219 -219
  192. package/lib/assets/docs/article/functional-desgin-ppp/haskell/17-video-rental-system.md +244 -244
  193. package/lib/assets/docs/article/functional-desgin-ppp/haskell/18-concurrency-system.md +363 -363
  194. package/lib/assets/docs/article/functional-desgin-ppp/haskell/19-wator-simulation.md +438 -438
  195. package/lib/assets/docs/article/functional-desgin-ppp/haskell/20-pattern-interactions.md +325 -325
  196. package/lib/assets/docs/article/functional-desgin-ppp/haskell/21-best-practices.md +403 -403
  197. package/lib/assets/docs/article/functional-desgin-ppp/haskell/22-oo-to-fp-migration.md +469 -469
  198. package/lib/assets/docs/article/functional-desgin-ppp/haskell/index.md +174 -174
  199. package/lib/assets/docs/article/functional-desgin-ppp/index.md +90 -90
  200. package/lib/assets/docs/article/functional-desgin-ppp/rust/01-immutability-and-data-transformation.md +450 -450
  201. package/lib/assets/docs/article/functional-desgin-ppp/rust/02-function-composition.md +463 -463
  202. package/lib/assets/docs/article/functional-desgin-ppp/rust/03-polymorphism.md +425 -425
  203. package/lib/assets/docs/article/functional-desgin-ppp/rust/04-data-validation.md +273 -273
  204. package/lib/assets/docs/article/functional-desgin-ppp/rust/05-property-based-testing.md +247 -247
  205. package/lib/assets/docs/article/functional-desgin-ppp/rust/06-tdd-and-functional.md +841 -841
  206. package/lib/assets/docs/article/functional-desgin-ppp/rust/07-composite-pattern.md +384 -384
  207. package/lib/assets/docs/article/functional-desgin-ppp/rust/08-decorator-pattern.md +383 -383
  208. package/lib/assets/docs/article/functional-desgin-ppp/rust/09-adapter-pattern.md +339 -339
  209. package/lib/assets/docs/article/functional-desgin-ppp/rust/10-strategy-pattern.md +331 -331
  210. package/lib/assets/docs/article/functional-desgin-ppp/rust/11-command-pattern.md +356 -356
  211. package/lib/assets/docs/article/functional-desgin-ppp/rust/12-visitor-pattern.md +379 -379
  212. package/lib/assets/docs/article/functional-desgin-ppp/rust/13-abstract-factory-pattern.md +361 -361
  213. package/lib/assets/docs/article/functional-desgin-ppp/rust/14-abstract-server-pattern.md +392 -392
  214. package/lib/assets/docs/article/functional-desgin-ppp/rust/15-gossiping-bus-drivers.md +300 -300
  215. package/lib/assets/docs/article/functional-desgin-ppp/rust/16-payroll-system.md +297 -297
  216. package/lib/assets/docs/article/functional-desgin-ppp/rust/17-video-rental-system.md +304 -304
  217. package/lib/assets/docs/article/functional-desgin-ppp/rust/18-concurrency-system.md +315 -315
  218. package/lib/assets/docs/article/functional-desgin-ppp/rust/19-wator-simulation.md +311 -311
  219. package/lib/assets/docs/article/functional-desgin-ppp/rust/20-pattern-interactions.md +304 -304
  220. package/lib/assets/docs/article/functional-desgin-ppp/rust/21-best-practices.md +336 -336
  221. package/lib/assets/docs/article/functional-desgin-ppp/rust/22-oo-to-fp-migration.md +349 -349
  222. package/lib/assets/docs/article/functional-desgin-ppp/rust/index.md +243 -243
  223. package/lib/assets/docs/article/functional-desgin-ppp/scala/01-immutability-and-data-transformation.md +328 -328
  224. package/lib/assets/docs/article/functional-desgin-ppp/scala/02-function-composition.md +348 -348
  225. package/lib/assets/docs/article/functional-desgin-ppp/scala/03-polymorphism.md +357 -357
  226. package/lib/assets/docs/article/functional-desgin-ppp/scala/04-data-validation.md +364 -364
  227. package/lib/assets/docs/article/functional-desgin-ppp/scala/05-property-based-testing.md +515 -515
  228. package/lib/assets/docs/article/functional-desgin-ppp/scala/06-tdd-functional.md +557 -557
  229. package/lib/assets/docs/article/functional-desgin-ppp/scala/07-composite-pattern.md +363 -363
  230. package/lib/assets/docs/article/functional-desgin-ppp/scala/08-decorator-pattern.md +327 -327
  231. package/lib/assets/docs/article/functional-desgin-ppp/scala/09-adapter-pattern.md +517 -517
  232. package/lib/assets/docs/article/functional-desgin-ppp/scala/10-strategy-pattern.md +441 -441
  233. package/lib/assets/docs/article/functional-desgin-ppp/scala/11-command-pattern.md +407 -407
  234. package/lib/assets/docs/article/functional-desgin-ppp/scala/12-visitor-pattern.md +379 -379
  235. package/lib/assets/docs/article/functional-desgin-ppp/scala/13-abstract-factory-pattern.md +398 -398
  236. package/lib/assets/docs/article/functional-desgin-ppp/scala/14-abstract-server-pattern.md +476 -476
  237. package/lib/assets/docs/article/functional-desgin-ppp/scala/15-gossiping-bus-drivers.md +391 -391
  238. package/lib/assets/docs/article/functional-desgin-ppp/scala/16-payroll-system.md +342 -342
  239. package/lib/assets/docs/article/functional-desgin-ppp/scala/17-video-rental-system.md +324 -324
  240. package/lib/assets/docs/article/functional-desgin-ppp/scala/18-concurrency-system.md +730 -730
  241. package/lib/assets/docs/article/functional-desgin-ppp/scala/19-wator-simulation.md +624 -624
  242. package/lib/assets/docs/article/functional-desgin-ppp/scala/20-pattern-interactions.md +512 -512
  243. package/lib/assets/docs/article/functional-desgin-ppp/scala/21-best-practices.md +433 -433
  244. package/lib/assets/docs/article/functional-desgin-ppp/scala/22-oo-to-fp-migration.md +688 -688
  245. package/lib/assets/docs/article/functional-desgin-ppp/scala/index.md +243 -243
  246. package/lib/assets/docs/article/getting-start-tdd/clojure/01-todo-list-and-first-test.md +166 -166
  247. package/lib/assets/docs/article/getting-start-tdd/clojure/02-fake-it-and-triangulation.md +162 -162
  248. package/lib/assets/docs/article/getting-start-tdd/clojure/03-obvious-implementation-and-refactoring.md +135 -135
  249. package/lib/assets/docs/article/getting-start-tdd/clojure/04-version-control-and-conventional-commits.md +88 -88
  250. package/lib/assets/docs/article/getting-start-tdd/clojure/05-package-management-and-static-analysis.md +299 -299
  251. package/lib/assets/docs/article/getting-start-tdd/clojure/06-task-runner-and-ci-cd.md +241 -241
  252. package/lib/assets/docs/article/getting-start-tdd/clojure/07-protocols-and-records.md +131 -131
  253. package/lib/assets/docs/article/getting-start-tdd/clojure/08-multimethods-and-design-patterns.md +130 -130
  254. package/lib/assets/docs/article/getting-start-tdd/clojure/09-namespaces-and-module-design.md +127 -127
  255. package/lib/assets/docs/article/getting-start-tdd/clojure/10-higher-order-functions-and-composition.md +114 -114
  256. package/lib/assets/docs/article/getting-start-tdd/clojure/11-persistent-data-and-pipeline.md +138 -138
  257. package/lib/assets/docs/article/getting-start-tdd/clojure/12-error-handling-and-spec.md +161 -161
  258. package/lib/assets/docs/article/getting-start-tdd/clojure/index.md +65 -65
  259. package/lib/assets/docs/article/getting-start-tdd/csharp/chapter01.md +232 -232
  260. package/lib/assets/docs/article/getting-start-tdd/csharp/chapter02.md +244 -244
  261. package/lib/assets/docs/article/getting-start-tdd/csharp/chapter03.md +202 -202
  262. package/lib/assets/docs/article/getting-start-tdd/csharp/chapter04.md +92 -92
  263. package/lib/assets/docs/article/getting-start-tdd/csharp/chapter05.md +256 -256
  264. package/lib/assets/docs/article/getting-start-tdd/csharp/chapter06.md +195 -195
  265. package/lib/assets/docs/article/getting-start-tdd/csharp/chapter07.md +214 -214
  266. package/lib/assets/docs/article/getting-start-tdd/csharp/chapter08.md +249 -249
  267. package/lib/assets/docs/article/getting-start-tdd/csharp/chapter09.md +174 -174
  268. package/lib/assets/docs/article/getting-start-tdd/csharp/chapter10.md +166 -166
  269. package/lib/assets/docs/article/getting-start-tdd/csharp/chapter11.md +192 -192
  270. package/lib/assets/docs/article/getting-start-tdd/csharp/chapter12.md +211 -211
  271. package/lib/assets/docs/article/getting-start-tdd/csharp/index.md +83 -83
  272. package/lib/assets/docs/article/getting-start-tdd/elixir/01-todo-list-and-first-test.md +87 -87
  273. package/lib/assets/docs/article/getting-start-tdd/elixir/02-fake-it-and-triangulation.md +95 -95
  274. package/lib/assets/docs/article/getting-start-tdd/elixir/03-obvious-implementation-and-refactoring.md +109 -109
  275. package/lib/assets/docs/article/getting-start-tdd/elixir/04-version-control-and-conventional-commits.md +96 -96
  276. package/lib/assets/docs/article/getting-start-tdd/elixir/05-package-management-and-static-analysis.md +88 -88
  277. package/lib/assets/docs/article/getting-start-tdd/elixir/06-task-runner-and-ci-cd.md +71 -71
  278. package/lib/assets/docs/article/getting-start-tdd/elixir/07-structs-and-protocols.md +110 -110
  279. package/lib/assets/docs/article/getting-start-tdd/elixir/08-pattern-matching-and-guards.md +108 -108
  280. package/lib/assets/docs/article/getting-start-tdd/elixir/09-module-design-and-behaviours.md +104 -104
  281. package/lib/assets/docs/article/getting-start-tdd/elixir/10-higher-order-functions-and-pipeline.md +178 -178
  282. package/lib/assets/docs/article/getting-start-tdd/elixir/11-stream-and-lazy-evaluation.md +142 -142
  283. package/lib/assets/docs/article/getting-start-tdd/elixir/12-error-handling-and-with.md +145 -145
  284. package/lib/assets/docs/article/getting-start-tdd/elixir/index.md +35 -35
  285. package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter01.md +202 -202
  286. package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter02.md +246 -246
  287. package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter03.md +218 -218
  288. package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter04.md +179 -179
  289. package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter05.md +267 -267
  290. package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter06.md +190 -190
  291. package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter07.md +161 -161
  292. package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter08.md +175 -175
  293. package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter09.md +222 -222
  294. package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter10.md +189 -189
  295. package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter11.md +212 -212
  296. package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter12.md +215 -215
  297. package/lib/assets/docs/article/getting-start-tdd/fsharp/index.md +71 -71
  298. package/lib/assets/docs/article/getting-start-tdd/go/01-todo-list-and-first-test.md +213 -213
  299. package/lib/assets/docs/article/getting-start-tdd/go/02-fake-it-and-triangulation.md +302 -302
  300. package/lib/assets/docs/article/getting-start-tdd/go/03-obvious-implementation-and-refactoring.md +339 -339
  301. package/lib/assets/docs/article/getting-start-tdd/go/04-version-control-and-conventional-commits.md +112 -112
  302. package/lib/assets/docs/article/getting-start-tdd/go/05-package-management-and-static-analysis.md +272 -272
  303. package/lib/assets/docs/article/getting-start-tdd/go/06-task-runner-and-ci-cd.md +233 -233
  304. package/lib/assets/docs/article/getting-start-tdd/go/07-encapsulation-and-polymorphism.md +394 -394
  305. package/lib/assets/docs/article/getting-start-tdd/go/08-design-patterns.md +422 -422
  306. package/lib/assets/docs/article/getting-start-tdd/go/09-solid-principles-and-module-design.md +400 -400
  307. package/lib/assets/docs/article/getting-start-tdd/go/10-higher-order-functions-and-composition.md +226 -226
  308. package/lib/assets/docs/article/getting-start-tdd/go/11-immutable-data-and-pipeline.md +296 -296
  309. package/lib/assets/docs/article/getting-start-tdd/go/12-error-handling-and-type-safety.md +411 -411
  310. package/lib/assets/docs/article/getting-start-tdd/go/index.md +83 -83
  311. package/lib/assets/docs/article/getting-start-tdd/haskell/01-todo-list-and-first-test.md +279 -279
  312. package/lib/assets/docs/article/getting-start-tdd/haskell/02-fake-it-and-triangulation.md +337 -337
  313. package/lib/assets/docs/article/getting-start-tdd/haskell/03-obvious-implementation-and-refactoring.md +257 -257
  314. package/lib/assets/docs/article/getting-start-tdd/haskell/04-version-control-and-conventional-commits.md +182 -182
  315. package/lib/assets/docs/article/getting-start-tdd/haskell/05-package-management-and-static-analysis.md +313 -313
  316. package/lib/assets/docs/article/getting-start-tdd/haskell/06-task-runner-and-ci-cd.md +309 -309
  317. package/lib/assets/docs/article/getting-start-tdd/haskell/07-algebraic-data-types-and-type-classes.md +412 -412
  318. package/lib/assets/docs/article/getting-start-tdd/haskell/08-pattern-matching-and-guards.md +390 -390
  319. package/lib/assets/docs/article/getting-start-tdd/haskell/09-module-design-and-smart-constructors.md +461 -461
  320. package/lib/assets/docs/article/getting-start-tdd/haskell/10-higher-order-functions-and-currying.md +434 -434
  321. package/lib/assets/docs/article/getting-start-tdd/haskell/11-function-composition-and-point-free.md +392 -392
  322. package/lib/assets/docs/article/getting-start-tdd/haskell/12-monad-and-error-handling.md +631 -631
  323. package/lib/assets/docs/article/getting-start-tdd/haskell/index.md +49 -49
  324. package/lib/assets/docs/article/getting-start-tdd/index.md +93 -93
  325. package/lib/assets/docs/article/getting-start-tdd/integration/01-language-overview.md +375 -375
  326. package/lib/assets/docs/article/getting-start-tdd/integration/02-test-framework-comparison.md +349 -349
  327. package/lib/assets/docs/article/getting-start-tdd/integration/03-tdd-pattern-comparison.md +445 -445
  328. package/lib/assets/docs/article/getting-start-tdd/integration/04-type-system-comparison.md +409 -409
  329. package/lib/assets/docs/article/getting-start-tdd/integration/05-dev-environment-comparison.md +330 -330
  330. package/lib/assets/docs/article/getting-start-tdd/integration/06-learning-roadmap.md +290 -290
  331. package/lib/assets/docs/article/getting-start-tdd/integration/index.md +69 -69
  332. package/lib/assets/docs/article/getting-start-tdd/java/01-todo-list-and-first-test.md +234 -234
  333. package/lib/assets/docs/article/getting-start-tdd/java/02-fake-it-and-triangulation.md +261 -261
  334. package/lib/assets/docs/article/getting-start-tdd/java/03-obvious-implementation-and-refactoring.md +185 -185
  335. package/lib/assets/docs/article/getting-start-tdd/java/04-version-control-and-conventional-commits.md +115 -115
  336. package/lib/assets/docs/article/getting-start-tdd/java/05-package-management-and-static-analysis.md +382 -382
  337. package/lib/assets/docs/article/getting-start-tdd/java/06-task-runner-and-ci-cd.md +272 -272
  338. package/lib/assets/docs/article/getting-start-tdd/java/07-encapsulation-and-polymorphism.md +626 -626
  339. package/lib/assets/docs/article/getting-start-tdd/java/08-design-patterns.md +393 -393
  340. package/lib/assets/docs/article/getting-start-tdd/java/09-solid-principles-and-module-design.md +310 -310
  341. package/lib/assets/docs/article/getting-start-tdd/java/10-higher-order-functions-and-composition.md +188 -188
  342. package/lib/assets/docs/article/getting-start-tdd/java/11-immutable-data-and-pipeline.md +167 -167
  343. package/lib/assets/docs/article/getting-start-tdd/java/12-error-handling-and-type-safety.md +205 -205
  344. package/lib/assets/docs/article/getting-start-tdd/java/index.md +61 -61
  345. package/lib/assets/docs/article/getting-start-tdd/node/01-todo-list-and-first-test.md +244 -244
  346. package/lib/assets/docs/article/getting-start-tdd/node/02-fake-it-and-triangulation.md +262 -262
  347. package/lib/assets/docs/article/getting-start-tdd/node/03-obvious-implementation-and-refactoring.md +169 -169
  348. package/lib/assets/docs/article/getting-start-tdd/node/04-version-control-and-conventional-commits.md +112 -112
  349. package/lib/assets/docs/article/getting-start-tdd/node/05-package-management-and-static-analysis.md +314 -314
  350. package/lib/assets/docs/article/getting-start-tdd/node/06-task-runner-and-ci-cd.md +235 -235
  351. package/lib/assets/docs/article/getting-start-tdd/node/07-encapsulation-and-polymorphism.md +327 -327
  352. package/lib/assets/docs/article/getting-start-tdd/node/08-design-patterns.md +322 -322
  353. package/lib/assets/docs/article/getting-start-tdd/node/09-solid-principles-and-module-design.md +285 -285
  354. package/lib/assets/docs/article/getting-start-tdd/node/10-higher-order-functions-and-composition.md +199 -199
  355. package/lib/assets/docs/article/getting-start-tdd/node/11-immutable-data-and-pipeline.md +207 -207
  356. package/lib/assets/docs/article/getting-start-tdd/node/12-error-handling-and-type-safety.md +295 -295
  357. package/lib/assets/docs/article/getting-start-tdd/node/index.md +56 -56
  358. package/lib/assets/docs/article/getting-start-tdd/php/01-todo-list-and-first-test.md +259 -259
  359. package/lib/assets/docs/article/getting-start-tdd/php/02-fake-it-and-triangulation.md +200 -200
  360. package/lib/assets/docs/article/getting-start-tdd/php/03-obvious-implementation-and-refactoring.md +248 -248
  361. package/lib/assets/docs/article/getting-start-tdd/php/04-version-control-and-conventional-commits.md +141 -141
  362. package/lib/assets/docs/article/getting-start-tdd/php/05-package-management-and-static-analysis.md +410 -410
  363. package/lib/assets/docs/article/getting-start-tdd/php/06-task-runner-and-ci-cd.md +321 -321
  364. package/lib/assets/docs/article/getting-start-tdd/php/07-encapsulation-and-polymorphism.md +372 -372
  365. package/lib/assets/docs/article/getting-start-tdd/php/08-design-patterns.md +453 -453
  366. package/lib/assets/docs/article/getting-start-tdd/php/09-solid-principles-and-module-design.md +460 -460
  367. package/lib/assets/docs/article/getting-start-tdd/php/10-higher-order-functions-and-composition.md +182 -182
  368. package/lib/assets/docs/article/getting-start-tdd/php/11-immutable-data-and-pipeline.md +266 -266
  369. package/lib/assets/docs/article/getting-start-tdd/php/12-error-handling-and-type-safety.md +308 -308
  370. package/lib/assets/docs/article/getting-start-tdd/php/index.md +84 -84
  371. package/lib/assets/docs/article/getting-start-tdd/python/01-todo-list-and-first-test.md +201 -201
  372. package/lib/assets/docs/article/getting-start-tdd/python/02-fake-it-and-triangulation.md +247 -247
  373. package/lib/assets/docs/article/getting-start-tdd/python/03-obvious-implementation-and-refactoring.md +199 -199
  374. package/lib/assets/docs/article/getting-start-tdd/python/04-version-control-and-conventional-commits.md +87 -87
  375. package/lib/assets/docs/article/getting-start-tdd/python/05-package-management-and-static-analysis.md +274 -274
  376. package/lib/assets/docs/article/getting-start-tdd/python/06-task-runner-and-ci-cd.md +190 -190
  377. package/lib/assets/docs/article/getting-start-tdd/python/07-encapsulation-and-polymorphism.md +208 -208
  378. package/lib/assets/docs/article/getting-start-tdd/python/08-design-patterns.md +172 -172
  379. package/lib/assets/docs/article/getting-start-tdd/python/09-solid-principles-and-module-design.md +130 -130
  380. package/lib/assets/docs/article/getting-start-tdd/python/10-higher-order-functions-and-composition.md +122 -122
  381. package/lib/assets/docs/article/getting-start-tdd/python/11-immutable-data-and-pipeline.md +116 -116
  382. package/lib/assets/docs/article/getting-start-tdd/python/12-error-handling-and-type-safety.md +126 -126
  383. package/lib/assets/docs/article/getting-start-tdd/python/index.md +55 -55
  384. package/lib/assets/docs/article/getting-start-tdd/ruby/01-todo-list-and-first-test.md +231 -231
  385. package/lib/assets/docs/article/getting-start-tdd/ruby/02-fake-it-and-triangulation.md +238 -238
  386. package/lib/assets/docs/article/getting-start-tdd/ruby/03-obvious-implementation-and-refactoring.md +228 -228
  387. package/lib/assets/docs/article/getting-start-tdd/ruby/04-version-control-and-conventional-commits.md +112 -112
  388. package/lib/assets/docs/article/getting-start-tdd/ruby/05-package-management-and-static-analysis.md +287 -287
  389. package/lib/assets/docs/article/getting-start-tdd/ruby/06-task-runner-and-ci-cd.md +248 -248
  390. package/lib/assets/docs/article/getting-start-tdd/ruby/07-encapsulation-and-polymorphism.md +279 -279
  391. package/lib/assets/docs/article/getting-start-tdd/ruby/08-design-patterns.md +329 -329
  392. package/lib/assets/docs/article/getting-start-tdd/ruby/09-solid-principles-and-module-design.md +196 -196
  393. package/lib/assets/docs/article/getting-start-tdd/ruby/10-higher-order-functions-and-composition.md +175 -175
  394. package/lib/assets/docs/article/getting-start-tdd/ruby/11-immutable-data-and-pipeline.md +237 -237
  395. package/lib/assets/docs/article/getting-start-tdd/ruby/12-error-handling-and-type-safety.md +398 -398
  396. package/lib/assets/docs/article/getting-start-tdd/ruby/index.md +83 -83
  397. package/lib/assets/docs/article/getting-start-tdd/rust/01-todo-list-and-first-test.md +211 -211
  398. package/lib/assets/docs/article/getting-start-tdd/rust/02-fake-it-and-triangulation.md +264 -264
  399. package/lib/assets/docs/article/getting-start-tdd/rust/03-obvious-implementation-and-refactoring.md +233 -233
  400. package/lib/assets/docs/article/getting-start-tdd/rust/04-version-control-and-conventional-commits.md +92 -92
  401. package/lib/assets/docs/article/getting-start-tdd/rust/05-package-management-and-static-analysis.md +212 -212
  402. package/lib/assets/docs/article/getting-start-tdd/rust/06-task-runner-and-ci-cd.md +164 -164
  403. package/lib/assets/docs/article/getting-start-tdd/rust/07-encapsulation-and-polymorphism.md +142 -142
  404. package/lib/assets/docs/article/getting-start-tdd/rust/08-design-patterns.md +145 -145
  405. package/lib/assets/docs/article/getting-start-tdd/rust/09-solid-principles-and-module-design.md +110 -110
  406. package/lib/assets/docs/article/getting-start-tdd/rust/10-higher-order-functions-and-composition.md +94 -94
  407. package/lib/assets/docs/article/getting-start-tdd/rust/11-immutable-data-and-pipeline.md +105 -105
  408. package/lib/assets/docs/article/getting-start-tdd/rust/12-error-handling-and-type-safety.md +112 -112
  409. package/lib/assets/docs/article/getting-start-tdd/rust/index.md +83 -83
  410. package/lib/assets/docs/article/getting-start-tdd/scala/01-todo-list-and-first-test.md +111 -111
  411. package/lib/assets/docs/article/getting-start-tdd/scala/02-fake-it-and-triangulation.md +107 -107
  412. package/lib/assets/docs/article/getting-start-tdd/scala/03-obvious-implementation-and-refactoring.md +99 -99
  413. package/lib/assets/docs/article/getting-start-tdd/scala/04-version-control-and-conventional-commits.md +123 -123
  414. package/lib/assets/docs/article/getting-start-tdd/scala/05-package-management-and-static-analysis.md +196 -196
  415. package/lib/assets/docs/article/getting-start-tdd/scala/06-task-runner-and-ci-cd.md +186 -186
  416. package/lib/assets/docs/article/getting-start-tdd/scala/07-case-classes-and-traits.md +139 -139
  417. package/lib/assets/docs/article/getting-start-tdd/scala/08-pattern-matching-and-sealed-traits.md +106 -106
  418. package/lib/assets/docs/article/getting-start-tdd/scala/09-packages-and-module-design.md +75 -75
  419. package/lib/assets/docs/article/getting-start-tdd/scala/10-higher-order-functions-and-composition.md +104 -104
  420. package/lib/assets/docs/article/getting-start-tdd/scala/11-collections-and-lazy-evaluation.md +94 -94
  421. package/lib/assets/docs/article/getting-start-tdd/scala/12-error-handling-and-type-safety.md +92 -92
  422. package/lib/assets/docs/article/getting-start-tdd/scala/index.md +65 -65
  423. package/lib/assets/docs/article/grokking-concurrency/all/index.md +404 -404
  424. package/lib/assets/docs/article/grokking-concurrency/all/part-1-ch02-sequential.md +554 -554
  425. package/lib/assets/docs/article/grokking-concurrency/all/part-2-ch04-05-threads.md +469 -469
  426. package/lib/assets/docs/article/grokking-concurrency/all/part-3-ch06-multitasking.md +520 -520
  427. package/lib/assets/docs/article/grokking-concurrency/all/part-4-ch07-parallel-patterns.md +420 -420
  428. package/lib/assets/docs/article/grokking-concurrency/all/part-5-ch08-09-synchronization.md +510 -510
  429. package/lib/assets/docs/article/grokking-concurrency/all/part-6-ch10-11-nonblocking-io.md +435 -435
  430. package/lib/assets/docs/article/grokking-concurrency/all/part-7-ch12-async.md +465 -465
  431. package/lib/assets/docs/article/grokking-concurrency/all/part-8-ch13-mapreduce.md +377 -377
  432. package/lib/assets/docs/article/grokking-concurrency/clojure/index.md +116 -116
  433. package/lib/assets/docs/article/grokking-concurrency/clojure/part-1.md +108 -108
  434. package/lib/assets/docs/article/grokking-concurrency/clojure/part-2.md +101 -101
  435. package/lib/assets/docs/article/grokking-concurrency/clojure/part-3.md +122 -122
  436. package/lib/assets/docs/article/grokking-concurrency/clojure/part-4.md +123 -123
  437. package/lib/assets/docs/article/grokking-concurrency/clojure/part-5.md +118 -118
  438. package/lib/assets/docs/article/grokking-concurrency/clojure/part-6.md +89 -89
  439. package/lib/assets/docs/article/grokking-concurrency/clojure/part-7.md +100 -100
  440. package/lib/assets/docs/article/grokking-concurrency/clojure/part-8.md +120 -120
  441. package/lib/assets/docs/article/grokking-concurrency/csharp/index.md +101 -101
  442. package/lib/assets/docs/article/grokking-concurrency/csharp/part-1.md +97 -97
  443. package/lib/assets/docs/article/grokking-concurrency/csharp/part-2.md +123 -123
  444. package/lib/assets/docs/article/grokking-concurrency/csharp/part-3.md +101 -101
  445. package/lib/assets/docs/article/grokking-concurrency/csharp/part-4.md +112 -112
  446. package/lib/assets/docs/article/grokking-concurrency/csharp/part-5.md +99 -99
  447. package/lib/assets/docs/article/grokking-concurrency/csharp/part-6.md +61 -61
  448. package/lib/assets/docs/article/grokking-concurrency/csharp/part-7.md +84 -84
  449. package/lib/assets/docs/article/grokking-concurrency/csharp/part-8.md +92 -92
  450. package/lib/assets/docs/article/grokking-concurrency/fsharp/index.md +65 -65
  451. package/lib/assets/docs/article/grokking-concurrency/fsharp/part-1.md +80 -80
  452. package/lib/assets/docs/article/grokking-concurrency/fsharp/part-2.md +103 -103
  453. package/lib/assets/docs/article/grokking-concurrency/fsharp/part-3.md +94 -94
  454. package/lib/assets/docs/article/grokking-concurrency/fsharp/part-4.md +110 -110
  455. package/lib/assets/docs/article/grokking-concurrency/fsharp/part-5.md +104 -104
  456. package/lib/assets/docs/article/grokking-concurrency/fsharp/part-6.md +93 -93
  457. package/lib/assets/docs/article/grokking-concurrency/fsharp/part-7.md +121 -121
  458. package/lib/assets/docs/article/grokking-concurrency/fsharp/part-8.md +107 -107
  459. package/lib/assets/docs/article/grokking-concurrency/haskell/index.md +248 -248
  460. package/lib/assets/docs/article/grokking-concurrency/haskell/part-1.md +96 -96
  461. package/lib/assets/docs/article/grokking-concurrency/haskell/part-2.md +96 -96
  462. package/lib/assets/docs/article/grokking-concurrency/haskell/part-3.md +91 -91
  463. package/lib/assets/docs/article/grokking-concurrency/haskell/part-4.md +106 -106
  464. package/lib/assets/docs/article/grokking-concurrency/haskell/part-5.md +99 -99
  465. package/lib/assets/docs/article/grokking-concurrency/haskell/part-6.md +95 -95
  466. package/lib/assets/docs/article/grokking-concurrency/haskell/part-7.md +111 -111
  467. package/lib/assets/docs/article/grokking-concurrency/haskell/part-8.md +118 -118
  468. package/lib/assets/docs/article/grokking-concurrency/index.md +66 -66
  469. package/lib/assets/docs/article/grokking-concurrency/java/index.md +102 -102
  470. package/lib/assets/docs/article/grokking-concurrency/java/part-1.md +308 -308
  471. package/lib/assets/docs/article/grokking-concurrency/java/part-2.md +334 -334
  472. package/lib/assets/docs/article/grokking-concurrency/java/part-3.md +221 -221
  473. package/lib/assets/docs/article/grokking-concurrency/java/part-4.md +213 -213
  474. package/lib/assets/docs/article/grokking-concurrency/java/part-5.md +112 -112
  475. package/lib/assets/docs/article/grokking-concurrency/java/part-6.md +69 -69
  476. package/lib/assets/docs/article/grokking-concurrency/java/part-7.md +101 -101
  477. package/lib/assets/docs/article/grokking-concurrency/java/part-8.md +101 -101
  478. package/lib/assets/docs/article/grokking-concurrency/python/index.md +313 -313
  479. package/lib/assets/docs/article/grokking-concurrency/python/part-1.md +239 -239
  480. package/lib/assets/docs/article/grokking-concurrency/python/part-2.md +418 -418
  481. package/lib/assets/docs/article/grokking-concurrency/python/part-3.md +227 -227
  482. package/lib/assets/docs/article/grokking-concurrency/python/part-4.md +299 -299
  483. package/lib/assets/docs/article/grokking-concurrency/python/part-5.md +315 -315
  484. package/lib/assets/docs/article/grokking-concurrency/python/part-6.md +297 -297
  485. package/lib/assets/docs/article/grokking-concurrency/python/part-7.md +314 -314
  486. package/lib/assets/docs/article/grokking-concurrency/python/part-8.md +360 -360
  487. package/lib/assets/docs/article/grokking-concurrency/rust/index.md +270 -270
  488. package/lib/assets/docs/article/grokking-concurrency/rust/part-1.md +108 -108
  489. package/lib/assets/docs/article/grokking-concurrency/rust/part-2.md +120 -120
  490. package/lib/assets/docs/article/grokking-concurrency/rust/part-3.md +126 -126
  491. package/lib/assets/docs/article/grokking-concurrency/rust/part-4.md +175 -175
  492. package/lib/assets/docs/article/grokking-concurrency/rust/part-5.md +158 -158
  493. package/lib/assets/docs/article/grokking-concurrency/rust/part-6.md +94 -94
  494. package/lib/assets/docs/article/grokking-concurrency/rust/part-7.md +133 -133
  495. package/lib/assets/docs/article/grokking-concurrency/rust/part-8.md +155 -155
  496. package/lib/assets/docs/article/grokking-concurrency/scala/index.md +69 -69
  497. package/lib/assets/docs/article/grokking-concurrency/scala/part-1.md +78 -78
  498. package/lib/assets/docs/article/grokking-concurrency/scala/part-2.md +112 -112
  499. package/lib/assets/docs/article/grokking-concurrency/scala/part-3.md +93 -93
  500. package/lib/assets/docs/article/grokking-concurrency/scala/part-4.md +110 -110
  501. package/lib/assets/docs/article/grokking-concurrency/scala/part-5.md +119 -119
  502. package/lib/assets/docs/article/grokking-concurrency/scala/part-6.md +83 -83
  503. package/lib/assets/docs/article/grokking-concurrency/scala/part-7.md +131 -131
  504. package/lib/assets/docs/article/grokking-concurrency/scala/part-8.md +129 -129
  505. package/lib/assets/docs/article/grokkingfp/all/index.md +368 -368
  506. package/lib/assets/docs/article/grokkingfp/all/part-1-ch01-fp-introduction.md +530 -530
  507. package/lib/assets/docs/article/grokkingfp/all/part-1-ch02-pure-functions.md +923 -923
  508. package/lib/assets/docs/article/grokkingfp/all/part-2-ch03-immutable-data.md +1128 -1128
  509. package/lib/assets/docs/article/grokkingfp/all/part-2-ch04-higher-order-functions.md +1104 -1104
  510. package/lib/assets/docs/article/grokkingfp/all/part-2-ch05-flatmap.md +1026 -1026
  511. package/lib/assets/docs/article/grokkingfp/all/part-3-ch06-option.md +785 -785
  512. package/lib/assets/docs/article/grokkingfp/all/part-3-ch07-either-adt.md +871 -871
  513. package/lib/assets/docs/article/grokkingfp/all/part-4-ch08-io-monad.md +972 -972
  514. package/lib/assets/docs/article/grokkingfp/all/part-4-ch09-streams.md +926 -926
  515. package/lib/assets/docs/article/grokkingfp/all/part-5-ch10-concurrency.md +870 -870
  516. package/lib/assets/docs/article/grokkingfp/all/part-6-ch11-application.md +715 -715
  517. package/lib/assets/docs/article/grokkingfp/all/part-6-ch12-testing.md +626 -626
  518. package/lib/assets/docs/article/grokkingfp/all/writing-plan.md +712 -712
  519. package/lib/assets/docs/article/grokkingfp/clojure/index.md +276 -276
  520. package/lib/assets/docs/article/grokkingfp/clojure/part-1.md +667 -667
  521. package/lib/assets/docs/article/grokkingfp/clojure/part-2.md +643 -643
  522. package/lib/assets/docs/article/grokkingfp/clojure/part-3.md +620 -620
  523. package/lib/assets/docs/article/grokkingfp/clojure/part-4.md +697 -697
  524. package/lib/assets/docs/article/grokkingfp/clojure/part-5.md +751 -751
  525. package/lib/assets/docs/article/grokkingfp/clojure/part-6.md +721 -721
  526. package/lib/assets/docs/article/grokkingfp/csharp/index.md +246 -246
  527. package/lib/assets/docs/article/grokkingfp/csharp/part-1.md +811 -811
  528. package/lib/assets/docs/article/grokkingfp/csharp/part-2.md +971 -971
  529. package/lib/assets/docs/article/grokkingfp/csharp/part-3.md +981 -981
  530. package/lib/assets/docs/article/grokkingfp/csharp/part-4.md +949 -949
  531. package/lib/assets/docs/article/grokkingfp/csharp/part-5.md +947 -947
  532. package/lib/assets/docs/article/grokkingfp/csharp/part-6.md +739 -739
  533. package/lib/assets/docs/article/grokkingfp/elixir/index.md +203 -203
  534. package/lib/assets/docs/article/grokkingfp/elixir/part-1.md +712 -712
  535. package/lib/assets/docs/article/grokkingfp/elixir/part-2.md +838 -838
  536. package/lib/assets/docs/article/grokkingfp/elixir/part-3.md +985 -985
  537. package/lib/assets/docs/article/grokkingfp/elixir/part-4.md +974 -974
  538. package/lib/assets/docs/article/grokkingfp/elixir/part-5.md +1286 -1286
  539. package/lib/assets/docs/article/grokkingfp/elixir/part-6.md +1049 -1049
  540. package/lib/assets/docs/article/grokkingfp/fsharp/index.md +210 -210
  541. package/lib/assets/docs/article/grokkingfp/fsharp/part-1.md +714 -714
  542. package/lib/assets/docs/article/grokkingfp/fsharp/part-2.md +961 -961
  543. package/lib/assets/docs/article/grokkingfp/fsharp/part-3.md +972 -972
  544. package/lib/assets/docs/article/grokkingfp/fsharp/part-4.md +832 -832
  545. package/lib/assets/docs/article/grokkingfp/fsharp/part-5.md +911 -911
  546. package/lib/assets/docs/article/grokkingfp/fsharp/part-6.md +922 -922
  547. package/lib/assets/docs/article/grokkingfp/haskell/index.md +234 -234
  548. package/lib/assets/docs/article/grokkingfp/haskell/part-1.md +591 -591
  549. package/lib/assets/docs/article/grokkingfp/haskell/part-2.md +866 -866
  550. package/lib/assets/docs/article/grokkingfp/haskell/part-3.md +915 -915
  551. package/lib/assets/docs/article/grokkingfp/haskell/part-4.md +878 -878
  552. package/lib/assets/docs/article/grokkingfp/haskell/part-5.md +845 -845
  553. package/lib/assets/docs/article/grokkingfp/haskell/part-6.md +844 -844
  554. package/lib/assets/docs/article/grokkingfp/index.md +143 -143
  555. package/lib/assets/docs/article/grokkingfp/java/index.md +211 -211
  556. package/lib/assets/docs/article/grokkingfp/java/part-1.md +648 -648
  557. package/lib/assets/docs/article/grokkingfp/java/part-2.md +675 -675
  558. package/lib/assets/docs/article/grokkingfp/java/part-3.md +672 -672
  559. package/lib/assets/docs/article/grokkingfp/java/part-4.md +771 -771
  560. package/lib/assets/docs/article/grokkingfp/java/part-5.md +959 -959
  561. package/lib/assets/docs/article/grokkingfp/java/part-6.md +1328 -1328
  562. package/lib/assets/docs/article/grokkingfp/python/index.md +258 -258
  563. package/lib/assets/docs/article/grokkingfp/python/part-1.md +443 -443
  564. package/lib/assets/docs/article/grokkingfp/python/part-2.md +958 -958
  565. package/lib/assets/docs/article/grokkingfp/python/part-3.md +1004 -1004
  566. package/lib/assets/docs/article/grokkingfp/python/part-4.md +765 -765
  567. package/lib/assets/docs/article/grokkingfp/python/part-5.md +747 -747
  568. package/lib/assets/docs/article/grokkingfp/python/part-6.md +861 -861
  569. package/lib/assets/docs/article/grokkingfp/ruby/index.md +330 -330
  570. package/lib/assets/docs/article/grokkingfp/ruby/part-1.md +755 -755
  571. package/lib/assets/docs/article/grokkingfp/ruby/part-2.md +938 -938
  572. package/lib/assets/docs/article/grokkingfp/ruby/part-3.md +946 -946
  573. package/lib/assets/docs/article/grokkingfp/ruby/part-4.md +921 -921
  574. package/lib/assets/docs/article/grokkingfp/ruby/part-5.md +908 -908
  575. package/lib/assets/docs/article/grokkingfp/ruby/part-6.md +1412 -1412
  576. package/lib/assets/docs/article/grokkingfp/rust/index.md +242 -242
  577. package/lib/assets/docs/article/grokkingfp/rust/part-1.md +634 -634
  578. package/lib/assets/docs/article/grokkingfp/rust/part-2.md +1060 -1060
  579. package/lib/assets/docs/article/grokkingfp/rust/part-3.md +994 -994
  580. package/lib/assets/docs/article/grokkingfp/rust/part-4.md +573 -573
  581. package/lib/assets/docs/article/grokkingfp/rust/part-5.md +705 -705
  582. package/lib/assets/docs/article/grokkingfp/rust/part-6.md +508 -508
  583. package/lib/assets/docs/article/grokkingfp/scala/index.md +171 -171
  584. package/lib/assets/docs/article/grokkingfp/scala/part-1.md +543 -543
  585. package/lib/assets/docs/article/grokkingfp/scala/part-2.md +946 -946
  586. package/lib/assets/docs/article/grokkingfp/scala/part-3.md +919 -919
  587. package/lib/assets/docs/article/grokkingfp/scala/part-4.md +742 -742
  588. package/lib/assets/docs/article/grokkingfp/scala/part-5.md +722 -722
  589. package/lib/assets/docs/article/grokkingfp/scala/part-6.md +867 -867
  590. package/lib/assets/docs/article/grokkingfp/typescript/index.md +273 -273
  591. package/lib/assets/docs/article/grokkingfp/typescript/part-1.md +561 -561
  592. package/lib/assets/docs/article/grokkingfp/typescript/part-2.md +1129 -1129
  593. package/lib/assets/docs/article/grokkingfp/typescript/part-3.md +842 -842
  594. package/lib/assets/docs/article/grokkingfp/typescript/part-4.md +1087 -1087
  595. package/lib/assets/docs/article/grokkingfp/typescript/part-5.md +717 -717
  596. package/lib/assets/docs/article/grokkingfp/typescript/part-6.md +982 -982
  597. package/lib/assets/docs/article/index.md +41 -41
  598. package/lib/assets/docs/article/practical-database-design/index.md +121 -121
  599. package/lib/assets/docs/article/practical-database-design/part1/chapter01.md +288 -288
  600. package/lib/assets/docs/article/practical-database-design/part1/chapter02.md +518 -518
  601. package/lib/assets/docs/article/practical-database-design/part1/chapter03.md +557 -557
  602. package/lib/assets/docs/article/practical-database-design/part2/chapter04.md +924 -924
  603. package/lib/assets/docs/article/practical-database-design/part2/chapter05.md +1627 -1627
  604. package/lib/assets/docs/article/practical-database-design/part2/chapter06.md +2716 -2716
  605. package/lib/assets/docs/article/practical-database-design/part2/chapter07.md +2082 -2082
  606. package/lib/assets/docs/article/practical-database-design/part2/chapter08.md +2105 -2105
  607. package/lib/assets/docs/article/practical-database-design/part2/chapter09.md +2031 -2031
  608. package/lib/assets/docs/article/practical-database-design/part2/chapter10.md +1387 -1387
  609. package/lib/assets/docs/article/practical-database-design/part2/chapter11.md +1677 -1677
  610. package/lib/assets/docs/article/practical-database-design/part2/chapter12.md +1417 -1417
  611. package/lib/assets/docs/article/practical-database-design/part2/chapter13.md +1434 -1434
  612. package/lib/assets/docs/article/practical-database-design/part3/chapter14.md +667 -667
  613. package/lib/assets/docs/article/practical-database-design/part3/chapter15.md +1625 -1625
  614. package/lib/assets/docs/article/practical-database-design/part3/chapter16.md +1915 -1915
  615. package/lib/assets/docs/article/practical-database-design/part3/chapter17.md +1708 -1708
  616. package/lib/assets/docs/article/practical-database-design/part3/chapter18.md +2095 -2095
  617. package/lib/assets/docs/article/practical-database-design/part3/chapter19.md +1123 -1123
  618. package/lib/assets/docs/article/practical-database-design/part3/chapter20.md +1031 -1031
  619. package/lib/assets/docs/article/practical-database-design/part3/chapter21.md +1382 -1382
  620. package/lib/assets/docs/article/practical-database-design/part3-orm/chapter14-orm.md +991 -991
  621. package/lib/assets/docs/article/practical-database-design/part3-orm/chapter15-orm.md +1300 -1300
  622. package/lib/assets/docs/article/practical-database-design/part3-orm/chapter16-orm.md +1166 -1166
  623. package/lib/assets/docs/article/practical-database-design/part3-orm/chapter17-orm.md +1584 -1584
  624. package/lib/assets/docs/article/practical-database-design/part3-orm/chapter18-orm.md +1183 -1183
  625. package/lib/assets/docs/article/practical-database-design/part3-orm/chapter19-orm.md +1016 -1016
  626. package/lib/assets/docs/article/practical-database-design/part3-orm/chapter20-orm.md +1753 -1753
  627. package/lib/assets/docs/article/practical-database-design/part3-orm/chapter21-orm.md +1447 -1447
  628. package/lib/assets/docs/article/practical-database-design/part3-orm/chapter22-orm.md +1878 -1878
  629. package/lib/assets/docs/article/practical-database-design/part4/chapter22.md +965 -965
  630. package/lib/assets/docs/article/practical-database-design/part4/chapter23.md +2069 -2069
  631. package/lib/assets/docs/article/practical-database-design/part4/chapter24.md +2439 -2439
  632. package/lib/assets/docs/article/practical-database-design/part4/chapter25.md +3661 -3661
  633. package/lib/assets/docs/article/practical-database-design/part4/chapter26.md +2916 -2916
  634. package/lib/assets/docs/article/practical-database-design/part4/chapter27.md +3105 -3105
  635. package/lib/assets/docs/article/practical-database-design/part4/chapter28.md +2697 -2697
  636. package/lib/assets/docs/article/practical-database-design/part4/chapter29.md +2544 -2544
  637. package/lib/assets/docs/article/practical-database-design/part4/chapter30.md +2180 -2180
  638. package/lib/assets/docs/article/practical-database-design/part4/chapter31.md +1192 -1192
  639. package/lib/assets/docs/article/practical-database-design/part4/chapter32.md +2101 -2101
  640. package/lib/assets/docs/article/practical-database-design/part5/chapter33.md +1032 -1032
  641. package/lib/assets/docs/article/practical-database-design/part5/chapter34.md +1609 -1609
  642. package/lib/assets/docs/article/practical-database-design/part5/chapter35.md +1453 -1453
  643. package/lib/assets/docs/article/practical-database-design/part5/chapter36.md +1292 -1292
  644. package/lib/assets/docs/article/practical-database-design/part5/chapter37.md +1470 -1470
  645. package/lib/assets/docs/article/practical-database-design/part5/chapter38.md +1698 -1698
  646. package/lib/assets/docs/article/practical-database-design/part5/chapter39.md +2334 -2334
  647. package/lib/assets/docs/article/practical-database-design/study/study2-1.md +1693 -1693
  648. package/lib/assets/docs/article/practical-database-design/study/study2-2.md +1347 -1347
  649. package/lib/assets/docs/article/practical-database-design/study/study2-3.md +2044 -2044
  650. package/lib/assets/docs/article/practical-database-design/study/study2-4.md +2229 -2229
  651. package/lib/assets/docs/article/practical-database-design/study/study2-5.md +2418 -2418
  652. package/lib/assets/docs/article/practical-database-design/study/study3-1.md +2205 -2205
  653. package/lib/assets/docs/article/practical-database-design/study/study3-2.md +2221 -2221
  654. package/lib/assets/docs/article/practical-database-design/study/study3-3.md +2253 -2253
  655. package/lib/assets/docs/article/practical-database-design/study/study3-4.md +2106 -2106
  656. package/lib/assets/docs/article/practical-database-design/study/study3-5.md +2507 -2507
  657. package/lib/assets/docs/article/practical-database-design/study/study4-1.md +2587 -2587
  658. package/lib/assets/docs/article/practical-database-design/study/study4-2.md +2075 -2075
  659. package/lib/assets/docs/article/practical-database-design/study/study4-3.md +1805 -1805
  660. package/lib/assets/docs/article/practical-database-design/study/study4-4.md +1895 -1895
  661. package/lib/assets/docs/article/practical-database-design/study/study4-5.md +2878 -2878
  662. package/lib/assets/docs/assets/css/extra.css +29 -29
  663. package/lib/assets/docs/assets/js/extra.js +44 -44
  664. package/lib/assets/docs/design/index.md +44 -44
  665. package/lib/assets/docs/development/index.md +39 -39
  666. package/lib/assets/docs/index.md +33 -33
  667. package/lib/assets/docs/operation/index.md +27 -27
  668. package/lib/assets/docs/reference/CodexCLIMCP/343/202/242/343/203/227/343/203/252/343/202/261/343/203/274/343/202/267/343/203/247/343/203/263/351/226/213/347/231/272/343/203/225/343/203/255/343/203/274.md +546 -546
  669. package/lib/assets/docs/reference/CodexCLIMCP/343/202/265/343/203/274/343/203/220/343/203/274/350/250/255/345/256/232/346/211/213/351/240/206.md +341 -341
  670. package/lib/assets/docs/reference/Java/343/202/242/343/203/227/343/203/252/343/202/261/343/203/274/343/202/267/343/203/247/343/203/263/347/222/260/345/242/203/346/247/213/347/257/211/343/202/254/343/202/244/343/203/211.md +581 -581
  671. package/lib/assets/docs/reference/SonarQube/343/203/255/343/203/274/343/202/253/343/203/253/347/222/260/345/242/203/343/202/273/343/203/203/343/203/210/343/202/242/343/203/203/343/203/227/346/211/213/351/240/206/346/233/270.md +642 -642
  672. package/lib/assets/docs/reference/TypeScript/343/202/242/343/203/227/343/203/252/343/202/261/343/203/274/343/202/267/343/203/247/343/203/263/347/222/260/345/242/203/346/247/213/347/257/211/343/202/254/343/202/244/343/203/211.md +465 -465
  673. package/lib/assets/docs/reference/UI/350/250/255/350/250/210/343/202/254/343/202/244/343/203/211.md +450 -450
  674. package/lib/assets/docs/reference/images/Ansoff.drawio.svg +3 -3
  675. package/lib/assets/docs/reference/images/BMC.drawio.svg +3 -3
  676. package/lib/assets/docs/reference/images/BrandBasicStrategy.drawio.svg +3 -3
  677. package/lib/assets/docs/reference/images/BrandCategorization.drawio.svg +3 -3
  678. package/lib/assets/docs/reference/images/BrandRecurutementStrategy.drawio.svg +3 -3
  679. package/lib/assets/docs/reference/images/BrandValue.drawio.svg +3 -3
  680. package/lib/assets/docs/reference/images/BusinessActivitiy.svg +3 -3
  681. package/lib/assets/docs/reference/images/HRM.drawio.svg +3 -3
  682. package/lib/assets/docs/reference/images/MarketingStructure.drawio.svg +3 -3
  683. package/lib/assets/docs/reference/images/OrganizationElemnts.svg +3 -3
  684. package/lib/assets/docs/reference/images/PPM.drawio.svg +3 -3
  685. package/lib/assets/docs/reference/images/PositioningMap.drawio.svg +3 -3
  686. package/lib/assets/docs/reference/images/ProductLayer.drawio.svg +3 -3
  687. package/lib/assets/docs/reference/images/ProductMix.drawio.svg +3 -3
  688. package/lib/assets/docs/reference/images/SWOT.drawio.svg +3 -3
  689. package/lib/assets/docs/reference/images/TargetMarket.drawio.svg +3 -3
  690. package/lib/assets/docs/reference/images/ThreeGenericStrategies.drawio.svg +3 -3
  691. package/lib/assets/docs/reference/images/VRIO.drawio.svg +3 -3
  692. package/lib/assets/docs/reference/images/ValueChain.drawio.svg +3 -3
  693. package/lib/assets/docs/reference/index.md +53 -53
  694. package/lib/assets/docs/reference//343/202/210/343/201/204/343/202/275/343/203/225/343/203/210/343/202/246/343/202/247/343/202/242/343/201/250/343/201/257.md +250 -250
  695. package/lib/assets/docs/reference//343/202/242/343/203/274/343/202/255/343/203/206/343/202/257/343/203/201/343/203/243/350/250/255/350/250/210/343/202/254/343/202/244/343/203/211.md +2216 -2216
  696. package/lib/assets/docs/reference//343/202/244/343/203/263/343/203/225/343/203/251/350/250/255/350/250/210/343/202/254/343/202/244/343/203/211.md +1878 -1878
  697. package/lib/assets/docs/reference//343/202/250/343/202/257/343/202/271/343/203/210/343/203/252/343/203/274/343/203/240/343/203/227/343/203/255/343/202/260/343/203/251/343/203/237/343/203/263/343/202/260.md +550 -550
  698. package/lib/assets/docs/reference//343/202/263/343/203/274/343/203/207/343/202/243/343/203/263/343/202/260/343/201/250/343/203/206/343/202/271/343/203/210/343/202/254/343/202/244/343/203/211.md +705 -705
  699. package/lib/assets/docs/reference//343/203/206/343/202/271/343/203/210/346/210/246/347/225/245/343/202/254/343/202/244/343/203/211.md +1313 -1313
  700. package/lib/assets/docs/reference//343/203/207/343/203/274/343/202/277/343/203/242/343/203/207/343/203/253/350/250/255/350/250/210/343/202/254/343/202/244/343/203/211.md +311 -311
  701. package/lib/assets/docs/reference//343/203/211/343/203/241/343/202/244/343/203/263/343/203/242/343/203/207/343/203/253/350/250/255/350/250/210/343/202/254/343/202/244/343/203/211.md +599 -599
  702. package/lib/assets/docs/reference//343/203/223/343/202/270/343/203/215/343/202/271/343/202/242/343/203/274/343/202/255/343/203/206/343/202/257/343/203/201/343/203/243/345/210/206/346/236/220/343/202/254/343/202/244/343/203/211.md +528 -528
  703. package/lib/assets/docs/reference//343/203/246/343/203/274/343/202/271/343/202/261/343/203/274/343/202/271/344/275/234/346/210/220/343/202/254/343/202/244/343/203/211.md +689 -689
  704. package/lib/assets/docs/reference//343/203/252/343/203/252/343/203/274/343/202/271/343/202/254/343/202/244/343/203/211.md +461 -461
  705. package/lib/assets/docs/reference//343/203/252/343/203/252/343/203/274/343/202/271/343/203/273/343/202/244/343/203/206/343/203/254/343/203/274/343/202/267/343/203/247/343/203/263/350/250/210/347/224/273/343/202/254/343/202/244/343/203/211.md +580 -580
  706. package/lib/assets/docs/reference//343/203/255/343/202/270/343/202/253/343/203/253/343/202/267/343/203/263/343/202/255/343/203/263/343/202/260.md +1367 -1367
  707. package/lib/assets/docs/reference//344/274/201/346/245/255/347/265/214/345/226/266/350/253/226.md +2637 -2637
  708. package/lib/assets/docs/reference//347/222/260/345/242/203/345/244/211/346/225/260/347/256/241/347/220/206/343/202/254/343/202/244/343/203/211.md +665 -665
  709. package/lib/assets/docs/reference//347/265/214/345/226/266/346/210/246/347/225/245/345/210/206/346/236/220/343/202/254/343/202/244/343/203/211.md +566 -566
  710. package/lib/assets/docs/reference//350/246/201/344/273/266/345/256/232/347/276/251/343/202/254/343/202/244/343/203/211.md +1248 -1248
  711. package/lib/assets/docs/reference//350/250/200/350/252/236/345/210/245/351/226/213/347/231/272/343/202/254/343/202/244/343/203/211.md +518 -518
  712. package/lib/assets/docs/reference//351/201/213/345/226/266/347/256/241/347/220/206.md +1482 -1482
  713. package/lib/assets/docs/reference//351/201/213/347/224/250/343/202/271/343/202/257/343/203/252/343/203/227/343/203/210/344/275/234/346/210/220/343/202/254/343/202/244/343/203/211.md +421 -421
  714. package/lib/assets/docs/reference//351/201/213/347/224/250/350/246/201/344/273/266/345/256/232/347/276/251/343/202/254/343/202/244/343/203/211.md +392 -392
  715. package/lib/assets/docs/reference//351/226/213/347/231/272/343/202/254/343/202/244/343/203/211.md +305 -305
  716. package/lib/assets/docs/reference//351/235/236/346/251/237/350/203/275/350/246/201/344/273/266/345/256/232/347/276/251/343/202/254/343/202/244/343/203/211.md +1236 -1236
  717. package/lib/assets/docs/requirements/index.md +17 -17
  718. package/lib/assets/docs/review/index.md +5 -5
  719. package/lib/assets/docs/strategy/index.md +17 -17
  720. package/lib/assets/docs/template/ADR.md +30 -30
  721. package/lib/assets/docs/template/AWS/343/202/271/343/203/206/343/203/274/343/202/270/343/203/263/343/202/260/347/222/260/345/242/203/343/202/273/343/203/203/343/203/210/343/202/242/343/203/203/343/203/227/346/211/213/351/240/206/346/233/270.md +1366 -1366
  722. package/lib/assets/docs/template/AWS/343/203/227/343/203/255/343/203/200/343/202/257/343/202/267/343/203/247/343/203/263/347/222/260/345/242/203/343/202/273/343/203/203/343/203/210/343/202/242/343/203/203/343/203/227/346/211/213/351/240/206/346/233/270.md +634 -634
  723. package/lib/assets/docs/template/README.md +50 -50
  724. package/lib/assets/docs/template/index.md +24 -24
  725. package/lib/assets/docs/template//343/201/276/343/201/232/343/201/223/343/202/214/343/202/222/350/252/255/343/202/202/343/201/206/343/203/252/343/202/271/343/203/210.md +12 -12
  726. package/lib/assets/docs/template//343/202/242/343/203/227/343/203/252/343/202/261/343/203/274/343/202/267/343/203/247/343/203/263/351/226/213/347/231/272/347/222/260/345/242/203/343/202/273/343/203/203/343/203/210/343/202/242/343/203/203/343/203/227/346/211/213/351/240/206/346/233/270.md +547 -547
  727. package/lib/assets/docs/template//343/202/244/343/203/206/343/203/254/343/203/274/343/202/267/343/203/247/343/203/263/345/256/214/344/272/206/345/240/261/345/221/212/346/233/270.md +58 -58
  728. package/lib/assets/docs/template//343/202/244/343/203/206/343/203/254/343/203/274/343/202/267/343/203/247/343/203/263/350/250/210/347/224/273.md +327 -327
  729. package/lib/assets/docs/template//343/202/244/343/203/263/343/202/273/343/203/227/343/202/267/343/203/247/343/203/263/343/203/207/343/203/203/343/202/255.md +13 -13
  730. package/lib/assets/docs/template//343/203/223/343/202/270/343/203/215/343/202/271/343/202/242/343/203/274/343/202/255/343/203/206/343/202/257/343/203/201/343/203/243.md +379 -379
  731. package/lib/assets/docs/template//343/203/252/343/203/252/343/203/274/343/202/271/345/256/214/344/272/206/345/240/261/345/221/212/346/233/270.md +275 -275
  732. package/lib/assets/docs/template//344/272/213/344/276/213/345/210/206/346/236/220.md +513 -513
  733. package/lib/assets/docs/template//344/274/201/346/245/255/345/210/206/346/236/220.md +573 -573
  734. package/lib/assets/docs/template//345/256/214/345/205/250/345/275/242/345/274/217/343/201/256/343/203/246/343/203/274/343/202/271/343/202/261/343/203/274/343/202/271.md +69 -69
  735. package/lib/assets/docs/template//350/246/201/344/273/266/345/256/232/347/276/251.md +669 -669
  736. package/lib/assets/docs/template//350/250/255/350/250/210.md +173 -173
  737. package/lib/assets/docs/template//351/226/213/347/231/272/347/222/260/345/242/203/343/202/273/343/203/203/343/203/210/343/202/242/343/203/203/343/203/227/346/211/213/351/240/206/346/233/270.md +688 -688
  738. package/lib/assets/gulpfile.js +27 -25
  739. package/lib/assets/mkdocs.yml +139 -139
  740. package/lib/assets/ops/docker/mkdoc/Dockerfile +19 -19
  741. package/lib/assets/ops/docker/sonarqube-local/docker-compose.yml +57 -57
  742. package/lib/assets/ops/scripts/journal.js +180 -180
  743. package/lib/assets/ops/scripts/manual.js +198 -0
  744. package/lib/assets/ops/scripts/mkdocs.js +82 -82
  745. package/lib/assets/ops/scripts/release.js +431 -431
  746. package/lib/assets/ops/scripts/sonar_local.js +726 -726
  747. package/lib/assets/ops/scripts/ssh.js +190 -190
  748. package/lib/assets/ops/scripts/vault.js +299 -299
  749. package/lib/assets/package-lock.json +1673 -1653
  750. package/lib/assets/package.json +43 -40
  751. package/lib/gulpfile.js +37 -37
  752. package/package.json +41 -41
@@ -1,947 +1,947 @@
1
- # Part V: 並行処理
2
-
3
- 本章では、関数型プログラミングにおける並行処理を学びます。Ref によるスレッドセーフな共有状態管理、Task.WhenAll による並列実行、そして Channel を使ったエージェントによる軽量並行処理の構築方法を習得します。
4
-
5
- ---
6
-
7
- ## 第10章: 並行・並列処理
8
-
9
- ### 10.1 並行処理の課題
10
-
11
- 従来の並行処理には多くの課題があります:
12
-
13
- - デッドロック
14
- - 競合状態(Race Condition)
15
- - 共有状態の管理の複雑さ
16
- - スレッドのオーバーヘッド
17
-
18
- ```plantuml
19
- @startuml
20
- !theme plain
21
-
22
- rectangle "従来の並行処理の問題" {
23
- rectangle "問題" as problems {
24
- card "デッドロック"
25
- card "競合状態"
26
- card "可変状態の共有"
27
- card "スレッド管理"
28
- }
29
-
30
- rectangle "C# での解決策" as solutions {
31
- card "イミュータブルデータ"
32
- card "Ref(ロックベース参照)"
33
- card "Channel(Agent)"
34
- card "Task/async による宣言的な並行処理"
35
- }
36
- }
37
-
38
- problems --> solutions : 関数型アプローチ
39
-
40
- @enduml
41
- ```
42
-
43
- ### 10.2 チェックインのリアルタイム集計
44
-
45
- **ソースファイル**: `app/csharp/src/Ch10/ConcurrentProcessing.cs`
46
-
47
- 都市へのチェックインをリアルタイムで集計し、ランキングを更新する例を見ていきます。
48
-
49
- ```csharp
50
- public record City(string Name);
51
- public record CityStats(City City, int CheckIns);
52
-
53
- // チェックインのシーケンス
54
- public static IEnumerable<City> CheckIns()
55
- {
56
- for (int i = 0; i < 100000; i++)
57
- {
58
- yield return new City("Sydney");
59
- yield return new City("Dublin");
60
- yield return new City("Cape Town");
61
- yield return new City("Lima");
62
- yield return new City("Singapore");
63
- }
64
- }
65
- ```
66
-
67
- #### トップ3都市の計算(純粋関数)
68
-
69
- ```csharp
70
- public static List<CityStats> TopCities(int n, Dictionary<City, int> cityCheckIns) =>
71
- cityCheckIns
72
- .Select(kvp => new CityStats(kvp.Key, kvp.Value))
73
- .OrderByDescending(stats => stats.CheckIns)
74
- .Take(n)
75
- .ToList();
76
- ```
77
-
78
- ### 10.3 Ref - スレッドセーフな共有状態
79
-
80
- **Ref** は、複数の並行処理から安全にアクセスできるスレッドセーフな参照です。C# では `lock` を使って実装します。
81
-
82
- ```csharp
83
- public class Ref<T>
84
- {
85
- private T _value;
86
- private readonly object _lock = new();
87
-
88
- private Ref(T initialValue) => _value = initialValue;
89
-
90
- /// <summary>初期値で Ref を作成</summary>
91
- public static Ref<T> Of(T initialValue) => new(initialValue);
92
-
93
- /// <summary>現在の値を取得</summary>
94
- public T Get()
95
- {
96
- lock (_lock) { return _value; }
97
- }
98
-
99
- /// <summary>値を設定</summary>
100
- public void Set(T newValue)
101
- {
102
- lock (_lock) { _value = newValue; }
103
- }
104
-
105
- /// <summary>アトミックに更新</summary>
106
- public void Update(Func<T, T> f)
107
- {
108
- lock (_lock) { _value = f(_value); }
109
- }
110
- }
111
- ```
112
-
113
- ```plantuml
114
- @startuml
115
- !theme plain
116
-
117
- rectangle "Ref の操作" {
118
- card "Ref.Of(0)" as create
119
- card "ref.Update(n => n + 3)" as update
120
- card "ref.Get()" as get
121
-
122
- create --> update : 作成
123
- update --> get : 更新
124
- }
125
-
126
- note bottom of update
127
- Update はアトミック
128
- 他の処理と競合しない
129
- end note
130
-
131
- @enduml
132
- ```
133
-
134
- #### Ref の主要メソッド
135
-
136
- | メソッド | 説明 | 例 |
137
- |----------|------|-----|
138
- | `Ref<T>.Of(initial)` | 初期値で Ref を作成 | `Ref<int>.Of(0)` |
139
- | `ref.Get()` | 現在の値を取得 | `counter.Get()` |
140
- | `ref.Set(value)` | 値を設定 | `counter.Set(10)` |
141
- | `ref.Update(f)` | アトミックに更新 | `counter.Update(n => n + 1)` |
142
- | `ref.GetAndUpdate(f)` | 更新して古い値を返す | `counter.GetAndUpdate(n => n + 1)` |
143
- | `ref.UpdateAndGet(f)` | 更新して新しい値を返す | `counter.UpdateAndGet(n => n + 1)` |
144
- | `ref.Modify(f)` | 更新して結果を返す | `counter.Modify(n => (n + 1, n * 2))` |
145
-
146
- #### 使用例
147
-
148
- ```csharp
149
- var counter = Ref<int>.Of(0);
150
- counter.Update(n => n + 3); // アトミックに更新
151
- counter.Get(); // 3
152
- ```
153
-
154
- ### 10.4 ParSequence - 並列実行
155
-
156
- C# では `Task.WhenAll` を使って複数の Task を並列実行できます。
157
-
158
- ```csharp
159
- /// <summary>Task のリストを並列実行</summary>
160
- public static async Task<Seq<T>> ParSequence<T>(Seq<Task<T>> tasks)
161
- {
162
- var results = await Task.WhenAll(tasks);
163
- return toSeq(results);
164
- }
165
-
166
- // 使用例
167
- var tasks = Seq(
168
- Task.FromResult(1),
169
- Task.FromResult(2),
170
- Task.FromResult(3)
171
- );
172
- var result = await ParSequence(tasks); // Seq(1, 2, 3)
173
- ```
174
-
175
- ```plantuml
176
- @startuml
177
- !theme plain
178
-
179
- rectangle "sequence vs parSequence" {
180
- rectangle "sequence(順次)" as seq {
181
- card "Task1" as s1
182
- card "Task2" as s2
183
- card "Task3" as s3
184
- s1 --> s2
185
- s2 --> s3
186
- }
187
-
188
- rectangle "parSequence(並列)" as par {
189
- card "Task1" as p1
190
- card "Task2" as p2
191
- card "Task3" as p3
192
- }
193
- }
194
-
195
- note bottom of seq
196
- 合計時間 = Task1 + Task2 + Task3
197
- end note
198
-
199
- note bottom of par
200
- 合計時間 ≈ max(Task1, Task2, Task3)
201
- end note
202
-
203
- @enduml
204
- ```
205
-
206
- #### 複数の Task を並列実行
207
-
208
- ```csharp
209
- /// <summary>2つの Task を並列実行</summary>
210
- public static async Task<(T1, T2)> ParTuple2<T1, T2>(Task<T1> task1, Task<T2> task2)
211
- {
212
- await Task.WhenAll(task1, task2);
213
- return (task1.Result, task2.Result);
214
- }
215
-
216
- /// <summary>3つの Task を並列実行</summary>
217
- public static async Task<(T1, T2, T3)> ParTuple3<T1, T2, T3>(
218
- Task<T1> task1, Task<T2> task2, Task<T3> task3)
219
- {
220
- await Task.WhenAll(task1, task2, task3);
221
- return (task1.Result, task2.Result, task3.Result);
222
- }
223
- ```
224
-
225
- ### 10.5 サイコロを並行して振る
226
-
227
- ```csharp
228
- private static readonly Random _random = new();
229
-
230
- public static Task<int> CastTheDie() =>
231
- Task.Run(() => _random.Next(1, 7));
232
-
233
- /// <summary>N 個のサイコロを並行して振る</summary>
234
- public static async Task<Seq<int>> CastDiceConcurrently(int n)
235
- {
236
- var tasks = Enumerable.Range(0, n).Select(_ => CastTheDie());
237
- var results = await Task.WhenAll(tasks);
238
- return toSeq(results);
239
- }
240
-
241
- /// <summary>N 個のサイコロを並行して振り、合計を返す</summary>
242
- public static async Task<int> CastDiceAndSum(int n)
243
- {
244
- var results = await CastDiceConcurrently(n);
245
- return Enumerable.Sum(results);
246
- }
247
- ```
248
-
249
- ### 10.6 Fiber - キャンセル可能な非同期タスク
250
-
251
- **Fiber** は、バックグラウンドで実行されるキャンセル可能な非同期タスクです。
252
-
253
- ```csharp
254
- public class Fiber<T>
255
- {
256
- /// <summary>タスクの結果を待機</summary>
257
- public Task<T> Join { get; }
258
-
259
- /// <summary>タスクをキャンセル</summary>
260
- public Action Cancel { get; }
261
-
262
- public Fiber(Task<T> join, Action cancel)
263
- {
264
- Join = join;
265
- Cancel = cancel;
266
- }
267
- }
268
-
269
- /// <summary>キャンセル可能な非同期タスクを起動</summary>
270
- public static Fiber<T> Start<T>(Func<CancellationToken, Task<T>> computation)
271
- {
272
- var cts = new CancellationTokenSource();
273
- var task = Task.Run(() => computation(cts.Token), cts.Token);
274
- return new Fiber<T>(task, () => cts.Cancel());
275
- }
276
- ```
277
-
278
- ```plantuml
279
- @startuml
280
- !theme plain
281
-
282
- rectangle "Fiber の動作" {
283
- card "Start(computation)" as start
284
- card "Fiber を返す" as return
285
- card "バックグラウンドで実行" as bg
286
-
287
- start --> return : すぐに戻る
288
- start --> bg : 並行実行
289
- }
290
-
291
- rectangle "Fiber 操作" as ops {
292
- card "fiber.Join" as join
293
- card "fiber.Cancel()" as cancel
294
- }
295
-
296
- bg --> join : 結果を待機
297
- bg --> cancel : キャンセル可能
298
-
299
- @enduml
300
- ```
301
-
302
- #### RepeatN - N 回繰り返す
303
-
304
- ```csharp
305
- /// <summary>アクションを N 回繰り返す</summary>
306
- public static async Task<Seq<T>> RepeatN<T>(int n, Func<Task<T>> action)
307
- {
308
- var results = new List<T>();
309
- for (var i = 0; i < n; i++)
310
- {
311
- results.Add(await action());
312
- }
313
- return toSeq(results);
314
- }
315
- ```
316
-
317
- ### 10.7 チェックイン処理の並行版
318
-
319
- チェックインの保存とランキングの更新を並行して実行します。
320
-
321
- #### チェックインの保存
322
-
323
- ```csharp
324
- public static void StoreCheckIn(Ref<Dictionary<City, int>> storedCheckIns, City city)
325
- {
326
- storedCheckIns.Update(dict =>
327
- {
328
- var newDict = new Dictionary<City, int>(dict);
329
- if (newDict.TryGetValue(city, out var count))
330
- newDict[city] = count + 1;
331
- else
332
- newDict[city] = 1;
333
- return newDict;
334
- });
335
- }
336
- ```
337
-
338
- #### ランキングの継続的な更新
339
-
340
- ```csharp
341
- public static void UpdateRanking(
342
- Ref<Dictionary<City, int>> storedCheckIns,
343
- Ref<List<CityStats>> storedRanking)
344
- {
345
- var checkIns = storedCheckIns.Get();
346
- var ranking = TopCities(3, checkIns);
347
- storedRanking.Set(ranking);
348
- }
349
- ```
350
-
351
- ```plantuml
352
- @startuml
353
- !theme plain
354
-
355
- rectangle "並行処理の構造" {
356
- rectangle "チェックイン処理" as checkin {
357
- card "シーケンスからチェックインを受信"
358
- card "Ref に保存"
359
- }
360
-
361
- rectangle "ランキング更新" as ranking {
362
- card "Ref からデータを読み取り"
363
- card "ランキングを計算"
364
- card "結果を Ref に保存"
365
- }
366
- }
367
-
368
- note bottom
369
- 2つの処理が並行して実行される
370
- end note
371
-
372
- @enduml
373
- ```
374
-
375
- ### 10.8 呼び出し元に制御を返す
376
-
377
- バックグラウンドで処理を続けつつ、呼び出し元に制御を返す設計ができます。
378
-
379
- ```csharp
380
- public class ProcessingCheckIns
381
- {
382
- private readonly Ref<List<CityStats>> _storedRanking;
383
- private readonly CancellationTokenSource _cts;
384
-
385
- public ProcessingCheckIns(Ref<List<CityStats>> storedRanking, CancellationTokenSource cts)
386
- {
387
- _storedRanking = storedRanking;
388
- _cts = cts;
389
- }
390
-
391
- /// <summary>現在のランキングを取得</summary>
392
- public List<CityStats> CurrentRanking() => _storedRanking.Get();
393
-
394
- /// <summary>処理を停止</summary>
395
- public void Stop() => _cts.Cancel();
396
- }
397
-
398
- public static ProcessingCheckIns StartCheckInProcessing(IEnumerable<City> checkIns)
399
- {
400
- var storedCheckIns = Ref<Dictionary<City, int>>.Of(new Dictionary<City, int>());
401
- var storedRanking = Ref<List<CityStats>>.Of(new List<CityStats>());
402
- var cts = new CancellationTokenSource();
403
-
404
- // チェックイン処理を開始
405
- Task.Run(() =>
406
- {
407
- foreach (var city in checkIns)
408
- {
409
- if (cts.Token.IsCancellationRequested) break;
410
- StoreCheckIn(storedCheckIns, city);
411
- }
412
- }, cts.Token);
413
-
414
- // ランキング更新を開始
415
- Task.Run(async () =>
416
- {
417
- while (!cts.Token.IsCancellationRequested)
418
- {
419
- UpdateRanking(storedCheckIns, storedRanking);
420
- await Task.Delay(10, cts.Token);
421
- }
422
- }, cts.Token);
423
-
424
- return new ProcessingCheckIns(storedRanking, cts);
425
- }
426
- ```
427
-
428
- #### 使用例
429
-
430
- ```csharp
431
- var cities = new[]
432
- {
433
- new City("Tokyo"),
434
- new City("Sydney"),
435
- new City("Tokyo"),
436
- new City("London"),
437
- new City("Tokyo")
438
- };
439
-
440
- var processing = StartCheckInProcessing(cities);
441
-
442
- // 少し待ってからランキングを取得
443
- await Task.Delay(100);
444
- var ranking = processing.CurrentRanking();
445
-
446
- // 処理を停止
447
- processing.Stop();
448
- ```
449
-
450
- ### 10.9 Channel を使った Agent による並行処理
451
-
452
- C# では、**Channel** を使ったメッセージパッシング方式の並行処理が可能です。
453
-
454
- ```plantuml
455
- @startuml
456
- !theme plain
457
-
458
- rectangle "Agent (Channel)" {
459
- card "メッセージキュー" as queue
460
- card "状態を持つループ" as loop
461
- card "メッセージ処理" as process
462
-
463
- queue --> process : メッセージを受信
464
- process --> loop : 状態を更新
465
- loop --> queue : 次のメッセージを待機
466
- }
467
-
468
- note bottom
469
- 1つのスレッドで順次処理
470
- スレッドセーフが保証される
471
- end note
472
-
473
- @enduml
474
- ```
475
-
476
- #### カウンターエージェント
477
-
478
- ```csharp
479
- public record Increment;
480
- public record Decrement;
481
- public record GetValue(TaskCompletionSource<int> Reply);
482
- public record Reset;
483
-
484
- public class Agent<TState, TMessage> : IDisposable
485
- {
486
- private readonly Channel<TMessage> _channel;
487
- private readonly CancellationTokenSource _cts;
488
- private TState _state;
489
-
490
- public Agent(TState initialState, Func<TState, TMessage, TState> handler)
491
- {
492
- _channel = Channel.CreateUnbounded<TMessage>();
493
- _cts = new CancellationTokenSource();
494
- _state = initialState;
495
-
496
- Task.Run(async () =>
497
- {
498
- await foreach (var message in _channel.Reader.ReadAllAsync(_cts.Token))
499
- {
500
- _state = handler(_state, message);
501
- }
502
- });
503
- }
504
-
505
- public void Send(TMessage message) =>
506
- _channel.Writer.TryWrite(message);
507
-
508
- public void Dispose()
509
- {
510
- _cts.Cancel();
511
- _channel.Writer.Complete();
512
- }
513
- }
514
- ```
515
-
516
- #### カウンターの使用
517
-
518
- ```csharp
519
- using var counter = AgentBasedConcurrency.CreateCounter(0);
520
-
521
- // インクリメント(Fire-and-forget)
522
- AgentBasedConcurrency.IncrementCounter(counter);
523
- AgentBasedConcurrency.IncrementCounter(counter);
524
-
525
- // 値を取得(同期)
526
- var value = AgentBasedConcurrency.GetCounterValue(counter); // 2
527
-
528
- // デクリメント
529
- AgentBasedConcurrency.DecrementCounter(counter);
530
- var newValue = AgentBasedConcurrency.GetCounterValue(counter); // 1
531
- ```
532
-
533
- #### チェックインエージェント
534
-
535
- ```csharp
536
- public record AddCheckInMsg(City City);
537
- public record GetStatsMsg(TaskCompletionSource<List<CityStats>> Reply);
538
- public record GetTotalMsg(TaskCompletionSource<int> Reply);
539
-
540
- public static Agent<Dictionary<City, int>, object> CreateCheckInAgent() =>
541
- new(new Dictionary<City, int>(), (state, message) => message switch
542
- {
543
- AddCheckInMsg msg => UpdateCheckIns(state, msg.City),
544
- GetStatsMsg msg =>
545
- {
546
- msg.Reply.SetResult(TopCities(3, state));
547
- return state;
548
- },
549
- GetTotalMsg msg =>
550
- {
551
- msg.Reply.SetResult(state.Values.Sum());
552
- return state;
553
- },
554
- _ => state
555
- });
556
- ```
557
-
558
- ### 10.10 並列処理ユーティリティ
559
-
560
- ```csharp
561
- /// <summary>リストの各要素に関数を並列適用</summary>
562
- public static Seq<TResult> ParMap<T, TResult>(Func<T, TResult> f, Seq<T> list)
563
- {
564
- var tasks = list.Map(x => Task.Run(() => f(x)));
565
- return toSeq(Task.WhenAll(tasks).Result);
566
- }
567
-
568
- /// <summary>条件を満たす要素を並列でフィルタ</summary>
569
- public static Seq<T> ParFilter<T>(Func<T, bool> predicate, Seq<T> list)
570
- {
571
- var tasks = list.Map(x => Task.Run(() => (x, predicate(x))));
572
- var results = Task.WhenAll(tasks).Result;
573
- return toSeq(results.Where(r => r.Item2).Select(r => r.x));
574
- }
575
-
576
- /// <summary>並列で集約</summary>
577
- public static Option<T> ParReduce<T>(Func<T, T, T> combine, Seq<T> list)
578
- {
579
- if (list.IsEmpty) return None;
580
- if (list.Count == 1) return Some(list[0]);
581
-
582
- Seq<T> ReduceLevel(Seq<T> items)
583
- {
584
- if (items.Count <= 1) return items;
585
-
586
- var chunks = toSeq(items.Chunk(2));
587
- var tasks = chunks.Map(chunk =>
588
- {
589
- var arr = chunk.ToArray();
590
- return Task.Run(() => arr.Length == 2 ? combine(arr[0], arr[1]) : arr[0]);
591
- });
592
-
593
- return toSeq(Task.WhenAll(tasks).Result);
594
- }
595
-
596
- var current = list;
597
- while (current.Count > 1)
598
- {
599
- current = ReduceLevel(current);
600
- }
601
-
602
- return Some(current[0]);
603
- }
604
- ```
605
-
606
- ### 10.11 タイムアウト付き実行
607
-
608
- ```csharp
609
- /// <summary>タイムアウト付きで Task を実行</summary>
610
- public static async Task<Option<T>> WithTimeout<T>(int timeoutMs, Task<T> task)
611
- {
612
- var timeoutTask = Task.Delay(timeoutMs);
613
- var completedTask = await Task.WhenAny(task, timeoutTask);
614
- if (completedTask == task)
615
- {
616
- return Some(await task);
617
- }
618
- return None;
619
- }
620
- ```
621
-
622
- ### 10.12 偶数カウント(並行版)
623
-
624
- ```csharp
625
- /// <summary>並行して実行し、偶数の数をカウント</summary>
626
- public static async Task<int> CountEvens(Seq<Task<int>> asyncInts)
627
- {
628
- var counter = Ref<int>.Of(0);
629
- var tasks = asyncInts.Map(async asyncInt =>
630
- {
631
- var n = await asyncInt;
632
- if (n % 2 == 0)
633
- {
634
- counter.Update(c => c + 1);
635
- }
636
- });
637
- await Task.WhenAll(tasks);
638
- return counter.Get();
639
- }
640
- ```
641
-
642
- ---
643
-
644
- ## Scala との比較
645
-
646
- ### Ref の比較
647
-
648
- | Scala (Cats Effect) | C# | 説明 |
649
- |---------------------|-----|------|
650
- | `Ref.of[IO, A](initial)` | `Ref<T>.Of(initial)` | 初期値で Ref を作成 |
651
- | `ref.get` | `ref.Get()` | 現在の値を取得 |
652
- | `ref.set(value)` | `ref.Set(value)` | 値を設定 |
653
- | `ref.update(f)` | `ref.Update(f)` | アトミックに更新 |
654
- | `ref.modify(f)` | `ref.Modify(f)` | 更新して結果を返す |
655
-
656
- ### 並列実行の比較
657
-
658
- | Scala (Cats Effect) | C# | 説明 |
659
- |---------------------|-----|------|
660
- | `ios.parSequence` | `ParSequence(tasks)` | 並列実行 |
661
- | `ios.sequence` | 順次 await | 順次実行 |
662
- | `(io1, io2).parTupled` | `ParTuple2(task1, task2)` | 2つを並列実行 |
663
-
664
- ### Fiber の比較
665
-
666
- | Scala (Cats Effect) | C# | 説明 |
667
- |---------------------|-----|------|
668
- | `io.start` | `Start(computation)` | Fiber を起動 |
669
- | `fiber.join` | `fiber.Join` | 結果を待機 |
670
- | `fiber.cancel` | `fiber.Cancel()` | キャンセル |
671
- | `io.foreverM` | while ループ | 永遠に繰り返す |
672
-
673
- ### Agent(Actor)の比較
674
-
675
- | Scala (Akka) | C# | 説明 |
676
- |--------------|-----|------|
677
- | `Actor` | `Agent<TState, TMessage>` | メッセージベースの並行処理 |
678
- | `actorRef ! message` | `agent.Send(message)` | メッセージ送信(非同期) |
679
- | `actorRef ? message` | TaskCompletionSource を使用 | メッセージ送信(同期) |
680
-
681
- ---
682
-
683
- ## まとめ
684
-
685
- ### Part V で学んだこと
686
-
687
- ```plantuml
688
- @startuml
689
- !theme plain
690
-
691
- rectangle "Part V: 並行処理" {
692
- rectangle "第10章" as ch10 {
693
- card "Ref(スレッドセーフ参照)"
694
- card "ParSequence(並列実行)"
695
- card "Fiber(キャンセル可能タスク)"
696
- card "RepeatN(繰り返し実行)"
697
- card "Agent(Channel ベース)"
698
- }
699
- }
700
-
701
- @enduml
702
- ```
703
-
704
- ### 主要コンポーネント
705
-
706
- | コンポーネント | 用途 |
707
- |----------------|------|
708
- | `Ref<T>` | スレッドセーフな共有状態 |
709
- | `ParSequence` | Task のリストを並列実行 |
710
- | `Fiber<T>` | キャンセル可能な非同期タスク |
711
- | `Start` | Fiber をバックグラウンドで起動 |
712
- | `RepeatN` | N 回繰り返し実行 |
713
- | `Agent<TState, TMessage>` | メッセージベースの並行処理 |
714
-
715
- ### キーポイント
716
-
717
- 1. **Ref**: 複数の並行処理から安全にアクセスできるスレッドセーフな参照
718
- 2. **ParSequence**: Task のリストを並列実行して結果を集約
719
- 3. **Fiber**: バックグラウンドで実行されるキャンセル可能なタスク
720
- 4. **Agent**: Channel を使ったメッセージパッシング方式の並行処理
721
- 5. **Task.WhenAll**: 組み込みの並列実行機能
722
-
723
- ### 設計パターン
724
-
725
- ```plantuml
726
- @startuml
727
- !theme plain
728
-
729
- rectangle "並行処理の設計パターン" {
730
- rectangle "パターン1: 並列集約" as p1 {
731
- card "複数の Task を並列実行"
732
- card "結果を集約"
733
- }
734
-
735
- rectangle "パターン2: 共有状態" as p2 {
736
- card "Ref で状態を共有"
737
- card "複数の処理が更新"
738
- }
739
-
740
- rectangle "パターン3: メッセージパッシング" as p3 {
741
- card "Agent で状態を管理"
742
- card "メッセージで通信"
743
- }
744
-
745
- rectangle "パターン4: バックグラウンド処理" as p4 {
746
- card "Fiber で起動"
747
- card "制御を返す"
748
- card "後で結果を取得/停止"
749
- }
750
- }
751
-
752
- @enduml
753
- ```
754
-
755
- ---
756
-
757
- ## 演習問題
758
-
759
- ### 問題 1: Ref の基本
760
-
761
- 以下のプログラムを実装してください。カウンターを 0 から始めて、3回インクリメントした結果を返します。
762
-
763
- ```csharp
764
- public static int IncrementThreeTimes() => ???
765
-
766
- // 期待される動作
767
- IncrementThreeTimes() // 3
768
- ```
769
-
770
- <details>
771
- <summary>解答</summary>
772
-
773
- ```csharp
774
- public static int IncrementThreeTimes()
775
- {
776
- var counter = Ref<int>.Of(0);
777
- counter.Update(n => n + 1);
778
- counter.Update(n => n + 1);
779
- counter.Update(n => n + 1);
780
- return counter.Get();
781
- }
782
- ```
783
-
784
- </details>
785
-
786
- ### 問題 2: 並列実行
787
-
788
- 以下のプログラムを実装してください。3つの Task を並列実行し、結果の合計を返します。
789
-
790
- ```csharp
791
- public static async Task<int> SumParallel(
792
- Task<int> task1, Task<int> task2, Task<int> task3) => ???
793
-
794
- // 期待される動作
795
- await SumParallel(
796
- Task.FromResult(1),
797
- Task.FromResult(2),
798
- Task.FromResult(3)) // 6
799
- ```
800
-
801
- <details>
802
- <summary>解答</summary>
803
-
804
- ```csharp
805
- public static async Task<int> SumParallel(
806
- Task<int> task1, Task<int> task2, Task<int> task3)
807
- {
808
- var results = await Task.WhenAll(task1, task2, task3);
809
- return results.Sum();
810
- }
811
- ```
812
-
813
- </details>
814
-
815
- ### 問題 3: 並行カウント
816
-
817
- 以下のプログラムを実装してください。Task のリストを並行実行し、そのうち偶数を返した回数をカウントします。
818
-
819
- ```csharp
820
- public static async Task<int> CountEvensInList(Seq<Task<int>> asyncInts) => ???
821
-
822
- // 使用例
823
- var asyncInts = Seq(
824
- Task.FromResult(2),
825
- Task.FromResult(3),
826
- Task.FromResult(4),
827
- Task.FromResult(5),
828
- Task.FromResult(6)
829
- );
830
- await CountEvensInList(asyncInts) // 3
831
- ```
832
-
833
- <details>
834
- <summary>解答</summary>
835
-
836
- ```csharp
837
- public static async Task<int> CountEvensInList(Seq<Task<int>> asyncInts)
838
- {
839
- var counter = Ref<int>.Of(0);
840
- var tasks = asyncInts.Map(async asyncInt =>
841
- {
842
- var n = await asyncInt;
843
- if (n % 2 == 0)
844
- {
845
- counter.Update(c => c + 1);
846
- }
847
- });
848
- await Task.WhenAll(tasks);
849
- return counter.Get();
850
- }
851
- ```
852
-
853
- </details>
854
-
855
- ### 問題 4: Agent
856
-
857
- 以下のプログラムを実装してください。メッセージを受け取ってリストに追加し、リストを取得できる Agent を作成します。
858
-
859
- ```csharp
860
- public record AddItem<T>(T Item);
861
- public record GetAll<T>(TaskCompletionSource<List<T>> Reply);
862
-
863
- public static Agent<List<T>, object> CreateListAgent<T>() => ???
864
-
865
- // 期待される動作
866
- using var agent = CreateListAgent<int>();
867
- agent.Send(new AddItem<int>(1));
868
- agent.Send(new AddItem<int>(2));
869
- agent.Send(new AddItem<int>(3));
870
- // GetAll で [1, 2, 3] を取得
871
- ```
872
-
873
- <details>
874
- <summary>解答</summary>
875
-
876
- ```csharp
877
- public record AddItem<T>(T Item);
878
- public record GetAll<T>(TaskCompletionSource<List<T>> Reply);
879
-
880
- public static Agent<List<T>, object> CreateListAgent<T>() =>
881
- new(new List<T>(), (state, message) => message switch
882
- {
883
- AddItem<T> msg =>
884
- {
885
- state.Add(msg.Item);
886
- return state;
887
- },
888
- GetAll<T> msg =>
889
- {
890
- msg.Reply.SetResult(new List<T>(state));
891
- return state;
892
- },
893
- _ => state
894
- });
895
- ```
896
-
897
- </details>
898
-
899
- ### 問題 5: タイムアウト付き収集
900
-
901
- 以下のプログラムを実装してください。指定時間後に処理を停止し、それまでに蓄積された結果を返します。
902
-
903
- ```csharp
904
- public static List<int> CollectFor(int durationMs, Func<int> producer) => ???
905
-
906
- // 期待される動作
907
- // 100msごとに乱数を生成して、1秒間収集
908
- // 約10個の要素が返される
909
- CollectFor(1000, () => random.Next(100))
910
- ```
911
-
912
- <details>
913
- <summary>解答</summary>
914
-
915
- ```csharp
916
- public static List<int> CollectFor(int durationMs, Func<int> producer)
917
- {
918
- var collected = Ref<List<int>>.Of(new List<int>());
919
- var cts = new CancellationTokenSource();
920
-
921
- // 100msごとに値を追加するタスク
922
- Task.Run(async () =>
923
- {
924
- while (!cts.Token.IsCancellationRequested)
925
- {
926
- await Task.Delay(100, cts.Token);
927
- var value = producer();
928
- collected.Update(list =>
929
- {
930
- var newList = new List<int>(list) { value };
931
- return newList;
932
- });
933
- }
934
- }, cts.Token);
935
-
936
- // 指定時間待機
937
- Thread.Sleep(durationMs);
938
-
939
- // キャンセル
940
- cts.Cancel();
941
-
942
- // 結果を取得
943
- return collected.Get();
944
- }
945
- ```
946
-
947
- </details>
1
+ # Part V: 並行処理
2
+
3
+ 本章では、関数型プログラミングにおける並行処理を学びます。Ref によるスレッドセーフな共有状態管理、Task.WhenAll による並列実行、そして Channel を使ったエージェントによる軽量並行処理の構築方法を習得します。
4
+
5
+ ---
6
+
7
+ ## 第10章: 並行・並列処理
8
+
9
+ ### 10.1 並行処理の課題
10
+
11
+ 従来の並行処理には多くの課題があります:
12
+
13
+ - デッドロック
14
+ - 競合状態(Race Condition)
15
+ - 共有状態の管理の複雑さ
16
+ - スレッドのオーバーヘッド
17
+
18
+ ```plantuml
19
+ @startuml
20
+ !theme plain
21
+
22
+ rectangle "従来の並行処理の問題" {
23
+ rectangle "問題" as problems {
24
+ card "デッドロック"
25
+ card "競合状態"
26
+ card "可変状態の共有"
27
+ card "スレッド管理"
28
+ }
29
+
30
+ rectangle "C# での解決策" as solutions {
31
+ card "イミュータブルデータ"
32
+ card "Ref(ロックベース参照)"
33
+ card "Channel(Agent)"
34
+ card "Task/async による宣言的な並行処理"
35
+ }
36
+ }
37
+
38
+ problems --> solutions : 関数型アプローチ
39
+
40
+ @enduml
41
+ ```
42
+
43
+ ### 10.2 チェックインのリアルタイム集計
44
+
45
+ **ソースファイル**: `app/csharp/src/Ch10/ConcurrentProcessing.cs`
46
+
47
+ 都市へのチェックインをリアルタイムで集計し、ランキングを更新する例を見ていきます。
48
+
49
+ ```csharp
50
+ public record City(string Name);
51
+ public record CityStats(City City, int CheckIns);
52
+
53
+ // チェックインのシーケンス
54
+ public static IEnumerable<City> CheckIns()
55
+ {
56
+ for (int i = 0; i < 100000; i++)
57
+ {
58
+ yield return new City("Sydney");
59
+ yield return new City("Dublin");
60
+ yield return new City("Cape Town");
61
+ yield return new City("Lima");
62
+ yield return new City("Singapore");
63
+ }
64
+ }
65
+ ```
66
+
67
+ #### トップ3都市の計算(純粋関数)
68
+
69
+ ```csharp
70
+ public static List<CityStats> TopCities(int n, Dictionary<City, int> cityCheckIns) =>
71
+ cityCheckIns
72
+ .Select(kvp => new CityStats(kvp.Key, kvp.Value))
73
+ .OrderByDescending(stats => stats.CheckIns)
74
+ .Take(n)
75
+ .ToList();
76
+ ```
77
+
78
+ ### 10.3 Ref - スレッドセーフな共有状態
79
+
80
+ **Ref** は、複数の並行処理から安全にアクセスできるスレッドセーフな参照です。C# では `lock` を使って実装します。
81
+
82
+ ```csharp
83
+ public class Ref<T>
84
+ {
85
+ private T _value;
86
+ private readonly object _lock = new();
87
+
88
+ private Ref(T initialValue) => _value = initialValue;
89
+
90
+ /// <summary>初期値で Ref を作成</summary>
91
+ public static Ref<T> Of(T initialValue) => new(initialValue);
92
+
93
+ /// <summary>現在の値を取得</summary>
94
+ public T Get()
95
+ {
96
+ lock (_lock) { return _value; }
97
+ }
98
+
99
+ /// <summary>値を設定</summary>
100
+ public void Set(T newValue)
101
+ {
102
+ lock (_lock) { _value = newValue; }
103
+ }
104
+
105
+ /// <summary>アトミックに更新</summary>
106
+ public void Update(Func<T, T> f)
107
+ {
108
+ lock (_lock) { _value = f(_value); }
109
+ }
110
+ }
111
+ ```
112
+
113
+ ```plantuml
114
+ @startuml
115
+ !theme plain
116
+
117
+ rectangle "Ref の操作" {
118
+ card "Ref.Of(0)" as create
119
+ card "ref.Update(n => n + 3)" as update
120
+ card "ref.Get()" as get
121
+
122
+ create --> update : 作成
123
+ update --> get : 更新
124
+ }
125
+
126
+ note bottom of update
127
+ Update はアトミック
128
+ 他の処理と競合しない
129
+ end note
130
+
131
+ @enduml
132
+ ```
133
+
134
+ #### Ref の主要メソッド
135
+
136
+ | メソッド | 説明 | 例 |
137
+ |----------|------|-----|
138
+ | `Ref<T>.Of(initial)` | 初期値で Ref を作成 | `Ref<int>.Of(0)` |
139
+ | `ref.Get()` | 現在の値を取得 | `counter.Get()` |
140
+ | `ref.Set(value)` | 値を設定 | `counter.Set(10)` |
141
+ | `ref.Update(f)` | アトミックに更新 | `counter.Update(n => n + 1)` |
142
+ | `ref.GetAndUpdate(f)` | 更新して古い値を返す | `counter.GetAndUpdate(n => n + 1)` |
143
+ | `ref.UpdateAndGet(f)` | 更新して新しい値を返す | `counter.UpdateAndGet(n => n + 1)` |
144
+ | `ref.Modify(f)` | 更新して結果を返す | `counter.Modify(n => (n + 1, n * 2))` |
145
+
146
+ #### 使用例
147
+
148
+ ```csharp
149
+ var counter = Ref<int>.Of(0);
150
+ counter.Update(n => n + 3); // アトミックに更新
151
+ counter.Get(); // 3
152
+ ```
153
+
154
+ ### 10.4 ParSequence - 並列実行
155
+
156
+ C# では `Task.WhenAll` を使って複数の Task を並列実行できます。
157
+
158
+ ```csharp
159
+ /// <summary>Task のリストを並列実行</summary>
160
+ public static async Task<Seq<T>> ParSequence<T>(Seq<Task<T>> tasks)
161
+ {
162
+ var results = await Task.WhenAll(tasks);
163
+ return toSeq(results);
164
+ }
165
+
166
+ // 使用例
167
+ var tasks = Seq(
168
+ Task.FromResult(1),
169
+ Task.FromResult(2),
170
+ Task.FromResult(3)
171
+ );
172
+ var result = await ParSequence(tasks); // Seq(1, 2, 3)
173
+ ```
174
+
175
+ ```plantuml
176
+ @startuml
177
+ !theme plain
178
+
179
+ rectangle "sequence vs parSequence" {
180
+ rectangle "sequence(順次)" as seq {
181
+ card "Task1" as s1
182
+ card "Task2" as s2
183
+ card "Task3" as s3
184
+ s1 --> s2
185
+ s2 --> s3
186
+ }
187
+
188
+ rectangle "parSequence(並列)" as par {
189
+ card "Task1" as p1
190
+ card "Task2" as p2
191
+ card "Task3" as p3
192
+ }
193
+ }
194
+
195
+ note bottom of seq
196
+ 合計時間 = Task1 + Task2 + Task3
197
+ end note
198
+
199
+ note bottom of par
200
+ 合計時間 ≈ max(Task1, Task2, Task3)
201
+ end note
202
+
203
+ @enduml
204
+ ```
205
+
206
+ #### 複数の Task を並列実行
207
+
208
+ ```csharp
209
+ /// <summary>2つの Task を並列実行</summary>
210
+ public static async Task<(T1, T2)> ParTuple2<T1, T2>(Task<T1> task1, Task<T2> task2)
211
+ {
212
+ await Task.WhenAll(task1, task2);
213
+ return (task1.Result, task2.Result);
214
+ }
215
+
216
+ /// <summary>3つの Task を並列実行</summary>
217
+ public static async Task<(T1, T2, T3)> ParTuple3<T1, T2, T3>(
218
+ Task<T1> task1, Task<T2> task2, Task<T3> task3)
219
+ {
220
+ await Task.WhenAll(task1, task2, task3);
221
+ return (task1.Result, task2.Result, task3.Result);
222
+ }
223
+ ```
224
+
225
+ ### 10.5 サイコロを並行して振る
226
+
227
+ ```csharp
228
+ private static readonly Random _random = new();
229
+
230
+ public static Task<int> CastTheDie() =>
231
+ Task.Run(() => _random.Next(1, 7));
232
+
233
+ /// <summary>N 個のサイコロを並行して振る</summary>
234
+ public static async Task<Seq<int>> CastDiceConcurrently(int n)
235
+ {
236
+ var tasks = Enumerable.Range(0, n).Select(_ => CastTheDie());
237
+ var results = await Task.WhenAll(tasks);
238
+ return toSeq(results);
239
+ }
240
+
241
+ /// <summary>N 個のサイコロを並行して振り、合計を返す</summary>
242
+ public static async Task<int> CastDiceAndSum(int n)
243
+ {
244
+ var results = await CastDiceConcurrently(n);
245
+ return Enumerable.Sum(results);
246
+ }
247
+ ```
248
+
249
+ ### 10.6 Fiber - キャンセル可能な非同期タスク
250
+
251
+ **Fiber** は、バックグラウンドで実行されるキャンセル可能な非同期タスクです。
252
+
253
+ ```csharp
254
+ public class Fiber<T>
255
+ {
256
+ /// <summary>タスクの結果を待機</summary>
257
+ public Task<T> Join { get; }
258
+
259
+ /// <summary>タスクをキャンセル</summary>
260
+ public Action Cancel { get; }
261
+
262
+ public Fiber(Task<T> join, Action cancel)
263
+ {
264
+ Join = join;
265
+ Cancel = cancel;
266
+ }
267
+ }
268
+
269
+ /// <summary>キャンセル可能な非同期タスクを起動</summary>
270
+ public static Fiber<T> Start<T>(Func<CancellationToken, Task<T>> computation)
271
+ {
272
+ var cts = new CancellationTokenSource();
273
+ var task = Task.Run(() => computation(cts.Token), cts.Token);
274
+ return new Fiber<T>(task, () => cts.Cancel());
275
+ }
276
+ ```
277
+
278
+ ```plantuml
279
+ @startuml
280
+ !theme plain
281
+
282
+ rectangle "Fiber の動作" {
283
+ card "Start(computation)" as start
284
+ card "Fiber を返す" as return
285
+ card "バックグラウンドで実行" as bg
286
+
287
+ start --> return : すぐに戻る
288
+ start --> bg : 並行実行
289
+ }
290
+
291
+ rectangle "Fiber 操作" as ops {
292
+ card "fiber.Join" as join
293
+ card "fiber.Cancel()" as cancel
294
+ }
295
+
296
+ bg --> join : 結果を待機
297
+ bg --> cancel : キャンセル可能
298
+
299
+ @enduml
300
+ ```
301
+
302
+ #### RepeatN - N 回繰り返す
303
+
304
+ ```csharp
305
+ /// <summary>アクションを N 回繰り返す</summary>
306
+ public static async Task<Seq<T>> RepeatN<T>(int n, Func<Task<T>> action)
307
+ {
308
+ var results = new List<T>();
309
+ for (var i = 0; i < n; i++)
310
+ {
311
+ results.Add(await action());
312
+ }
313
+ return toSeq(results);
314
+ }
315
+ ```
316
+
317
+ ### 10.7 チェックイン処理の並行版
318
+
319
+ チェックインの保存とランキングの更新を並行して実行します。
320
+
321
+ #### チェックインの保存
322
+
323
+ ```csharp
324
+ public static void StoreCheckIn(Ref<Dictionary<City, int>> storedCheckIns, City city)
325
+ {
326
+ storedCheckIns.Update(dict =>
327
+ {
328
+ var newDict = new Dictionary<City, int>(dict);
329
+ if (newDict.TryGetValue(city, out var count))
330
+ newDict[city] = count + 1;
331
+ else
332
+ newDict[city] = 1;
333
+ return newDict;
334
+ });
335
+ }
336
+ ```
337
+
338
+ #### ランキングの継続的な更新
339
+
340
+ ```csharp
341
+ public static void UpdateRanking(
342
+ Ref<Dictionary<City, int>> storedCheckIns,
343
+ Ref<List<CityStats>> storedRanking)
344
+ {
345
+ var checkIns = storedCheckIns.Get();
346
+ var ranking = TopCities(3, checkIns);
347
+ storedRanking.Set(ranking);
348
+ }
349
+ ```
350
+
351
+ ```plantuml
352
+ @startuml
353
+ !theme plain
354
+
355
+ rectangle "並行処理の構造" {
356
+ rectangle "チェックイン処理" as checkin {
357
+ card "シーケンスからチェックインを受信"
358
+ card "Ref に保存"
359
+ }
360
+
361
+ rectangle "ランキング更新" as ranking {
362
+ card "Ref からデータを読み取り"
363
+ card "ランキングを計算"
364
+ card "結果を Ref に保存"
365
+ }
366
+ }
367
+
368
+ note bottom
369
+ 2つの処理が並行して実行される
370
+ end note
371
+
372
+ @enduml
373
+ ```
374
+
375
+ ### 10.8 呼び出し元に制御を返す
376
+
377
+ バックグラウンドで処理を続けつつ、呼び出し元に制御を返す設計ができます。
378
+
379
+ ```csharp
380
+ public class ProcessingCheckIns
381
+ {
382
+ private readonly Ref<List<CityStats>> _storedRanking;
383
+ private readonly CancellationTokenSource _cts;
384
+
385
+ public ProcessingCheckIns(Ref<List<CityStats>> storedRanking, CancellationTokenSource cts)
386
+ {
387
+ _storedRanking = storedRanking;
388
+ _cts = cts;
389
+ }
390
+
391
+ /// <summary>現在のランキングを取得</summary>
392
+ public List<CityStats> CurrentRanking() => _storedRanking.Get();
393
+
394
+ /// <summary>処理を停止</summary>
395
+ public void Stop() => _cts.Cancel();
396
+ }
397
+
398
+ public static ProcessingCheckIns StartCheckInProcessing(IEnumerable<City> checkIns)
399
+ {
400
+ var storedCheckIns = Ref<Dictionary<City, int>>.Of(new Dictionary<City, int>());
401
+ var storedRanking = Ref<List<CityStats>>.Of(new List<CityStats>());
402
+ var cts = new CancellationTokenSource();
403
+
404
+ // チェックイン処理を開始
405
+ Task.Run(() =>
406
+ {
407
+ foreach (var city in checkIns)
408
+ {
409
+ if (cts.Token.IsCancellationRequested) break;
410
+ StoreCheckIn(storedCheckIns, city);
411
+ }
412
+ }, cts.Token);
413
+
414
+ // ランキング更新を開始
415
+ Task.Run(async () =>
416
+ {
417
+ while (!cts.Token.IsCancellationRequested)
418
+ {
419
+ UpdateRanking(storedCheckIns, storedRanking);
420
+ await Task.Delay(10, cts.Token);
421
+ }
422
+ }, cts.Token);
423
+
424
+ return new ProcessingCheckIns(storedRanking, cts);
425
+ }
426
+ ```
427
+
428
+ #### 使用例
429
+
430
+ ```csharp
431
+ var cities = new[]
432
+ {
433
+ new City("Tokyo"),
434
+ new City("Sydney"),
435
+ new City("Tokyo"),
436
+ new City("London"),
437
+ new City("Tokyo")
438
+ };
439
+
440
+ var processing = StartCheckInProcessing(cities);
441
+
442
+ // 少し待ってからランキングを取得
443
+ await Task.Delay(100);
444
+ var ranking = processing.CurrentRanking();
445
+
446
+ // 処理を停止
447
+ processing.Stop();
448
+ ```
449
+
450
+ ### 10.9 Channel を使った Agent による並行処理
451
+
452
+ C# では、**Channel** を使ったメッセージパッシング方式の並行処理が可能です。
453
+
454
+ ```plantuml
455
+ @startuml
456
+ !theme plain
457
+
458
+ rectangle "Agent (Channel)" {
459
+ card "メッセージキュー" as queue
460
+ card "状態を持つループ" as loop
461
+ card "メッセージ処理" as process
462
+
463
+ queue --> process : メッセージを受信
464
+ process --> loop : 状態を更新
465
+ loop --> queue : 次のメッセージを待機
466
+ }
467
+
468
+ note bottom
469
+ 1つのスレッドで順次処理
470
+ スレッドセーフが保証される
471
+ end note
472
+
473
+ @enduml
474
+ ```
475
+
476
+ #### カウンターエージェント
477
+
478
+ ```csharp
479
+ public record Increment;
480
+ public record Decrement;
481
+ public record GetValue(TaskCompletionSource<int> Reply);
482
+ public record Reset;
483
+
484
+ public class Agent<TState, TMessage> : IDisposable
485
+ {
486
+ private readonly Channel<TMessage> _channel;
487
+ private readonly CancellationTokenSource _cts;
488
+ private TState _state;
489
+
490
+ public Agent(TState initialState, Func<TState, TMessage, TState> handler)
491
+ {
492
+ _channel = Channel.CreateUnbounded<TMessage>();
493
+ _cts = new CancellationTokenSource();
494
+ _state = initialState;
495
+
496
+ Task.Run(async () =>
497
+ {
498
+ await foreach (var message in _channel.Reader.ReadAllAsync(_cts.Token))
499
+ {
500
+ _state = handler(_state, message);
501
+ }
502
+ });
503
+ }
504
+
505
+ public void Send(TMessage message) =>
506
+ _channel.Writer.TryWrite(message);
507
+
508
+ public void Dispose()
509
+ {
510
+ _cts.Cancel();
511
+ _channel.Writer.Complete();
512
+ }
513
+ }
514
+ ```
515
+
516
+ #### カウンターの使用
517
+
518
+ ```csharp
519
+ using var counter = AgentBasedConcurrency.CreateCounter(0);
520
+
521
+ // インクリメント(Fire-and-forget)
522
+ AgentBasedConcurrency.IncrementCounter(counter);
523
+ AgentBasedConcurrency.IncrementCounter(counter);
524
+
525
+ // 値を取得(同期)
526
+ var value = AgentBasedConcurrency.GetCounterValue(counter); // 2
527
+
528
+ // デクリメント
529
+ AgentBasedConcurrency.DecrementCounter(counter);
530
+ var newValue = AgentBasedConcurrency.GetCounterValue(counter); // 1
531
+ ```
532
+
533
+ #### チェックインエージェント
534
+
535
+ ```csharp
536
+ public record AddCheckInMsg(City City);
537
+ public record GetStatsMsg(TaskCompletionSource<List<CityStats>> Reply);
538
+ public record GetTotalMsg(TaskCompletionSource<int> Reply);
539
+
540
+ public static Agent<Dictionary<City, int>, object> CreateCheckInAgent() =>
541
+ new(new Dictionary<City, int>(), (state, message) => message switch
542
+ {
543
+ AddCheckInMsg msg => UpdateCheckIns(state, msg.City),
544
+ GetStatsMsg msg =>
545
+ {
546
+ msg.Reply.SetResult(TopCities(3, state));
547
+ return state;
548
+ },
549
+ GetTotalMsg msg =>
550
+ {
551
+ msg.Reply.SetResult(state.Values.Sum());
552
+ return state;
553
+ },
554
+ _ => state
555
+ });
556
+ ```
557
+
558
+ ### 10.10 並列処理ユーティリティ
559
+
560
+ ```csharp
561
+ /// <summary>リストの各要素に関数を並列適用</summary>
562
+ public static Seq<TResult> ParMap<T, TResult>(Func<T, TResult> f, Seq<T> list)
563
+ {
564
+ var tasks = list.Map(x => Task.Run(() => f(x)));
565
+ return toSeq(Task.WhenAll(tasks).Result);
566
+ }
567
+
568
+ /// <summary>条件を満たす要素を並列でフィルタ</summary>
569
+ public static Seq<T> ParFilter<T>(Func<T, bool> predicate, Seq<T> list)
570
+ {
571
+ var tasks = list.Map(x => Task.Run(() => (x, predicate(x))));
572
+ var results = Task.WhenAll(tasks).Result;
573
+ return toSeq(results.Where(r => r.Item2).Select(r => r.x));
574
+ }
575
+
576
+ /// <summary>並列で集約</summary>
577
+ public static Option<T> ParReduce<T>(Func<T, T, T> combine, Seq<T> list)
578
+ {
579
+ if (list.IsEmpty) return None;
580
+ if (list.Count == 1) return Some(list[0]);
581
+
582
+ Seq<T> ReduceLevel(Seq<T> items)
583
+ {
584
+ if (items.Count <= 1) return items;
585
+
586
+ var chunks = toSeq(items.Chunk(2));
587
+ var tasks = chunks.Map(chunk =>
588
+ {
589
+ var arr = chunk.ToArray();
590
+ return Task.Run(() => arr.Length == 2 ? combine(arr[0], arr[1]) : arr[0]);
591
+ });
592
+
593
+ return toSeq(Task.WhenAll(tasks).Result);
594
+ }
595
+
596
+ var current = list;
597
+ while (current.Count > 1)
598
+ {
599
+ current = ReduceLevel(current);
600
+ }
601
+
602
+ return Some(current[0]);
603
+ }
604
+ ```
605
+
606
+ ### 10.11 タイムアウト付き実行
607
+
608
+ ```csharp
609
+ /// <summary>タイムアウト付きで Task を実行</summary>
610
+ public static async Task<Option<T>> WithTimeout<T>(int timeoutMs, Task<T> task)
611
+ {
612
+ var timeoutTask = Task.Delay(timeoutMs);
613
+ var completedTask = await Task.WhenAny(task, timeoutTask);
614
+ if (completedTask == task)
615
+ {
616
+ return Some(await task);
617
+ }
618
+ return None;
619
+ }
620
+ ```
621
+
622
+ ### 10.12 偶数カウント(並行版)
623
+
624
+ ```csharp
625
+ /// <summary>並行して実行し、偶数の数をカウント</summary>
626
+ public static async Task<int> CountEvens(Seq<Task<int>> asyncInts)
627
+ {
628
+ var counter = Ref<int>.Of(0);
629
+ var tasks = asyncInts.Map(async asyncInt =>
630
+ {
631
+ var n = await asyncInt;
632
+ if (n % 2 == 0)
633
+ {
634
+ counter.Update(c => c + 1);
635
+ }
636
+ });
637
+ await Task.WhenAll(tasks);
638
+ return counter.Get();
639
+ }
640
+ ```
641
+
642
+ ---
643
+
644
+ ## Scala との比較
645
+
646
+ ### Ref の比較
647
+
648
+ | Scala (Cats Effect) | C# | 説明 |
649
+ |---------------------|-----|------|
650
+ | `Ref.of[IO, A](initial)` | `Ref<T>.Of(initial)` | 初期値で Ref を作成 |
651
+ | `ref.get` | `ref.Get()` | 現在の値を取得 |
652
+ | `ref.set(value)` | `ref.Set(value)` | 値を設定 |
653
+ | `ref.update(f)` | `ref.Update(f)` | アトミックに更新 |
654
+ | `ref.modify(f)` | `ref.Modify(f)` | 更新して結果を返す |
655
+
656
+ ### 並列実行の比較
657
+
658
+ | Scala (Cats Effect) | C# | 説明 |
659
+ |---------------------|-----|------|
660
+ | `ios.parSequence` | `ParSequence(tasks)` | 並列実行 |
661
+ | `ios.sequence` | 順次 await | 順次実行 |
662
+ | `(io1, io2).parTupled` | `ParTuple2(task1, task2)` | 2つを並列実行 |
663
+
664
+ ### Fiber の比較
665
+
666
+ | Scala (Cats Effect) | C# | 説明 |
667
+ |---------------------|-----|------|
668
+ | `io.start` | `Start(computation)` | Fiber を起動 |
669
+ | `fiber.join` | `fiber.Join` | 結果を待機 |
670
+ | `fiber.cancel` | `fiber.Cancel()` | キャンセル |
671
+ | `io.foreverM` | while ループ | 永遠に繰り返す |
672
+
673
+ ### Agent(Actor)の比較
674
+
675
+ | Scala (Akka) | C# | 説明 |
676
+ |--------------|-----|------|
677
+ | `Actor` | `Agent<TState, TMessage>` | メッセージベースの並行処理 |
678
+ | `actorRef ! message` | `agent.Send(message)` | メッセージ送信(非同期) |
679
+ | `actorRef ? message` | TaskCompletionSource を使用 | メッセージ送信(同期) |
680
+
681
+ ---
682
+
683
+ ## まとめ
684
+
685
+ ### Part V で学んだこと
686
+
687
+ ```plantuml
688
+ @startuml
689
+ !theme plain
690
+
691
+ rectangle "Part V: 並行処理" {
692
+ rectangle "第10章" as ch10 {
693
+ card "Ref(スレッドセーフ参照)"
694
+ card "ParSequence(並列実行)"
695
+ card "Fiber(キャンセル可能タスク)"
696
+ card "RepeatN(繰り返し実行)"
697
+ card "Agent(Channel ベース)"
698
+ }
699
+ }
700
+
701
+ @enduml
702
+ ```
703
+
704
+ ### 主要コンポーネント
705
+
706
+ | コンポーネント | 用途 |
707
+ |----------------|------|
708
+ | `Ref<T>` | スレッドセーフな共有状態 |
709
+ | `ParSequence` | Task のリストを並列実行 |
710
+ | `Fiber<T>` | キャンセル可能な非同期タスク |
711
+ | `Start` | Fiber をバックグラウンドで起動 |
712
+ | `RepeatN` | N 回繰り返し実行 |
713
+ | `Agent<TState, TMessage>` | メッセージベースの並行処理 |
714
+
715
+ ### キーポイント
716
+
717
+ 1. **Ref**: 複数の並行処理から安全にアクセスできるスレッドセーフな参照
718
+ 2. **ParSequence**: Task のリストを並列実行して結果を集約
719
+ 3. **Fiber**: バックグラウンドで実行されるキャンセル可能なタスク
720
+ 4. **Agent**: Channel を使ったメッセージパッシング方式の並行処理
721
+ 5. **Task.WhenAll**: 組み込みの並列実行機能
722
+
723
+ ### 設計パターン
724
+
725
+ ```plantuml
726
+ @startuml
727
+ !theme plain
728
+
729
+ rectangle "並行処理の設計パターン" {
730
+ rectangle "パターン1: 並列集約" as p1 {
731
+ card "複数の Task を並列実行"
732
+ card "結果を集約"
733
+ }
734
+
735
+ rectangle "パターン2: 共有状態" as p2 {
736
+ card "Ref で状態を共有"
737
+ card "複数の処理が更新"
738
+ }
739
+
740
+ rectangle "パターン3: メッセージパッシング" as p3 {
741
+ card "Agent で状態を管理"
742
+ card "メッセージで通信"
743
+ }
744
+
745
+ rectangle "パターン4: バックグラウンド処理" as p4 {
746
+ card "Fiber で起動"
747
+ card "制御を返す"
748
+ card "後で結果を取得/停止"
749
+ }
750
+ }
751
+
752
+ @enduml
753
+ ```
754
+
755
+ ---
756
+
757
+ ## 演習問題
758
+
759
+ ### 問題 1: Ref の基本
760
+
761
+ 以下のプログラムを実装してください。カウンターを 0 から始めて、3回インクリメントした結果を返します。
762
+
763
+ ```csharp
764
+ public static int IncrementThreeTimes() => ???
765
+
766
+ // 期待される動作
767
+ IncrementThreeTimes() // 3
768
+ ```
769
+
770
+ <details>
771
+ <summary>解答</summary>
772
+
773
+ ```csharp
774
+ public static int IncrementThreeTimes()
775
+ {
776
+ var counter = Ref<int>.Of(0);
777
+ counter.Update(n => n + 1);
778
+ counter.Update(n => n + 1);
779
+ counter.Update(n => n + 1);
780
+ return counter.Get();
781
+ }
782
+ ```
783
+
784
+ </details>
785
+
786
+ ### 問題 2: 並列実行
787
+
788
+ 以下のプログラムを実装してください。3つの Task を並列実行し、結果の合計を返します。
789
+
790
+ ```csharp
791
+ public static async Task<int> SumParallel(
792
+ Task<int> task1, Task<int> task2, Task<int> task3) => ???
793
+
794
+ // 期待される動作
795
+ await SumParallel(
796
+ Task.FromResult(1),
797
+ Task.FromResult(2),
798
+ Task.FromResult(3)) // 6
799
+ ```
800
+
801
+ <details>
802
+ <summary>解答</summary>
803
+
804
+ ```csharp
805
+ public static async Task<int> SumParallel(
806
+ Task<int> task1, Task<int> task2, Task<int> task3)
807
+ {
808
+ var results = await Task.WhenAll(task1, task2, task3);
809
+ return results.Sum();
810
+ }
811
+ ```
812
+
813
+ </details>
814
+
815
+ ### 問題 3: 並行カウント
816
+
817
+ 以下のプログラムを実装してください。Task のリストを並行実行し、そのうち偶数を返した回数をカウントします。
818
+
819
+ ```csharp
820
+ public static async Task<int> CountEvensInList(Seq<Task<int>> asyncInts) => ???
821
+
822
+ // 使用例
823
+ var asyncInts = Seq(
824
+ Task.FromResult(2),
825
+ Task.FromResult(3),
826
+ Task.FromResult(4),
827
+ Task.FromResult(5),
828
+ Task.FromResult(6)
829
+ );
830
+ await CountEvensInList(asyncInts) // 3
831
+ ```
832
+
833
+ <details>
834
+ <summary>解答</summary>
835
+
836
+ ```csharp
837
+ public static async Task<int> CountEvensInList(Seq<Task<int>> asyncInts)
838
+ {
839
+ var counter = Ref<int>.Of(0);
840
+ var tasks = asyncInts.Map(async asyncInt =>
841
+ {
842
+ var n = await asyncInt;
843
+ if (n % 2 == 0)
844
+ {
845
+ counter.Update(c => c + 1);
846
+ }
847
+ });
848
+ await Task.WhenAll(tasks);
849
+ return counter.Get();
850
+ }
851
+ ```
852
+
853
+ </details>
854
+
855
+ ### 問題 4: Agent
856
+
857
+ 以下のプログラムを実装してください。メッセージを受け取ってリストに追加し、リストを取得できる Agent を作成します。
858
+
859
+ ```csharp
860
+ public record AddItem<T>(T Item);
861
+ public record GetAll<T>(TaskCompletionSource<List<T>> Reply);
862
+
863
+ public static Agent<List<T>, object> CreateListAgent<T>() => ???
864
+
865
+ // 期待される動作
866
+ using var agent = CreateListAgent<int>();
867
+ agent.Send(new AddItem<int>(1));
868
+ agent.Send(new AddItem<int>(2));
869
+ agent.Send(new AddItem<int>(3));
870
+ // GetAll で [1, 2, 3] を取得
871
+ ```
872
+
873
+ <details>
874
+ <summary>解答</summary>
875
+
876
+ ```csharp
877
+ public record AddItem<T>(T Item);
878
+ public record GetAll<T>(TaskCompletionSource<List<T>> Reply);
879
+
880
+ public static Agent<List<T>, object> CreateListAgent<T>() =>
881
+ new(new List<T>(), (state, message) => message switch
882
+ {
883
+ AddItem<T> msg =>
884
+ {
885
+ state.Add(msg.Item);
886
+ return state;
887
+ },
888
+ GetAll<T> msg =>
889
+ {
890
+ msg.Reply.SetResult(new List<T>(state));
891
+ return state;
892
+ },
893
+ _ => state
894
+ });
895
+ ```
896
+
897
+ </details>
898
+
899
+ ### 問題 5: タイムアウト付き収集
900
+
901
+ 以下のプログラムを実装してください。指定時間後に処理を停止し、それまでに蓄積された結果を返します。
902
+
903
+ ```csharp
904
+ public static List<int> CollectFor(int durationMs, Func<int> producer) => ???
905
+
906
+ // 期待される動作
907
+ // 100msごとに乱数を生成して、1秒間収集
908
+ // 約10個の要素が返される
909
+ CollectFor(1000, () => random.Next(100))
910
+ ```
911
+
912
+ <details>
913
+ <summary>解答</summary>
914
+
915
+ ```csharp
916
+ public static List<int> CollectFor(int durationMs, Func<int> producer)
917
+ {
918
+ var collected = Ref<List<int>>.Of(new List<int>());
919
+ var cts = new CancellationTokenSource();
920
+
921
+ // 100msごとに値を追加するタスク
922
+ Task.Run(async () =>
923
+ {
924
+ while (!cts.Token.IsCancellationRequested)
925
+ {
926
+ await Task.Delay(100, cts.Token);
927
+ var value = producer();
928
+ collected.Update(list =>
929
+ {
930
+ var newList = new List<int>(list) { value };
931
+ return newList;
932
+ });
933
+ }
934
+ }, cts.Token);
935
+
936
+ // 指定時間待機
937
+ Thread.Sleep(durationMs);
938
+
939
+ // キャンセル
940
+ cts.Cancel();
941
+
942
+ // 結果を取得
943
+ return collected.Get();
944
+ }
945
+ ```
946
+
947
+ </details>