@k2works/claude-code-booster 4.5.0 → 4.6.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 (743) hide show
  1. package/LICENSE +21 -21
  2. package/README.md +42 -42
  3. package/bin/claude-code-booster +90 -90
  4. package/lib/assets/.claude/README.md +269 -269
  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/creating-adr/SKILL.md +113 -113
  33. package/lib/assets/.claude/skills/creating-iteration-report/SKILL.md +210 -210
  34. package/lib/assets/.claude/skills/creating-release-report/SKILL.md +161 -161
  35. package/lib/assets/.claude/skills/creating-slides/SKILL.md +86 -0
  36. package/lib/assets/.claude/skills/creating-slides/agents/openai.yaml +4 -0
  37. package/lib/assets/.claude/skills/creating-slides/references/manga-css.md +45 -0
  38. package/lib/assets/.claude/skills/creating-slides/scripts/slide_tools.py +239 -0
  39. package/lib/assets/.claude/skills/developing-backend/SKILL.md +100 -100
  40. package/lib/assets/.claude/skills/developing-frontend/SKILL.md +93 -93
  41. package/lib/assets/.claude/skills/developing-release/SKILL.md +120 -120
  42. package/lib/assets/.claude/skills/developing-review/SKILL.md +175 -175
  43. package/lib/assets/.claude/skills/developing-uiux-review/SKILL.md +207 -207
  44. package/lib/assets/.claude/skills/generating-bmc/SKILL.md +123 -123
  45. package/lib/assets/.claude/skills/generating-slides/SKILL.md +94 -94
  46. package/lib/assets/.claude/skills/git-commit/SKILL.md +81 -81
  47. package/lib/assets/.claude/skills/killing-processes/SKILL.md +44 -44
  48. package/lib/assets/.claude/skills/operating-backup/SKILL.md +59 -59
  49. package/lib/assets/.claude/skills/operating-cicd/SKILL.md +54 -54
  50. package/lib/assets/.claude/skills/operating-deploy/SKILL.md +67 -67
  51. package/lib/assets/.claude/skills/operating-docs/SKILL.md +219 -219
  52. package/lib/assets/.claude/skills/operating-provision/SKILL.md +77 -77
  53. package/lib/assets/.claude/skills/operating-qt/SKILL.md +147 -147
  54. package/lib/assets/.claude/skills/operating-review/SKILL.md +171 -171
  55. package/lib/assets/.claude/skills/operating-script/SKILL.md +145 -145
  56. package/lib/assets/.claude/skills/operating-setup/SKILL.md +63 -63
  57. package/lib/assets/.claude/skills/orchestrating-analysis/SKILL.md +104 -104
  58. package/lib/assets/.claude/skills/orchestrating-development/SKILL.md +168 -168
  59. package/lib/assets/.claude/skills/orchestrating-operation/SKILL.md +158 -158
  60. package/lib/assets/.claude/skills/orchestrating-project/SKILL.md +144 -144
  61. package/lib/assets/.claude/skills/planning-releases/SKILL.md +119 -119
  62. package/lib/assets/.claude/skills/practicing-getting-start-tdd/SKILL.md +266 -266
  63. package/lib/assets/.claude/skills/syncing-github-project/SKILL.md +151 -151
  64. package/lib/assets/.claude/skills/tracking-progress/SKILL.md +91 -91
  65. package/lib/assets/.claude/skills/validating-iteration-plan/SKILL.md +238 -238
  66. package/lib/assets/.devcontainer/devcontainer.json +37 -37
  67. package/lib/assets/.env.example +17 -17
  68. package/lib/assets/.gitattributes +4 -4
  69. package/lib/assets/.github/workflows/docker-publish.yml +77 -77
  70. package/lib/assets/.github/workflows/mkdocs.yml +39 -39
  71. package/lib/assets/AGENTS.md +94 -94
  72. package/lib/assets/CLAUDE.md +193 -193
  73. package/lib/assets/README.md +291 -291
  74. package/lib/assets/docker-compose.yml +33 -33
  75. package/lib/assets/docs/adr/index.md +10 -10
  76. package/lib/assets/docs/article/functional-desgin-ppp/all/01-immutability-and-data-transformation.md +475 -475
  77. package/lib/assets/docs/article/functional-desgin-ppp/all/02-function-composition.md +519 -519
  78. package/lib/assets/docs/article/functional-desgin-ppp/all/03-polymorphism.md +537 -537
  79. package/lib/assets/docs/article/functional-desgin-ppp/all/04-data-validation.md +300 -300
  80. package/lib/assets/docs/article/functional-desgin-ppp/all/05-property-based-testing.md +320 -320
  81. package/lib/assets/docs/article/functional-desgin-ppp/all/06-tdd-and-functional.md +498 -498
  82. package/lib/assets/docs/article/functional-desgin-ppp/all/07-composite-pattern.md +298 -298
  83. package/lib/assets/docs/article/functional-desgin-ppp/all/08-decorator-pattern.md +291 -291
  84. package/lib/assets/docs/article/functional-desgin-ppp/all/09-adapter-pattern.md +336 -336
  85. package/lib/assets/docs/article/functional-desgin-ppp/all/10-strategy-pattern.md +303 -303
  86. package/lib/assets/docs/article/functional-desgin-ppp/all/11-command-pattern.md +286 -286
  87. package/lib/assets/docs/article/functional-desgin-ppp/all/12-visitor-pattern.md +322 -322
  88. package/lib/assets/docs/article/functional-desgin-ppp/all/13-abstract-factory-pattern.md +319 -319
  89. package/lib/assets/docs/article/functional-desgin-ppp/all/14-abstract-server-pattern.md +365 -365
  90. package/lib/assets/docs/article/functional-desgin-ppp/all/15-gossiping-bus-drivers.md +156 -156
  91. package/lib/assets/docs/article/functional-desgin-ppp/all/16-payroll-system.md +178 -178
  92. package/lib/assets/docs/article/functional-desgin-ppp/all/17-video-rental-system.md +312 -312
  93. package/lib/assets/docs/article/functional-desgin-ppp/all/18-concurrency-system.md +287 -287
  94. package/lib/assets/docs/article/functional-desgin-ppp/all/19-wa-tor-simulation.md +286 -286
  95. package/lib/assets/docs/article/functional-desgin-ppp/all/20-pattern-interactions.md +274 -274
  96. package/lib/assets/docs/article/functional-desgin-ppp/all/21-best-practices.md +294 -294
  97. package/lib/assets/docs/article/functional-desgin-ppp/all/22-oo-to-fp-migration.md +337 -337
  98. package/lib/assets/docs/article/functional-desgin-ppp/all/index.md +388 -388
  99. package/lib/assets/docs/article/functional-desgin-ppp/clojure/01-immutability-and-data-transformation.md +273 -273
  100. package/lib/assets/docs/article/functional-desgin-ppp/clojure/02-function-composition.md +380 -380
  101. package/lib/assets/docs/article/functional-desgin-ppp/clojure/03-polymorphism.md +384 -384
  102. package/lib/assets/docs/article/functional-desgin-ppp/clojure/04-clojure-spec.md +350 -350
  103. package/lib/assets/docs/article/functional-desgin-ppp/clojure/05-property-based-testing.md +352 -352
  104. package/lib/assets/docs/article/functional-desgin-ppp/clojure/06-tdd-in-functional.md +383 -383
  105. package/lib/assets/docs/article/functional-desgin-ppp/clojure/07-composite-pattern.md +529 -529
  106. package/lib/assets/docs/article/functional-desgin-ppp/clojure/08-decorator-pattern.md +395 -395
  107. package/lib/assets/docs/article/functional-desgin-ppp/clojure/09-adapter-pattern.md +399 -399
  108. package/lib/assets/docs/article/functional-desgin-ppp/clojure/10-strategy-pattern.md +485 -485
  109. package/lib/assets/docs/article/functional-desgin-ppp/clojure/11-command-pattern.md +566 -566
  110. package/lib/assets/docs/article/functional-desgin-ppp/clojure/12-visitor-pattern.md +567 -567
  111. package/lib/assets/docs/article/functional-desgin-ppp/clojure/13-abstract-factory-pattern.md +475 -475
  112. package/lib/assets/docs/article/functional-desgin-ppp/clojure/14-abstract-server-pattern.md +462 -462
  113. package/lib/assets/docs/article/functional-desgin-ppp/clojure/15-gossiping-bus-drivers.md +325 -325
  114. package/lib/assets/docs/article/functional-desgin-ppp/clojure/16-payroll-system.md +401 -401
  115. package/lib/assets/docs/article/functional-desgin-ppp/clojure/17-video-rental-system.md +450 -450
  116. package/lib/assets/docs/article/functional-desgin-ppp/clojure/18-concurrency-system.md +475 -475
  117. package/lib/assets/docs/article/functional-desgin-ppp/clojure/19-wator-simulation.md +739 -739
  118. package/lib/assets/docs/article/functional-desgin-ppp/clojure/20-pattern-interactions.md +567 -567
  119. package/lib/assets/docs/article/functional-desgin-ppp/clojure/21-best-practices.md +518 -518
  120. package/lib/assets/docs/article/functional-desgin-ppp/clojure/22-oo-to-fp-migration.md +532 -532
  121. package/lib/assets/docs/article/functional-desgin-ppp/clojure/index.md +241 -241
  122. package/lib/assets/docs/article/functional-desgin-ppp/elixir/01-immutability-and-data-transformation.md +383 -383
  123. package/lib/assets/docs/article/functional-desgin-ppp/elixir/02-function-composition.md +374 -374
  124. package/lib/assets/docs/article/functional-desgin-ppp/elixir/03-polymorphism.md +375 -375
  125. package/lib/assets/docs/article/functional-desgin-ppp/elixir/04-data-validation.md +195 -195
  126. package/lib/assets/docs/article/functional-desgin-ppp/elixir/05-property-based-testing.md +268 -268
  127. package/lib/assets/docs/article/functional-desgin-ppp/elixir/06-tdd-and-fp.md +294 -294
  128. package/lib/assets/docs/article/functional-desgin-ppp/elixir/07-effects-and-pure-functions.md +164 -164
  129. package/lib/assets/docs/article/functional-desgin-ppp/elixir/08-error-handling-strategies.md +168 -168
  130. package/lib/assets/docs/article/functional-desgin-ppp/elixir/09-io-and-external-systems.md +254 -254
  131. package/lib/assets/docs/article/functional-desgin-ppp/elixir/10-concurrency-patterns.md +269 -269
  132. package/lib/assets/docs/article/functional-desgin-ppp/elixir/11-command-pattern.md +148 -148
  133. package/lib/assets/docs/article/functional-desgin-ppp/elixir/12-visitor-pattern.md +176 -176
  134. package/lib/assets/docs/article/functional-desgin-ppp/elixir/13-abstract-factory-pattern.md +604 -604
  135. package/lib/assets/docs/article/functional-desgin-ppp/elixir/14-abstract-server-pattern.md +729 -729
  136. package/lib/assets/docs/article/functional-desgin-ppp/elixir/15-gossiping-bus-drivers.md +291 -291
  137. package/lib/assets/docs/article/functional-desgin-ppp/elixir/16-payroll-system.md +420 -420
  138. package/lib/assets/docs/article/functional-desgin-ppp/elixir/17-video-rental-system.md +319 -319
  139. package/lib/assets/docs/article/functional-desgin-ppp/elixir/18-concurrency-system.md +466 -466
  140. package/lib/assets/docs/article/functional-desgin-ppp/elixir/19-wator-simulation.md +523 -523
  141. package/lib/assets/docs/article/functional-desgin-ppp/elixir/20-pattern-interactions.md +287 -287
  142. package/lib/assets/docs/article/functional-desgin-ppp/elixir/21-best-practices.md +340 -340
  143. package/lib/assets/docs/article/functional-desgin-ppp/elixir/22-oo-to-fp-migration.md +395 -395
  144. package/lib/assets/docs/article/functional-desgin-ppp/elixir/index.md +248 -248
  145. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/01-immutability-and-data-transformation.md +384 -384
  146. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/02-function-composition.md +452 -452
  147. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/03-polymorphism.md +495 -495
  148. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/04-data-validation.md +416 -416
  149. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/05-property-based-testing.md +382 -382
  150. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/06-tdd-functional.md +687 -687
  151. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/07-composite-pattern.md +442 -442
  152. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/08-decorator-pattern.md +479 -479
  153. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/09-adapter-pattern.md +479 -479
  154. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/10-strategy-pattern.md +427 -427
  155. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/11-command-pattern.md +428 -428
  156. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/12-visitor-pattern.md +339 -339
  157. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/13-abstract-factory-pattern.md +309 -309
  158. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/14-abstract-server-pattern.md +596 -596
  159. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/15-gossiping-bus-drivers.md +355 -355
  160. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/16-payroll-system.md +350 -350
  161. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/17-video-rental-system.md +414 -414
  162. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/18-concurrency-system.md +367 -367
  163. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/19-wator-simulation.md +403 -403
  164. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/20-pattern-interactions.md +291 -291
  165. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/21-best-practices.md +324 -324
  166. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/22-oo-to-fp-migration.md +332 -332
  167. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/index.md +274 -274
  168. package/lib/assets/docs/article/functional-desgin-ppp/haskell/01-immutability-and-data-transformation.md +298 -298
  169. package/lib/assets/docs/article/functional-desgin-ppp/haskell/02-function-composition.md +304 -304
  170. package/lib/assets/docs/article/functional-desgin-ppp/haskell/03-polymorphism.md +362 -362
  171. package/lib/assets/docs/article/functional-desgin-ppp/haskell/04-data-validation.md +257 -257
  172. package/lib/assets/docs/article/functional-desgin-ppp/haskell/05-property-based-testing.md +254 -254
  173. package/lib/assets/docs/article/functional-desgin-ppp/haskell/06-tdd-functional.md +283 -283
  174. package/lib/assets/docs/article/functional-desgin-ppp/haskell/07-composite-pattern.md +395 -395
  175. package/lib/assets/docs/article/functional-desgin-ppp/haskell/08-decorator-pattern.md +319 -319
  176. package/lib/assets/docs/article/functional-desgin-ppp/haskell/09-adapter-pattern.md +382 -382
  177. package/lib/assets/docs/article/functional-desgin-ppp/haskell/10-strategy-pattern.md +287 -287
  178. package/lib/assets/docs/article/functional-desgin-ppp/haskell/11-command-pattern.md +303 -303
  179. package/lib/assets/docs/article/functional-desgin-ppp/haskell/12-visitor-pattern.md +326 -326
  180. package/lib/assets/docs/article/functional-desgin-ppp/haskell/13-abstract-factory-pattern.md +332 -332
  181. package/lib/assets/docs/article/functional-desgin-ppp/haskell/14-abstract-server-pattern.md +379 -379
  182. package/lib/assets/docs/article/functional-desgin-ppp/haskell/15-gossiping-bus-drivers.md +177 -177
  183. package/lib/assets/docs/article/functional-desgin-ppp/haskell/16-payroll-system.md +219 -219
  184. package/lib/assets/docs/article/functional-desgin-ppp/haskell/17-video-rental-system.md +244 -244
  185. package/lib/assets/docs/article/functional-desgin-ppp/haskell/18-concurrency-system.md +363 -363
  186. package/lib/assets/docs/article/functional-desgin-ppp/haskell/19-wator-simulation.md +438 -438
  187. package/lib/assets/docs/article/functional-desgin-ppp/haskell/20-pattern-interactions.md +325 -325
  188. package/lib/assets/docs/article/functional-desgin-ppp/haskell/21-best-practices.md +403 -403
  189. package/lib/assets/docs/article/functional-desgin-ppp/haskell/22-oo-to-fp-migration.md +469 -469
  190. package/lib/assets/docs/article/functional-desgin-ppp/haskell/index.md +174 -174
  191. package/lib/assets/docs/article/functional-desgin-ppp/index.md +90 -90
  192. package/lib/assets/docs/article/functional-desgin-ppp/rust/01-immutability-and-data-transformation.md +450 -450
  193. package/lib/assets/docs/article/functional-desgin-ppp/rust/02-function-composition.md +463 -463
  194. package/lib/assets/docs/article/functional-desgin-ppp/rust/03-polymorphism.md +425 -425
  195. package/lib/assets/docs/article/functional-desgin-ppp/rust/04-data-validation.md +273 -273
  196. package/lib/assets/docs/article/functional-desgin-ppp/rust/05-property-based-testing.md +247 -247
  197. package/lib/assets/docs/article/functional-desgin-ppp/rust/06-tdd-and-functional.md +841 -841
  198. package/lib/assets/docs/article/functional-desgin-ppp/rust/07-composite-pattern.md +384 -384
  199. package/lib/assets/docs/article/functional-desgin-ppp/rust/08-decorator-pattern.md +383 -383
  200. package/lib/assets/docs/article/functional-desgin-ppp/rust/09-adapter-pattern.md +339 -339
  201. package/lib/assets/docs/article/functional-desgin-ppp/rust/10-strategy-pattern.md +331 -331
  202. package/lib/assets/docs/article/functional-desgin-ppp/rust/11-command-pattern.md +356 -356
  203. package/lib/assets/docs/article/functional-desgin-ppp/rust/12-visitor-pattern.md +379 -379
  204. package/lib/assets/docs/article/functional-desgin-ppp/rust/13-abstract-factory-pattern.md +361 -361
  205. package/lib/assets/docs/article/functional-desgin-ppp/rust/14-abstract-server-pattern.md +392 -392
  206. package/lib/assets/docs/article/functional-desgin-ppp/rust/15-gossiping-bus-drivers.md +300 -300
  207. package/lib/assets/docs/article/functional-desgin-ppp/rust/16-payroll-system.md +297 -297
  208. package/lib/assets/docs/article/functional-desgin-ppp/rust/17-video-rental-system.md +304 -304
  209. package/lib/assets/docs/article/functional-desgin-ppp/rust/18-concurrency-system.md +315 -315
  210. package/lib/assets/docs/article/functional-desgin-ppp/rust/19-wator-simulation.md +311 -311
  211. package/lib/assets/docs/article/functional-desgin-ppp/rust/20-pattern-interactions.md +304 -304
  212. package/lib/assets/docs/article/functional-desgin-ppp/rust/21-best-practices.md +336 -336
  213. package/lib/assets/docs/article/functional-desgin-ppp/rust/22-oo-to-fp-migration.md +349 -349
  214. package/lib/assets/docs/article/functional-desgin-ppp/rust/index.md +243 -243
  215. package/lib/assets/docs/article/functional-desgin-ppp/scala/01-immutability-and-data-transformation.md +328 -328
  216. package/lib/assets/docs/article/functional-desgin-ppp/scala/02-function-composition.md +348 -348
  217. package/lib/assets/docs/article/functional-desgin-ppp/scala/03-polymorphism.md +357 -357
  218. package/lib/assets/docs/article/functional-desgin-ppp/scala/04-data-validation.md +364 -364
  219. package/lib/assets/docs/article/functional-desgin-ppp/scala/05-property-based-testing.md +515 -515
  220. package/lib/assets/docs/article/functional-desgin-ppp/scala/06-tdd-functional.md +557 -557
  221. package/lib/assets/docs/article/functional-desgin-ppp/scala/07-composite-pattern.md +363 -363
  222. package/lib/assets/docs/article/functional-desgin-ppp/scala/08-decorator-pattern.md +327 -327
  223. package/lib/assets/docs/article/functional-desgin-ppp/scala/09-adapter-pattern.md +517 -517
  224. package/lib/assets/docs/article/functional-desgin-ppp/scala/10-strategy-pattern.md +441 -441
  225. package/lib/assets/docs/article/functional-desgin-ppp/scala/11-command-pattern.md +407 -407
  226. package/lib/assets/docs/article/functional-desgin-ppp/scala/12-visitor-pattern.md +379 -379
  227. package/lib/assets/docs/article/functional-desgin-ppp/scala/13-abstract-factory-pattern.md +398 -398
  228. package/lib/assets/docs/article/functional-desgin-ppp/scala/14-abstract-server-pattern.md +476 -476
  229. package/lib/assets/docs/article/functional-desgin-ppp/scala/15-gossiping-bus-drivers.md +391 -391
  230. package/lib/assets/docs/article/functional-desgin-ppp/scala/16-payroll-system.md +342 -342
  231. package/lib/assets/docs/article/functional-desgin-ppp/scala/17-video-rental-system.md +324 -324
  232. package/lib/assets/docs/article/functional-desgin-ppp/scala/18-concurrency-system.md +730 -730
  233. package/lib/assets/docs/article/functional-desgin-ppp/scala/19-wator-simulation.md +624 -624
  234. package/lib/assets/docs/article/functional-desgin-ppp/scala/20-pattern-interactions.md +512 -512
  235. package/lib/assets/docs/article/functional-desgin-ppp/scala/21-best-practices.md +433 -433
  236. package/lib/assets/docs/article/functional-desgin-ppp/scala/22-oo-to-fp-migration.md +688 -688
  237. package/lib/assets/docs/article/functional-desgin-ppp/scala/index.md +243 -243
  238. package/lib/assets/docs/article/getting-start-tdd/clojure/01-todo-list-and-first-test.md +166 -166
  239. package/lib/assets/docs/article/getting-start-tdd/clojure/02-fake-it-and-triangulation.md +162 -162
  240. package/lib/assets/docs/article/getting-start-tdd/clojure/03-obvious-implementation-and-refactoring.md +135 -135
  241. package/lib/assets/docs/article/getting-start-tdd/clojure/04-version-control-and-conventional-commits.md +88 -88
  242. package/lib/assets/docs/article/getting-start-tdd/clojure/05-package-management-and-static-analysis.md +299 -299
  243. package/lib/assets/docs/article/getting-start-tdd/clojure/06-task-runner-and-ci-cd.md +241 -241
  244. package/lib/assets/docs/article/getting-start-tdd/clojure/07-protocols-and-records.md +131 -131
  245. package/lib/assets/docs/article/getting-start-tdd/clojure/08-multimethods-and-design-patterns.md +130 -130
  246. package/lib/assets/docs/article/getting-start-tdd/clojure/09-namespaces-and-module-design.md +127 -127
  247. package/lib/assets/docs/article/getting-start-tdd/clojure/10-higher-order-functions-and-composition.md +114 -114
  248. package/lib/assets/docs/article/getting-start-tdd/clojure/11-persistent-data-and-pipeline.md +138 -138
  249. package/lib/assets/docs/article/getting-start-tdd/clojure/12-error-handling-and-spec.md +161 -161
  250. package/lib/assets/docs/article/getting-start-tdd/clojure/index.md +65 -65
  251. package/lib/assets/docs/article/getting-start-tdd/csharp/chapter01.md +232 -232
  252. package/lib/assets/docs/article/getting-start-tdd/csharp/chapter02.md +244 -244
  253. package/lib/assets/docs/article/getting-start-tdd/csharp/chapter03.md +202 -202
  254. package/lib/assets/docs/article/getting-start-tdd/csharp/chapter04.md +92 -92
  255. package/lib/assets/docs/article/getting-start-tdd/csharp/chapter05.md +256 -256
  256. package/lib/assets/docs/article/getting-start-tdd/csharp/chapter06.md +195 -195
  257. package/lib/assets/docs/article/getting-start-tdd/csharp/chapter07.md +214 -214
  258. package/lib/assets/docs/article/getting-start-tdd/csharp/chapter08.md +249 -249
  259. package/lib/assets/docs/article/getting-start-tdd/csharp/chapter09.md +174 -174
  260. package/lib/assets/docs/article/getting-start-tdd/csharp/chapter10.md +166 -166
  261. package/lib/assets/docs/article/getting-start-tdd/csharp/chapter11.md +192 -192
  262. package/lib/assets/docs/article/getting-start-tdd/csharp/chapter12.md +211 -211
  263. package/lib/assets/docs/article/getting-start-tdd/csharp/index.md +83 -83
  264. package/lib/assets/docs/article/getting-start-tdd/elixir/01-todo-list-and-first-test.md +87 -87
  265. package/lib/assets/docs/article/getting-start-tdd/elixir/02-fake-it-and-triangulation.md +95 -95
  266. package/lib/assets/docs/article/getting-start-tdd/elixir/03-obvious-implementation-and-refactoring.md +109 -109
  267. package/lib/assets/docs/article/getting-start-tdd/elixir/04-version-control-and-conventional-commits.md +96 -96
  268. package/lib/assets/docs/article/getting-start-tdd/elixir/05-package-management-and-static-analysis.md +88 -88
  269. package/lib/assets/docs/article/getting-start-tdd/elixir/06-task-runner-and-ci-cd.md +71 -71
  270. package/lib/assets/docs/article/getting-start-tdd/elixir/07-structs-and-protocols.md +110 -110
  271. package/lib/assets/docs/article/getting-start-tdd/elixir/08-pattern-matching-and-guards.md +108 -108
  272. package/lib/assets/docs/article/getting-start-tdd/elixir/09-module-design-and-behaviours.md +104 -104
  273. package/lib/assets/docs/article/getting-start-tdd/elixir/10-higher-order-functions-and-pipeline.md +178 -178
  274. package/lib/assets/docs/article/getting-start-tdd/elixir/11-stream-and-lazy-evaluation.md +142 -142
  275. package/lib/assets/docs/article/getting-start-tdd/elixir/12-error-handling-and-with.md +145 -145
  276. package/lib/assets/docs/article/getting-start-tdd/elixir/index.md +35 -35
  277. package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter01.md +202 -202
  278. package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter02.md +246 -246
  279. package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter03.md +218 -218
  280. package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter04.md +179 -179
  281. package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter05.md +267 -267
  282. package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter06.md +190 -190
  283. package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter07.md +161 -161
  284. package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter08.md +175 -175
  285. package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter09.md +222 -222
  286. package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter10.md +189 -189
  287. package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter11.md +212 -212
  288. package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter12.md +215 -215
  289. package/lib/assets/docs/article/getting-start-tdd/fsharp/index.md +71 -71
  290. package/lib/assets/docs/article/getting-start-tdd/go/01-todo-list-and-first-test.md +213 -213
  291. package/lib/assets/docs/article/getting-start-tdd/go/02-fake-it-and-triangulation.md +302 -302
  292. package/lib/assets/docs/article/getting-start-tdd/go/03-obvious-implementation-and-refactoring.md +339 -339
  293. package/lib/assets/docs/article/getting-start-tdd/go/04-version-control-and-conventional-commits.md +112 -112
  294. package/lib/assets/docs/article/getting-start-tdd/go/05-package-management-and-static-analysis.md +272 -272
  295. package/lib/assets/docs/article/getting-start-tdd/go/06-task-runner-and-ci-cd.md +233 -233
  296. package/lib/assets/docs/article/getting-start-tdd/go/07-encapsulation-and-polymorphism.md +394 -394
  297. package/lib/assets/docs/article/getting-start-tdd/go/08-design-patterns.md +422 -422
  298. package/lib/assets/docs/article/getting-start-tdd/go/09-solid-principles-and-module-design.md +400 -400
  299. package/lib/assets/docs/article/getting-start-tdd/go/10-higher-order-functions-and-composition.md +226 -226
  300. package/lib/assets/docs/article/getting-start-tdd/go/11-immutable-data-and-pipeline.md +296 -296
  301. package/lib/assets/docs/article/getting-start-tdd/go/12-error-handling-and-type-safety.md +411 -411
  302. package/lib/assets/docs/article/getting-start-tdd/go/index.md +83 -83
  303. package/lib/assets/docs/article/getting-start-tdd/haskell/01-todo-list-and-first-test.md +279 -279
  304. package/lib/assets/docs/article/getting-start-tdd/haskell/02-fake-it-and-triangulation.md +337 -337
  305. package/lib/assets/docs/article/getting-start-tdd/haskell/03-obvious-implementation-and-refactoring.md +257 -257
  306. package/lib/assets/docs/article/getting-start-tdd/haskell/04-version-control-and-conventional-commits.md +182 -182
  307. package/lib/assets/docs/article/getting-start-tdd/haskell/05-package-management-and-static-analysis.md +313 -313
  308. package/lib/assets/docs/article/getting-start-tdd/haskell/06-task-runner-and-ci-cd.md +309 -309
  309. package/lib/assets/docs/article/getting-start-tdd/haskell/07-algebraic-data-types-and-type-classes.md +412 -412
  310. package/lib/assets/docs/article/getting-start-tdd/haskell/08-pattern-matching-and-guards.md +390 -390
  311. package/lib/assets/docs/article/getting-start-tdd/haskell/09-module-design-and-smart-constructors.md +461 -461
  312. package/lib/assets/docs/article/getting-start-tdd/haskell/10-higher-order-functions-and-currying.md +434 -434
  313. package/lib/assets/docs/article/getting-start-tdd/haskell/11-function-composition-and-point-free.md +392 -392
  314. package/lib/assets/docs/article/getting-start-tdd/haskell/12-monad-and-error-handling.md +631 -631
  315. package/lib/assets/docs/article/getting-start-tdd/haskell/index.md +49 -49
  316. package/lib/assets/docs/article/getting-start-tdd/index.md +93 -93
  317. package/lib/assets/docs/article/getting-start-tdd/integration/01-language-overview.md +375 -375
  318. package/lib/assets/docs/article/getting-start-tdd/integration/02-test-framework-comparison.md +349 -349
  319. package/lib/assets/docs/article/getting-start-tdd/integration/03-tdd-pattern-comparison.md +445 -445
  320. package/lib/assets/docs/article/getting-start-tdd/integration/04-type-system-comparison.md +409 -409
  321. package/lib/assets/docs/article/getting-start-tdd/integration/05-dev-environment-comparison.md +330 -330
  322. package/lib/assets/docs/article/getting-start-tdd/integration/06-learning-roadmap.md +290 -290
  323. package/lib/assets/docs/article/getting-start-tdd/integration/index.md +69 -69
  324. package/lib/assets/docs/article/getting-start-tdd/java/01-todo-list-and-first-test.md +234 -234
  325. package/lib/assets/docs/article/getting-start-tdd/java/02-fake-it-and-triangulation.md +261 -261
  326. package/lib/assets/docs/article/getting-start-tdd/java/03-obvious-implementation-and-refactoring.md +185 -185
  327. package/lib/assets/docs/article/getting-start-tdd/java/04-version-control-and-conventional-commits.md +115 -115
  328. package/lib/assets/docs/article/getting-start-tdd/java/05-package-management-and-static-analysis.md +382 -382
  329. package/lib/assets/docs/article/getting-start-tdd/java/06-task-runner-and-ci-cd.md +272 -272
  330. package/lib/assets/docs/article/getting-start-tdd/java/07-encapsulation-and-polymorphism.md +626 -626
  331. package/lib/assets/docs/article/getting-start-tdd/java/08-design-patterns.md +393 -393
  332. package/lib/assets/docs/article/getting-start-tdd/java/09-solid-principles-and-module-design.md +310 -310
  333. package/lib/assets/docs/article/getting-start-tdd/java/10-higher-order-functions-and-composition.md +188 -188
  334. package/lib/assets/docs/article/getting-start-tdd/java/11-immutable-data-and-pipeline.md +167 -167
  335. package/lib/assets/docs/article/getting-start-tdd/java/12-error-handling-and-type-safety.md +205 -205
  336. package/lib/assets/docs/article/getting-start-tdd/java/index.md +61 -61
  337. package/lib/assets/docs/article/getting-start-tdd/node/01-todo-list-and-first-test.md +244 -244
  338. package/lib/assets/docs/article/getting-start-tdd/node/02-fake-it-and-triangulation.md +262 -262
  339. package/lib/assets/docs/article/getting-start-tdd/node/03-obvious-implementation-and-refactoring.md +169 -169
  340. package/lib/assets/docs/article/getting-start-tdd/node/04-version-control-and-conventional-commits.md +112 -112
  341. package/lib/assets/docs/article/getting-start-tdd/node/05-package-management-and-static-analysis.md +314 -314
  342. package/lib/assets/docs/article/getting-start-tdd/node/06-task-runner-and-ci-cd.md +235 -235
  343. package/lib/assets/docs/article/getting-start-tdd/node/07-encapsulation-and-polymorphism.md +327 -327
  344. package/lib/assets/docs/article/getting-start-tdd/node/08-design-patterns.md +322 -322
  345. package/lib/assets/docs/article/getting-start-tdd/node/09-solid-principles-and-module-design.md +285 -285
  346. package/lib/assets/docs/article/getting-start-tdd/node/10-higher-order-functions-and-composition.md +199 -199
  347. package/lib/assets/docs/article/getting-start-tdd/node/11-immutable-data-and-pipeline.md +207 -207
  348. package/lib/assets/docs/article/getting-start-tdd/node/12-error-handling-and-type-safety.md +295 -295
  349. package/lib/assets/docs/article/getting-start-tdd/node/index.md +56 -56
  350. package/lib/assets/docs/article/getting-start-tdd/php/01-todo-list-and-first-test.md +259 -259
  351. package/lib/assets/docs/article/getting-start-tdd/php/02-fake-it-and-triangulation.md +200 -200
  352. package/lib/assets/docs/article/getting-start-tdd/php/03-obvious-implementation-and-refactoring.md +248 -248
  353. package/lib/assets/docs/article/getting-start-tdd/php/04-version-control-and-conventional-commits.md +141 -141
  354. package/lib/assets/docs/article/getting-start-tdd/php/05-package-management-and-static-analysis.md +410 -410
  355. package/lib/assets/docs/article/getting-start-tdd/php/06-task-runner-and-ci-cd.md +321 -321
  356. package/lib/assets/docs/article/getting-start-tdd/php/07-encapsulation-and-polymorphism.md +372 -372
  357. package/lib/assets/docs/article/getting-start-tdd/php/08-design-patterns.md +453 -453
  358. package/lib/assets/docs/article/getting-start-tdd/php/09-solid-principles-and-module-design.md +460 -460
  359. package/lib/assets/docs/article/getting-start-tdd/php/10-higher-order-functions-and-composition.md +182 -182
  360. package/lib/assets/docs/article/getting-start-tdd/php/11-immutable-data-and-pipeline.md +266 -266
  361. package/lib/assets/docs/article/getting-start-tdd/php/12-error-handling-and-type-safety.md +308 -308
  362. package/lib/assets/docs/article/getting-start-tdd/php/index.md +84 -84
  363. package/lib/assets/docs/article/getting-start-tdd/python/01-todo-list-and-first-test.md +201 -201
  364. package/lib/assets/docs/article/getting-start-tdd/python/02-fake-it-and-triangulation.md +247 -247
  365. package/lib/assets/docs/article/getting-start-tdd/python/03-obvious-implementation-and-refactoring.md +199 -199
  366. package/lib/assets/docs/article/getting-start-tdd/python/04-version-control-and-conventional-commits.md +87 -87
  367. package/lib/assets/docs/article/getting-start-tdd/python/05-package-management-and-static-analysis.md +274 -274
  368. package/lib/assets/docs/article/getting-start-tdd/python/06-task-runner-and-ci-cd.md +190 -190
  369. package/lib/assets/docs/article/getting-start-tdd/python/07-encapsulation-and-polymorphism.md +208 -208
  370. package/lib/assets/docs/article/getting-start-tdd/python/08-design-patterns.md +172 -172
  371. package/lib/assets/docs/article/getting-start-tdd/python/09-solid-principles-and-module-design.md +130 -130
  372. package/lib/assets/docs/article/getting-start-tdd/python/10-higher-order-functions-and-composition.md +122 -122
  373. package/lib/assets/docs/article/getting-start-tdd/python/11-immutable-data-and-pipeline.md +116 -116
  374. package/lib/assets/docs/article/getting-start-tdd/python/12-error-handling-and-type-safety.md +126 -126
  375. package/lib/assets/docs/article/getting-start-tdd/python/index.md +55 -55
  376. package/lib/assets/docs/article/getting-start-tdd/ruby/01-todo-list-and-first-test.md +231 -231
  377. package/lib/assets/docs/article/getting-start-tdd/ruby/02-fake-it-and-triangulation.md +238 -238
  378. package/lib/assets/docs/article/getting-start-tdd/ruby/03-obvious-implementation-and-refactoring.md +228 -228
  379. package/lib/assets/docs/article/getting-start-tdd/ruby/04-version-control-and-conventional-commits.md +112 -112
  380. package/lib/assets/docs/article/getting-start-tdd/ruby/05-package-management-and-static-analysis.md +287 -287
  381. package/lib/assets/docs/article/getting-start-tdd/ruby/06-task-runner-and-ci-cd.md +248 -248
  382. package/lib/assets/docs/article/getting-start-tdd/ruby/07-encapsulation-and-polymorphism.md +279 -279
  383. package/lib/assets/docs/article/getting-start-tdd/ruby/08-design-patterns.md +329 -329
  384. package/lib/assets/docs/article/getting-start-tdd/ruby/09-solid-principles-and-module-design.md +196 -196
  385. package/lib/assets/docs/article/getting-start-tdd/ruby/10-higher-order-functions-and-composition.md +175 -175
  386. package/lib/assets/docs/article/getting-start-tdd/ruby/11-immutable-data-and-pipeline.md +237 -237
  387. package/lib/assets/docs/article/getting-start-tdd/ruby/12-error-handling-and-type-safety.md +398 -398
  388. package/lib/assets/docs/article/getting-start-tdd/ruby/index.md +83 -83
  389. package/lib/assets/docs/article/getting-start-tdd/rust/01-todo-list-and-first-test.md +211 -211
  390. package/lib/assets/docs/article/getting-start-tdd/rust/02-fake-it-and-triangulation.md +264 -264
  391. package/lib/assets/docs/article/getting-start-tdd/rust/03-obvious-implementation-and-refactoring.md +233 -233
  392. package/lib/assets/docs/article/getting-start-tdd/rust/04-version-control-and-conventional-commits.md +92 -92
  393. package/lib/assets/docs/article/getting-start-tdd/rust/05-package-management-and-static-analysis.md +212 -212
  394. package/lib/assets/docs/article/getting-start-tdd/rust/06-task-runner-and-ci-cd.md +164 -164
  395. package/lib/assets/docs/article/getting-start-tdd/rust/07-encapsulation-and-polymorphism.md +142 -142
  396. package/lib/assets/docs/article/getting-start-tdd/rust/08-design-patterns.md +145 -145
  397. package/lib/assets/docs/article/getting-start-tdd/rust/09-solid-principles-and-module-design.md +110 -110
  398. package/lib/assets/docs/article/getting-start-tdd/rust/10-higher-order-functions-and-composition.md +94 -94
  399. package/lib/assets/docs/article/getting-start-tdd/rust/11-immutable-data-and-pipeline.md +105 -105
  400. package/lib/assets/docs/article/getting-start-tdd/rust/12-error-handling-and-type-safety.md +112 -112
  401. package/lib/assets/docs/article/getting-start-tdd/rust/index.md +83 -83
  402. package/lib/assets/docs/article/getting-start-tdd/scala/01-todo-list-and-first-test.md +111 -111
  403. package/lib/assets/docs/article/getting-start-tdd/scala/02-fake-it-and-triangulation.md +107 -107
  404. package/lib/assets/docs/article/getting-start-tdd/scala/03-obvious-implementation-and-refactoring.md +99 -99
  405. package/lib/assets/docs/article/getting-start-tdd/scala/04-version-control-and-conventional-commits.md +123 -123
  406. package/lib/assets/docs/article/getting-start-tdd/scala/05-package-management-and-static-analysis.md +196 -196
  407. package/lib/assets/docs/article/getting-start-tdd/scala/06-task-runner-and-ci-cd.md +186 -186
  408. package/lib/assets/docs/article/getting-start-tdd/scala/07-case-classes-and-traits.md +139 -139
  409. package/lib/assets/docs/article/getting-start-tdd/scala/08-pattern-matching-and-sealed-traits.md +106 -106
  410. package/lib/assets/docs/article/getting-start-tdd/scala/09-packages-and-module-design.md +75 -75
  411. package/lib/assets/docs/article/getting-start-tdd/scala/10-higher-order-functions-and-composition.md +104 -104
  412. package/lib/assets/docs/article/getting-start-tdd/scala/11-collections-and-lazy-evaluation.md +94 -94
  413. package/lib/assets/docs/article/getting-start-tdd/scala/12-error-handling-and-type-safety.md +92 -92
  414. package/lib/assets/docs/article/getting-start-tdd/scala/index.md +65 -65
  415. package/lib/assets/docs/article/grokking-concurrency/all/index.md +404 -404
  416. package/lib/assets/docs/article/grokking-concurrency/all/part-1-ch02-sequential.md +554 -554
  417. package/lib/assets/docs/article/grokking-concurrency/all/part-2-ch04-05-threads.md +469 -469
  418. package/lib/assets/docs/article/grokking-concurrency/all/part-3-ch06-multitasking.md +520 -520
  419. package/lib/assets/docs/article/grokking-concurrency/all/part-4-ch07-parallel-patterns.md +420 -420
  420. package/lib/assets/docs/article/grokking-concurrency/all/part-5-ch08-09-synchronization.md +510 -510
  421. package/lib/assets/docs/article/grokking-concurrency/all/part-6-ch10-11-nonblocking-io.md +435 -435
  422. package/lib/assets/docs/article/grokking-concurrency/all/part-7-ch12-async.md +465 -465
  423. package/lib/assets/docs/article/grokking-concurrency/all/part-8-ch13-mapreduce.md +377 -377
  424. package/lib/assets/docs/article/grokking-concurrency/clojure/index.md +116 -116
  425. package/lib/assets/docs/article/grokking-concurrency/clojure/part-1.md +108 -108
  426. package/lib/assets/docs/article/grokking-concurrency/clojure/part-2.md +101 -101
  427. package/lib/assets/docs/article/grokking-concurrency/clojure/part-3.md +122 -122
  428. package/lib/assets/docs/article/grokking-concurrency/clojure/part-4.md +123 -123
  429. package/lib/assets/docs/article/grokking-concurrency/clojure/part-5.md +118 -118
  430. package/lib/assets/docs/article/grokking-concurrency/clojure/part-6.md +89 -89
  431. package/lib/assets/docs/article/grokking-concurrency/clojure/part-7.md +100 -100
  432. package/lib/assets/docs/article/grokking-concurrency/clojure/part-8.md +120 -120
  433. package/lib/assets/docs/article/grokking-concurrency/csharp/index.md +101 -101
  434. package/lib/assets/docs/article/grokking-concurrency/csharp/part-1.md +97 -97
  435. package/lib/assets/docs/article/grokking-concurrency/csharp/part-2.md +123 -123
  436. package/lib/assets/docs/article/grokking-concurrency/csharp/part-3.md +101 -101
  437. package/lib/assets/docs/article/grokking-concurrency/csharp/part-4.md +112 -112
  438. package/lib/assets/docs/article/grokking-concurrency/csharp/part-5.md +99 -99
  439. package/lib/assets/docs/article/grokking-concurrency/csharp/part-6.md +61 -61
  440. package/lib/assets/docs/article/grokking-concurrency/csharp/part-7.md +84 -84
  441. package/lib/assets/docs/article/grokking-concurrency/csharp/part-8.md +92 -92
  442. package/lib/assets/docs/article/grokking-concurrency/fsharp/index.md +65 -65
  443. package/lib/assets/docs/article/grokking-concurrency/fsharp/part-1.md +80 -80
  444. package/lib/assets/docs/article/grokking-concurrency/fsharp/part-2.md +103 -103
  445. package/lib/assets/docs/article/grokking-concurrency/fsharp/part-3.md +94 -94
  446. package/lib/assets/docs/article/grokking-concurrency/fsharp/part-4.md +110 -110
  447. package/lib/assets/docs/article/grokking-concurrency/fsharp/part-5.md +104 -104
  448. package/lib/assets/docs/article/grokking-concurrency/fsharp/part-6.md +93 -93
  449. package/lib/assets/docs/article/grokking-concurrency/fsharp/part-7.md +121 -121
  450. package/lib/assets/docs/article/grokking-concurrency/fsharp/part-8.md +107 -107
  451. package/lib/assets/docs/article/grokking-concurrency/haskell/index.md +248 -248
  452. package/lib/assets/docs/article/grokking-concurrency/haskell/part-1.md +96 -96
  453. package/lib/assets/docs/article/grokking-concurrency/haskell/part-2.md +96 -96
  454. package/lib/assets/docs/article/grokking-concurrency/haskell/part-3.md +91 -91
  455. package/lib/assets/docs/article/grokking-concurrency/haskell/part-4.md +106 -106
  456. package/lib/assets/docs/article/grokking-concurrency/haskell/part-5.md +99 -99
  457. package/lib/assets/docs/article/grokking-concurrency/haskell/part-6.md +95 -95
  458. package/lib/assets/docs/article/grokking-concurrency/haskell/part-7.md +111 -111
  459. package/lib/assets/docs/article/grokking-concurrency/haskell/part-8.md +118 -118
  460. package/lib/assets/docs/article/grokking-concurrency/index.md +66 -66
  461. package/lib/assets/docs/article/grokking-concurrency/java/index.md +102 -102
  462. package/lib/assets/docs/article/grokking-concurrency/java/part-1.md +308 -308
  463. package/lib/assets/docs/article/grokking-concurrency/java/part-2.md +334 -334
  464. package/lib/assets/docs/article/grokking-concurrency/java/part-3.md +221 -221
  465. package/lib/assets/docs/article/grokking-concurrency/java/part-4.md +213 -213
  466. package/lib/assets/docs/article/grokking-concurrency/java/part-5.md +112 -112
  467. package/lib/assets/docs/article/grokking-concurrency/java/part-6.md +69 -69
  468. package/lib/assets/docs/article/grokking-concurrency/java/part-7.md +101 -101
  469. package/lib/assets/docs/article/grokking-concurrency/java/part-8.md +101 -101
  470. package/lib/assets/docs/article/grokking-concurrency/python/index.md +313 -313
  471. package/lib/assets/docs/article/grokking-concurrency/python/part-1.md +239 -239
  472. package/lib/assets/docs/article/grokking-concurrency/python/part-2.md +418 -418
  473. package/lib/assets/docs/article/grokking-concurrency/python/part-3.md +227 -227
  474. package/lib/assets/docs/article/grokking-concurrency/python/part-4.md +299 -299
  475. package/lib/assets/docs/article/grokking-concurrency/python/part-5.md +315 -315
  476. package/lib/assets/docs/article/grokking-concurrency/python/part-6.md +297 -297
  477. package/lib/assets/docs/article/grokking-concurrency/python/part-7.md +314 -314
  478. package/lib/assets/docs/article/grokking-concurrency/python/part-8.md +360 -360
  479. package/lib/assets/docs/article/grokking-concurrency/rust/index.md +270 -270
  480. package/lib/assets/docs/article/grokking-concurrency/rust/part-1.md +108 -108
  481. package/lib/assets/docs/article/grokking-concurrency/rust/part-2.md +120 -120
  482. package/lib/assets/docs/article/grokking-concurrency/rust/part-3.md +126 -126
  483. package/lib/assets/docs/article/grokking-concurrency/rust/part-4.md +175 -175
  484. package/lib/assets/docs/article/grokking-concurrency/rust/part-5.md +158 -158
  485. package/lib/assets/docs/article/grokking-concurrency/rust/part-6.md +94 -94
  486. package/lib/assets/docs/article/grokking-concurrency/rust/part-7.md +133 -133
  487. package/lib/assets/docs/article/grokking-concurrency/rust/part-8.md +155 -155
  488. package/lib/assets/docs/article/grokking-concurrency/scala/index.md +69 -69
  489. package/lib/assets/docs/article/grokking-concurrency/scala/part-1.md +78 -78
  490. package/lib/assets/docs/article/grokking-concurrency/scala/part-2.md +112 -112
  491. package/lib/assets/docs/article/grokking-concurrency/scala/part-3.md +93 -93
  492. package/lib/assets/docs/article/grokking-concurrency/scala/part-4.md +110 -110
  493. package/lib/assets/docs/article/grokking-concurrency/scala/part-5.md +119 -119
  494. package/lib/assets/docs/article/grokking-concurrency/scala/part-6.md +83 -83
  495. package/lib/assets/docs/article/grokking-concurrency/scala/part-7.md +131 -131
  496. package/lib/assets/docs/article/grokking-concurrency/scala/part-8.md +129 -129
  497. package/lib/assets/docs/article/grokkingfp/all/index.md +368 -368
  498. package/lib/assets/docs/article/grokkingfp/all/part-1-ch01-fp-introduction.md +530 -530
  499. package/lib/assets/docs/article/grokkingfp/all/part-1-ch02-pure-functions.md +923 -923
  500. package/lib/assets/docs/article/grokkingfp/all/part-2-ch03-immutable-data.md +1128 -1128
  501. package/lib/assets/docs/article/grokkingfp/all/part-2-ch04-higher-order-functions.md +1104 -1104
  502. package/lib/assets/docs/article/grokkingfp/all/part-2-ch05-flatmap.md +1026 -1026
  503. package/lib/assets/docs/article/grokkingfp/all/part-3-ch06-option.md +785 -785
  504. package/lib/assets/docs/article/grokkingfp/all/part-3-ch07-either-adt.md +871 -871
  505. package/lib/assets/docs/article/grokkingfp/all/part-4-ch08-io-monad.md +972 -972
  506. package/lib/assets/docs/article/grokkingfp/all/part-4-ch09-streams.md +926 -926
  507. package/lib/assets/docs/article/grokkingfp/all/part-5-ch10-concurrency.md +870 -870
  508. package/lib/assets/docs/article/grokkingfp/all/part-6-ch11-application.md +715 -715
  509. package/lib/assets/docs/article/grokkingfp/all/part-6-ch12-testing.md +626 -626
  510. package/lib/assets/docs/article/grokkingfp/all/writing-plan.md +712 -712
  511. package/lib/assets/docs/article/grokkingfp/clojure/index.md +276 -276
  512. package/lib/assets/docs/article/grokkingfp/clojure/part-1.md +667 -667
  513. package/lib/assets/docs/article/grokkingfp/clojure/part-2.md +643 -643
  514. package/lib/assets/docs/article/grokkingfp/clojure/part-3.md +620 -620
  515. package/lib/assets/docs/article/grokkingfp/clojure/part-4.md +697 -697
  516. package/lib/assets/docs/article/grokkingfp/clojure/part-5.md +751 -751
  517. package/lib/assets/docs/article/grokkingfp/clojure/part-6.md +721 -721
  518. package/lib/assets/docs/article/grokkingfp/csharp/index.md +246 -246
  519. package/lib/assets/docs/article/grokkingfp/csharp/part-1.md +811 -811
  520. package/lib/assets/docs/article/grokkingfp/csharp/part-2.md +971 -971
  521. package/lib/assets/docs/article/grokkingfp/csharp/part-3.md +981 -981
  522. package/lib/assets/docs/article/grokkingfp/csharp/part-4.md +949 -949
  523. package/lib/assets/docs/article/grokkingfp/csharp/part-5.md +947 -947
  524. package/lib/assets/docs/article/grokkingfp/csharp/part-6.md +739 -739
  525. package/lib/assets/docs/article/grokkingfp/elixir/index.md +203 -203
  526. package/lib/assets/docs/article/grokkingfp/elixir/part-1.md +712 -712
  527. package/lib/assets/docs/article/grokkingfp/elixir/part-2.md +838 -838
  528. package/lib/assets/docs/article/grokkingfp/elixir/part-3.md +985 -985
  529. package/lib/assets/docs/article/grokkingfp/elixir/part-4.md +974 -974
  530. package/lib/assets/docs/article/grokkingfp/elixir/part-5.md +1286 -1286
  531. package/lib/assets/docs/article/grokkingfp/elixir/part-6.md +1049 -1049
  532. package/lib/assets/docs/article/grokkingfp/fsharp/index.md +210 -210
  533. package/lib/assets/docs/article/grokkingfp/fsharp/part-1.md +714 -714
  534. package/lib/assets/docs/article/grokkingfp/fsharp/part-2.md +961 -961
  535. package/lib/assets/docs/article/grokkingfp/fsharp/part-3.md +972 -972
  536. package/lib/assets/docs/article/grokkingfp/fsharp/part-4.md +832 -832
  537. package/lib/assets/docs/article/grokkingfp/fsharp/part-5.md +911 -911
  538. package/lib/assets/docs/article/grokkingfp/fsharp/part-6.md +922 -922
  539. package/lib/assets/docs/article/grokkingfp/haskell/index.md +234 -234
  540. package/lib/assets/docs/article/grokkingfp/haskell/part-1.md +591 -591
  541. package/lib/assets/docs/article/grokkingfp/haskell/part-2.md +866 -866
  542. package/lib/assets/docs/article/grokkingfp/haskell/part-3.md +915 -915
  543. package/lib/assets/docs/article/grokkingfp/haskell/part-4.md +878 -878
  544. package/lib/assets/docs/article/grokkingfp/haskell/part-5.md +845 -845
  545. package/lib/assets/docs/article/grokkingfp/haskell/part-6.md +844 -844
  546. package/lib/assets/docs/article/grokkingfp/index.md +143 -143
  547. package/lib/assets/docs/article/grokkingfp/java/index.md +211 -211
  548. package/lib/assets/docs/article/grokkingfp/java/part-1.md +648 -648
  549. package/lib/assets/docs/article/grokkingfp/java/part-2.md +675 -675
  550. package/lib/assets/docs/article/grokkingfp/java/part-3.md +672 -672
  551. package/lib/assets/docs/article/grokkingfp/java/part-4.md +771 -771
  552. package/lib/assets/docs/article/grokkingfp/java/part-5.md +959 -959
  553. package/lib/assets/docs/article/grokkingfp/java/part-6.md +1328 -1328
  554. package/lib/assets/docs/article/grokkingfp/python/index.md +258 -258
  555. package/lib/assets/docs/article/grokkingfp/python/part-1.md +443 -443
  556. package/lib/assets/docs/article/grokkingfp/python/part-2.md +958 -958
  557. package/lib/assets/docs/article/grokkingfp/python/part-3.md +1004 -1004
  558. package/lib/assets/docs/article/grokkingfp/python/part-4.md +765 -765
  559. package/lib/assets/docs/article/grokkingfp/python/part-5.md +747 -747
  560. package/lib/assets/docs/article/grokkingfp/python/part-6.md +861 -861
  561. package/lib/assets/docs/article/grokkingfp/ruby/index.md +330 -330
  562. package/lib/assets/docs/article/grokkingfp/ruby/part-1.md +755 -755
  563. package/lib/assets/docs/article/grokkingfp/ruby/part-2.md +938 -938
  564. package/lib/assets/docs/article/grokkingfp/ruby/part-3.md +946 -946
  565. package/lib/assets/docs/article/grokkingfp/ruby/part-4.md +921 -921
  566. package/lib/assets/docs/article/grokkingfp/ruby/part-5.md +908 -908
  567. package/lib/assets/docs/article/grokkingfp/ruby/part-6.md +1412 -1412
  568. package/lib/assets/docs/article/grokkingfp/rust/index.md +242 -242
  569. package/lib/assets/docs/article/grokkingfp/rust/part-1.md +634 -634
  570. package/lib/assets/docs/article/grokkingfp/rust/part-2.md +1060 -1060
  571. package/lib/assets/docs/article/grokkingfp/rust/part-3.md +994 -994
  572. package/lib/assets/docs/article/grokkingfp/rust/part-4.md +573 -573
  573. package/lib/assets/docs/article/grokkingfp/rust/part-5.md +705 -705
  574. package/lib/assets/docs/article/grokkingfp/rust/part-6.md +508 -508
  575. package/lib/assets/docs/article/grokkingfp/scala/index.md +171 -171
  576. package/lib/assets/docs/article/grokkingfp/scala/part-1.md +543 -543
  577. package/lib/assets/docs/article/grokkingfp/scala/part-2.md +946 -946
  578. package/lib/assets/docs/article/grokkingfp/scala/part-3.md +919 -919
  579. package/lib/assets/docs/article/grokkingfp/scala/part-4.md +742 -742
  580. package/lib/assets/docs/article/grokkingfp/scala/part-5.md +722 -722
  581. package/lib/assets/docs/article/grokkingfp/scala/part-6.md +867 -867
  582. package/lib/assets/docs/article/grokkingfp/typescript/index.md +273 -273
  583. package/lib/assets/docs/article/grokkingfp/typescript/part-1.md +561 -561
  584. package/lib/assets/docs/article/grokkingfp/typescript/part-2.md +1129 -1129
  585. package/lib/assets/docs/article/grokkingfp/typescript/part-3.md +842 -842
  586. package/lib/assets/docs/article/grokkingfp/typescript/part-4.md +1087 -1087
  587. package/lib/assets/docs/article/grokkingfp/typescript/part-5.md +717 -717
  588. package/lib/assets/docs/article/grokkingfp/typescript/part-6.md +982 -982
  589. package/lib/assets/docs/article/index.md +39 -39
  590. package/lib/assets/docs/article/practical-database-design/index.md +121 -121
  591. package/lib/assets/docs/article/practical-database-design/part1/chapter01.md +288 -288
  592. package/lib/assets/docs/article/practical-database-design/part1/chapter02.md +518 -518
  593. package/lib/assets/docs/article/practical-database-design/part1/chapter03.md +557 -557
  594. package/lib/assets/docs/article/practical-database-design/part2/chapter04.md +924 -924
  595. package/lib/assets/docs/article/practical-database-design/part2/chapter05.md +1627 -1627
  596. package/lib/assets/docs/article/practical-database-design/part2/chapter06.md +2716 -2716
  597. package/lib/assets/docs/article/practical-database-design/part2/chapter07.md +2082 -2082
  598. package/lib/assets/docs/article/practical-database-design/part2/chapter08.md +2105 -2105
  599. package/lib/assets/docs/article/practical-database-design/part2/chapter09.md +2031 -2031
  600. package/lib/assets/docs/article/practical-database-design/part2/chapter10.md +1387 -1387
  601. package/lib/assets/docs/article/practical-database-design/part2/chapter11.md +1677 -1677
  602. package/lib/assets/docs/article/practical-database-design/part2/chapter12.md +1417 -1417
  603. package/lib/assets/docs/article/practical-database-design/part2/chapter13.md +1434 -1434
  604. package/lib/assets/docs/article/practical-database-design/part3/chapter14.md +667 -667
  605. package/lib/assets/docs/article/practical-database-design/part3/chapter15.md +1625 -1625
  606. package/lib/assets/docs/article/practical-database-design/part3/chapter16.md +1915 -1915
  607. package/lib/assets/docs/article/practical-database-design/part3/chapter17.md +1708 -1708
  608. package/lib/assets/docs/article/practical-database-design/part3/chapter18.md +2095 -2095
  609. package/lib/assets/docs/article/practical-database-design/part3/chapter19.md +1123 -1123
  610. package/lib/assets/docs/article/practical-database-design/part3/chapter20.md +1031 -1031
  611. package/lib/assets/docs/article/practical-database-design/part3/chapter21.md +1382 -1382
  612. package/lib/assets/docs/article/practical-database-design/part3-orm/chapter14-orm.md +991 -991
  613. package/lib/assets/docs/article/practical-database-design/part3-orm/chapter15-orm.md +1300 -1300
  614. package/lib/assets/docs/article/practical-database-design/part3-orm/chapter16-orm.md +1166 -1166
  615. package/lib/assets/docs/article/practical-database-design/part3-orm/chapter17-orm.md +1584 -1584
  616. package/lib/assets/docs/article/practical-database-design/part3-orm/chapter18-orm.md +1183 -1183
  617. package/lib/assets/docs/article/practical-database-design/part3-orm/chapter19-orm.md +1016 -1016
  618. package/lib/assets/docs/article/practical-database-design/part3-orm/chapter20-orm.md +1753 -1753
  619. package/lib/assets/docs/article/practical-database-design/part3-orm/chapter21-orm.md +1447 -1447
  620. package/lib/assets/docs/article/practical-database-design/part3-orm/chapter22-orm.md +1878 -1878
  621. package/lib/assets/docs/article/practical-database-design/part4/chapter22.md +965 -965
  622. package/lib/assets/docs/article/practical-database-design/part4/chapter23.md +2069 -2069
  623. package/lib/assets/docs/article/practical-database-design/part4/chapter24.md +2439 -2439
  624. package/lib/assets/docs/article/practical-database-design/part4/chapter25.md +3661 -3661
  625. package/lib/assets/docs/article/practical-database-design/part4/chapter26.md +2916 -2916
  626. package/lib/assets/docs/article/practical-database-design/part4/chapter27.md +3105 -3105
  627. package/lib/assets/docs/article/practical-database-design/part4/chapter28.md +2697 -2697
  628. package/lib/assets/docs/article/practical-database-design/part4/chapter29.md +2544 -2544
  629. package/lib/assets/docs/article/practical-database-design/part4/chapter30.md +2180 -2180
  630. package/lib/assets/docs/article/practical-database-design/part4/chapter31.md +1192 -1192
  631. package/lib/assets/docs/article/practical-database-design/part4/chapter32.md +2101 -2101
  632. package/lib/assets/docs/article/practical-database-design/part5/chapter33.md +1032 -1032
  633. package/lib/assets/docs/article/practical-database-design/part5/chapter34.md +1609 -1609
  634. package/lib/assets/docs/article/practical-database-design/part5/chapter35.md +1453 -1453
  635. package/lib/assets/docs/article/practical-database-design/part5/chapter36.md +1292 -1292
  636. package/lib/assets/docs/article/practical-database-design/part5/chapter37.md +1470 -1470
  637. package/lib/assets/docs/article/practical-database-design/part5/chapter38.md +1698 -1698
  638. package/lib/assets/docs/article/practical-database-design/part5/chapter39.md +2334 -2334
  639. package/lib/assets/docs/article/practical-database-design/study/study2-1.md +1693 -1693
  640. package/lib/assets/docs/article/practical-database-design/study/study2-2.md +1347 -1347
  641. package/lib/assets/docs/article/practical-database-design/study/study2-3.md +2044 -2044
  642. package/lib/assets/docs/article/practical-database-design/study/study2-4.md +2229 -2229
  643. package/lib/assets/docs/article/practical-database-design/study/study2-5.md +2418 -2418
  644. package/lib/assets/docs/article/practical-database-design/study/study3-1.md +2205 -2205
  645. package/lib/assets/docs/article/practical-database-design/study/study3-2.md +2221 -2221
  646. package/lib/assets/docs/article/practical-database-design/study/study3-3.md +2253 -2253
  647. package/lib/assets/docs/article/practical-database-design/study/study3-4.md +2106 -2106
  648. package/lib/assets/docs/article/practical-database-design/study/study3-5.md +2507 -2507
  649. package/lib/assets/docs/article/practical-database-design/study/study4-1.md +2587 -2587
  650. package/lib/assets/docs/article/practical-database-design/study/study4-2.md +2075 -2075
  651. package/lib/assets/docs/article/practical-database-design/study/study4-3.md +1805 -1805
  652. package/lib/assets/docs/article/practical-database-design/study/study4-4.md +1895 -1895
  653. package/lib/assets/docs/article/practical-database-design/study/study4-5.md +2878 -2878
  654. package/lib/assets/docs/assets/css/extra.css +29 -29
  655. package/lib/assets/docs/assets/js/extra.js +44 -44
  656. package/lib/assets/docs/design/index.md +44 -44
  657. package/lib/assets/docs/development/index.md +39 -39
  658. package/lib/assets/docs/index.md +33 -33
  659. package/lib/assets/docs/operation/index.md +27 -27
  660. 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
  661. 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
  662. 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
  663. 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
  664. 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
  665. package/lib/assets/docs/reference/UI/350/250/255/350/250/210/343/202/254/343/202/244/343/203/211.md +450 -450
  666. package/lib/assets/docs/reference/images/Ansoff.drawio.svg +3 -3
  667. package/lib/assets/docs/reference/images/BMC.drawio.svg +3 -3
  668. package/lib/assets/docs/reference/images/BrandBasicStrategy.drawio.svg +3 -3
  669. package/lib/assets/docs/reference/images/BrandCategorization.drawio.svg +3 -3
  670. package/lib/assets/docs/reference/images/BrandRecurutementStrategy.drawio.svg +3 -3
  671. package/lib/assets/docs/reference/images/BrandValue.drawio.svg +3 -3
  672. package/lib/assets/docs/reference/images/BusinessActivitiy.svg +3 -3
  673. package/lib/assets/docs/reference/images/HRM.drawio.svg +3 -3
  674. package/lib/assets/docs/reference/images/MarketingStructure.drawio.svg +3 -3
  675. package/lib/assets/docs/reference/images/OrganizationElemnts.svg +3 -3
  676. package/lib/assets/docs/reference/images/PPM.drawio.svg +3 -3
  677. package/lib/assets/docs/reference/images/PositioningMap.drawio.svg +3 -3
  678. package/lib/assets/docs/reference/images/ProductLayer.drawio.svg +3 -3
  679. package/lib/assets/docs/reference/images/ProductMix.drawio.svg +3 -3
  680. package/lib/assets/docs/reference/images/SWOT.drawio.svg +3 -3
  681. package/lib/assets/docs/reference/images/TargetMarket.drawio.svg +3 -3
  682. package/lib/assets/docs/reference/images/ThreeGenericStrategies.drawio.svg +3 -3
  683. package/lib/assets/docs/reference/images/VRIO.drawio.svg +3 -3
  684. package/lib/assets/docs/reference/images/ValueChain.drawio.svg +3 -3
  685. package/lib/assets/docs/reference/index.md +53 -53
  686. 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
  687. 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
  688. 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
  689. 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
  690. 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
  691. 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
  692. 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
  693. 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
  694. 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
  695. 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
  696. 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
  697. 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
  698. 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
  699. package/lib/assets/docs/reference//344/274/201/346/245/255/347/265/214/345/226/266/350/253/226.md +2637 -2637
  700. 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
  701. 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
  702. 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
  703. 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
  704. package/lib/assets/docs/reference//351/201/213/345/226/266/347/256/241/347/220/206.md +1482 -1482
  705. 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
  706. 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
  707. package/lib/assets/docs/reference//351/226/213/347/231/272/343/202/254/343/202/244/343/203/211.md +305 -305
  708. 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
  709. package/lib/assets/docs/requirements/index.md +17 -17
  710. package/lib/assets/docs/review/index.md +5 -5
  711. package/lib/assets/docs/strategy/index.md +17 -17
  712. package/lib/assets/docs/template/ADR.md +30 -30
  713. 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
  714. 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
  715. package/lib/assets/docs/template/README.md +50 -50
  716. package/lib/assets/docs/template/index.md +24 -24
  717. 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
  718. 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
  719. 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
  720. 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
  721. 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
  722. 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
  723. 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
  724. package/lib/assets/docs/template//344/272/213/344/276/213/345/210/206/346/236/220.md +513 -513
  725. package/lib/assets/docs/template//344/274/201/346/245/255/345/210/206/346/236/220.md +573 -573
  726. 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
  727. package/lib/assets/docs/template//350/246/201/344/273/266/345/256/232/347/276/251.md +669 -669
  728. package/lib/assets/docs/template//350/250/255/350/250/210.md +173 -173
  729. 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
  730. package/lib/assets/gulpfile.js +25 -25
  731. package/lib/assets/mkdocs.yml +138 -138
  732. package/lib/assets/ops/docker/mkdoc/Dockerfile +19 -19
  733. package/lib/assets/ops/docker/sonarqube-local/docker-compose.yml +57 -57
  734. package/lib/assets/ops/scripts/journal.js +180 -180
  735. package/lib/assets/ops/scripts/mkdocs.js +82 -82
  736. package/lib/assets/ops/scripts/release.js +431 -431
  737. package/lib/assets/ops/scripts/sonar_local.js +726 -726
  738. package/lib/assets/ops/scripts/ssh.js +190 -190
  739. package/lib/assets/ops/scripts/vault.js +299 -299
  740. package/lib/assets/package-lock.json +1653 -1653
  741. package/lib/assets/package.json +40 -40
  742. package/lib/gulpfile.js +37 -37
  743. 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>