@k2works/claude-code-booster 4.13.0 → 4.15.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (752) hide show
  1. package/LICENSE +21 -21
  2. package/README.md +42 -42
  3. package/bin/claude-code-booster +113 -90
  4. package/lib/assets/.claude/README.md +287 -283
  5. package/lib/assets/.claude/agents/xp-architect.md +250 -250
  6. package/lib/assets/.claude/agents/xp-executive.md +207 -207
  7. package/lib/assets/.claude/agents/xp-interaction-designer.md +239 -239
  8. package/lib/assets/.claude/agents/xp-product-manager.md +245 -245
  9. package/lib/assets/.claude/agents/xp-programmer.md +268 -268
  10. package/lib/assets/.claude/agents/xp-project-manager.md +229 -229
  11. package/lib/assets/.claude/agents/xp-technical-writer.md +224 -224
  12. package/lib/assets/.claude/agents/xp-tester.md +265 -265
  13. package/lib/assets/.claude/agents/xp-user-representative.md +204 -204
  14. package/lib/assets/.claude/scripts/generate-inception-deck.mjs +911 -911
  15. package/lib/assets/.claude/settings.json +11 -11
  16. package/lib/assets/.claude/skills/ai-agent-guidelines/SKILL.md +111 -111
  17. package/lib/assets/.claude/skills/analyzing-architecture/SKILL.md +83 -83
  18. package/lib/assets/.claude/skills/analyzing-business-architecture/SKILL.md +122 -122
  19. package/lib/assets/.claude/skills/analyzing-business-case/SKILL.md +148 -148
  20. package/lib/assets/.claude/skills/analyzing-business-strategy/SKILL.md +277 -277
  21. package/lib/assets/.claude/skills/analyzing-data-model/SKILL.md +77 -77
  22. package/lib/assets/.claude/skills/analyzing-domain-model/SKILL.md +117 -117
  23. package/lib/assets/.claude/skills/analyzing-inception-deck/SKILL.md +84 -84
  24. package/lib/assets/.claude/skills/analyzing-non-functional/SKILL.md +95 -95
  25. package/lib/assets/.claude/skills/analyzing-operation/SKILL.md +95 -95
  26. package/lib/assets/.claude/skills/analyzing-requirements/SKILL.md +91 -91
  27. package/lib/assets/.claude/skills/analyzing-review/SKILL.md +174 -174
  28. package/lib/assets/.claude/skills/analyzing-tech-stack/SKILL.md +101 -101
  29. package/lib/assets/.claude/skills/analyzing-test-strategy/SKILL.md +89 -89
  30. package/lib/assets/.claude/skills/analyzing-ui-design/SKILL.md +80 -80
  31. package/lib/assets/.claude/skills/analyzing-usecases/SKILL.md +72 -72
  32. package/lib/assets/.claude/skills/closing-iteration/SKILL.md +160 -146
  33. package/lib/assets/.claude/skills/creating-adr/SKILL.md +113 -113
  34. package/lib/assets/.claude/skills/creating-article/SKILL.md +156 -0
  35. package/lib/assets/.claude/skills/creating-development-strategy/SKILL.md +127 -127
  36. package/lib/assets/.claude/skills/creating-iteration-report/SKILL.md +210 -210
  37. package/lib/assets/.claude/skills/creating-journal/SKILL.md +129 -129
  38. package/lib/assets/.claude/skills/creating-manual/SKILL.md +199 -0
  39. package/lib/assets/.claude/skills/creating-release-report/SKILL.md +161 -161
  40. package/lib/assets/.claude/skills/creating-slides/SKILL.md +86 -86
  41. package/lib/assets/.claude/skills/creating-slides/agents/openai.yaml +4 -4
  42. package/lib/assets/.claude/skills/creating-slides/references/manga-css.md +45 -45
  43. package/lib/assets/.claude/skills/creating-slides/scripts/slide_tools.py +239 -239
  44. package/lib/assets/.claude/skills/developing-backend/SKILL.md +100 -100
  45. package/lib/assets/.claude/skills/developing-frontend/SKILL.md +93 -93
  46. package/lib/assets/.claude/skills/developing-release/SKILL.md +120 -120
  47. package/lib/assets/.claude/skills/developing-review/SKILL.md +175 -175
  48. package/lib/assets/.claude/skills/developing-uiux-review/SKILL.md +207 -207
  49. package/lib/assets/.claude/skills/generating-bmc/SKILL.md +123 -123
  50. package/lib/assets/.claude/skills/generating-slides/SKILL.md +94 -94
  51. package/lib/assets/.claude/skills/git-commit/SKILL.md +81 -81
  52. package/lib/assets/.claude/skills/killing-processes/SKILL.md +44 -44
  53. package/lib/assets/.claude/skills/opening-iteration/SKILL.md +109 -105
  54. package/lib/assets/.claude/skills/operating-backup/SKILL.md +59 -59
  55. package/lib/assets/.claude/skills/operating-cicd/SKILL.md +54 -54
  56. package/lib/assets/.claude/skills/operating-deploy/SKILL.md +67 -67
  57. package/lib/assets/.claude/skills/operating-docs/SKILL.md +219 -219
  58. package/lib/assets/.claude/skills/operating-provision/SKILL.md +77 -77
  59. package/lib/assets/.claude/skills/operating-qt/SKILL.md +147 -147
  60. package/lib/assets/.claude/skills/operating-review/SKILL.md +171 -171
  61. package/lib/assets/.claude/skills/operating-script/SKILL.md +145 -145
  62. package/lib/assets/.claude/skills/operating-setup/SKILL.md +63 -63
  63. package/lib/assets/.claude/skills/orchestrating-analysis/SKILL.md +104 -104
  64. package/lib/assets/.claude/skills/orchestrating-development/SKILL.md +168 -168
  65. package/lib/assets/.claude/skills/orchestrating-operation/SKILL.md +158 -158
  66. package/lib/assets/.claude/skills/orchestrating-project/SKILL.md +144 -144
  67. package/lib/assets/.claude/skills/planning-releases/SKILL.md +119 -119
  68. package/lib/assets/.claude/skills/practicing-getting-start-tdd/SKILL.md +266 -266
  69. package/lib/assets/.claude/skills/syncing-github-project/SKILL.md +151 -151
  70. package/lib/assets/.claude/skills/tracking-progress/SKILL.md +91 -91
  71. package/lib/assets/.claude/skills/validating-design/SKILL.md +130 -130
  72. package/lib/assets/.claude/skills/validating-iteration-plan/SKILL.md +238 -238
  73. package/lib/assets/.claude/skills/validating-operating-setup/SKILL.md +118 -118
  74. package/lib/assets/.devcontainer/devcontainer.json +37 -37
  75. package/lib/assets/.env.example +23 -17
  76. package/lib/assets/.gitattributes +4 -4
  77. package/lib/assets/.github/workflows/docker-publish.yml +77 -77
  78. package/lib/assets/.github/workflows/mkdocs.yml +39 -39
  79. package/lib/assets/AGENTS.md +94 -94
  80. package/lib/assets/CLAUDE.md +201 -197
  81. package/lib/assets/README.md +304 -291
  82. package/lib/assets/docker-compose.yml +33 -33
  83. package/lib/assets/docs/adr/index.md +10 -10
  84. package/lib/assets/docs/article/functional-desgin-ppp/all/01-immutability-and-data-transformation.md +475 -475
  85. package/lib/assets/docs/article/functional-desgin-ppp/all/02-function-composition.md +519 -519
  86. package/lib/assets/docs/article/functional-desgin-ppp/all/03-polymorphism.md +537 -537
  87. package/lib/assets/docs/article/functional-desgin-ppp/all/04-data-validation.md +300 -300
  88. package/lib/assets/docs/article/functional-desgin-ppp/all/05-property-based-testing.md +320 -320
  89. package/lib/assets/docs/article/functional-desgin-ppp/all/06-tdd-and-functional.md +498 -498
  90. package/lib/assets/docs/article/functional-desgin-ppp/all/07-composite-pattern.md +298 -298
  91. package/lib/assets/docs/article/functional-desgin-ppp/all/08-decorator-pattern.md +291 -291
  92. package/lib/assets/docs/article/functional-desgin-ppp/all/09-adapter-pattern.md +336 -336
  93. package/lib/assets/docs/article/functional-desgin-ppp/all/10-strategy-pattern.md +303 -303
  94. package/lib/assets/docs/article/functional-desgin-ppp/all/11-command-pattern.md +286 -286
  95. package/lib/assets/docs/article/functional-desgin-ppp/all/12-visitor-pattern.md +322 -322
  96. package/lib/assets/docs/article/functional-desgin-ppp/all/13-abstract-factory-pattern.md +319 -319
  97. package/lib/assets/docs/article/functional-desgin-ppp/all/14-abstract-server-pattern.md +365 -365
  98. package/lib/assets/docs/article/functional-desgin-ppp/all/15-gossiping-bus-drivers.md +156 -156
  99. package/lib/assets/docs/article/functional-desgin-ppp/all/16-payroll-system.md +178 -178
  100. package/lib/assets/docs/article/functional-desgin-ppp/all/17-video-rental-system.md +312 -312
  101. package/lib/assets/docs/article/functional-desgin-ppp/all/18-concurrency-system.md +287 -287
  102. package/lib/assets/docs/article/functional-desgin-ppp/all/19-wa-tor-simulation.md +286 -286
  103. package/lib/assets/docs/article/functional-desgin-ppp/all/20-pattern-interactions.md +274 -274
  104. package/lib/assets/docs/article/functional-desgin-ppp/all/21-best-practices.md +294 -294
  105. package/lib/assets/docs/article/functional-desgin-ppp/all/22-oo-to-fp-migration.md +337 -337
  106. package/lib/assets/docs/article/functional-desgin-ppp/all/index.md +388 -388
  107. package/lib/assets/docs/article/functional-desgin-ppp/clojure/01-immutability-and-data-transformation.md +273 -273
  108. package/lib/assets/docs/article/functional-desgin-ppp/clojure/02-function-composition.md +380 -380
  109. package/lib/assets/docs/article/functional-desgin-ppp/clojure/03-polymorphism.md +384 -384
  110. package/lib/assets/docs/article/functional-desgin-ppp/clojure/04-clojure-spec.md +350 -350
  111. package/lib/assets/docs/article/functional-desgin-ppp/clojure/05-property-based-testing.md +352 -352
  112. package/lib/assets/docs/article/functional-desgin-ppp/clojure/06-tdd-in-functional.md +383 -383
  113. package/lib/assets/docs/article/functional-desgin-ppp/clojure/07-composite-pattern.md +529 -529
  114. package/lib/assets/docs/article/functional-desgin-ppp/clojure/08-decorator-pattern.md +395 -395
  115. package/lib/assets/docs/article/functional-desgin-ppp/clojure/09-adapter-pattern.md +399 -399
  116. package/lib/assets/docs/article/functional-desgin-ppp/clojure/10-strategy-pattern.md +485 -485
  117. package/lib/assets/docs/article/functional-desgin-ppp/clojure/11-command-pattern.md +566 -566
  118. package/lib/assets/docs/article/functional-desgin-ppp/clojure/12-visitor-pattern.md +567 -567
  119. package/lib/assets/docs/article/functional-desgin-ppp/clojure/13-abstract-factory-pattern.md +475 -475
  120. package/lib/assets/docs/article/functional-desgin-ppp/clojure/14-abstract-server-pattern.md +462 -462
  121. package/lib/assets/docs/article/functional-desgin-ppp/clojure/15-gossiping-bus-drivers.md +325 -325
  122. package/lib/assets/docs/article/functional-desgin-ppp/clojure/16-payroll-system.md +401 -401
  123. package/lib/assets/docs/article/functional-desgin-ppp/clojure/17-video-rental-system.md +450 -450
  124. package/lib/assets/docs/article/functional-desgin-ppp/clojure/18-concurrency-system.md +475 -475
  125. package/lib/assets/docs/article/functional-desgin-ppp/clojure/19-wator-simulation.md +739 -739
  126. package/lib/assets/docs/article/functional-desgin-ppp/clojure/20-pattern-interactions.md +567 -567
  127. package/lib/assets/docs/article/functional-desgin-ppp/clojure/21-best-practices.md +518 -518
  128. package/lib/assets/docs/article/functional-desgin-ppp/clojure/22-oo-to-fp-migration.md +532 -532
  129. package/lib/assets/docs/article/functional-desgin-ppp/clojure/index.md +241 -241
  130. package/lib/assets/docs/article/functional-desgin-ppp/elixir/01-immutability-and-data-transformation.md +383 -383
  131. package/lib/assets/docs/article/functional-desgin-ppp/elixir/02-function-composition.md +374 -374
  132. package/lib/assets/docs/article/functional-desgin-ppp/elixir/03-polymorphism.md +375 -375
  133. package/lib/assets/docs/article/functional-desgin-ppp/elixir/04-data-validation.md +195 -195
  134. package/lib/assets/docs/article/functional-desgin-ppp/elixir/05-property-based-testing.md +268 -268
  135. package/lib/assets/docs/article/functional-desgin-ppp/elixir/06-tdd-and-fp.md +294 -294
  136. package/lib/assets/docs/article/functional-desgin-ppp/elixir/07-effects-and-pure-functions.md +164 -164
  137. package/lib/assets/docs/article/functional-desgin-ppp/elixir/08-error-handling-strategies.md +168 -168
  138. package/lib/assets/docs/article/functional-desgin-ppp/elixir/09-io-and-external-systems.md +254 -254
  139. package/lib/assets/docs/article/functional-desgin-ppp/elixir/10-concurrency-patterns.md +269 -269
  140. package/lib/assets/docs/article/functional-desgin-ppp/elixir/11-command-pattern.md +148 -148
  141. package/lib/assets/docs/article/functional-desgin-ppp/elixir/12-visitor-pattern.md +176 -176
  142. package/lib/assets/docs/article/functional-desgin-ppp/elixir/13-abstract-factory-pattern.md +604 -604
  143. package/lib/assets/docs/article/functional-desgin-ppp/elixir/14-abstract-server-pattern.md +729 -729
  144. package/lib/assets/docs/article/functional-desgin-ppp/elixir/15-gossiping-bus-drivers.md +291 -291
  145. package/lib/assets/docs/article/functional-desgin-ppp/elixir/16-payroll-system.md +420 -420
  146. package/lib/assets/docs/article/functional-desgin-ppp/elixir/17-video-rental-system.md +319 -319
  147. package/lib/assets/docs/article/functional-desgin-ppp/elixir/18-concurrency-system.md +466 -466
  148. package/lib/assets/docs/article/functional-desgin-ppp/elixir/19-wator-simulation.md +523 -523
  149. package/lib/assets/docs/article/functional-desgin-ppp/elixir/20-pattern-interactions.md +287 -287
  150. package/lib/assets/docs/article/functional-desgin-ppp/elixir/21-best-practices.md +340 -340
  151. package/lib/assets/docs/article/functional-desgin-ppp/elixir/22-oo-to-fp-migration.md +395 -395
  152. package/lib/assets/docs/article/functional-desgin-ppp/elixir/index.md +248 -248
  153. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/01-immutability-and-data-transformation.md +384 -384
  154. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/02-function-composition.md +452 -452
  155. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/03-polymorphism.md +495 -495
  156. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/04-data-validation.md +416 -416
  157. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/05-property-based-testing.md +382 -382
  158. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/06-tdd-functional.md +687 -687
  159. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/07-composite-pattern.md +442 -442
  160. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/08-decorator-pattern.md +479 -479
  161. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/09-adapter-pattern.md +479 -479
  162. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/10-strategy-pattern.md +427 -427
  163. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/11-command-pattern.md +428 -428
  164. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/12-visitor-pattern.md +339 -339
  165. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/13-abstract-factory-pattern.md +309 -309
  166. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/14-abstract-server-pattern.md +596 -596
  167. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/15-gossiping-bus-drivers.md +355 -355
  168. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/16-payroll-system.md +350 -350
  169. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/17-video-rental-system.md +414 -414
  170. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/18-concurrency-system.md +367 -367
  171. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/19-wator-simulation.md +403 -403
  172. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/20-pattern-interactions.md +291 -291
  173. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/21-best-practices.md +324 -324
  174. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/22-oo-to-fp-migration.md +332 -332
  175. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/index.md +274 -274
  176. package/lib/assets/docs/article/functional-desgin-ppp/haskell/01-immutability-and-data-transformation.md +298 -298
  177. package/lib/assets/docs/article/functional-desgin-ppp/haskell/02-function-composition.md +304 -304
  178. package/lib/assets/docs/article/functional-desgin-ppp/haskell/03-polymorphism.md +362 -362
  179. package/lib/assets/docs/article/functional-desgin-ppp/haskell/04-data-validation.md +257 -257
  180. package/lib/assets/docs/article/functional-desgin-ppp/haskell/05-property-based-testing.md +254 -254
  181. package/lib/assets/docs/article/functional-desgin-ppp/haskell/06-tdd-functional.md +283 -283
  182. package/lib/assets/docs/article/functional-desgin-ppp/haskell/07-composite-pattern.md +395 -395
  183. package/lib/assets/docs/article/functional-desgin-ppp/haskell/08-decorator-pattern.md +319 -319
  184. package/lib/assets/docs/article/functional-desgin-ppp/haskell/09-adapter-pattern.md +382 -382
  185. package/lib/assets/docs/article/functional-desgin-ppp/haskell/10-strategy-pattern.md +287 -287
  186. package/lib/assets/docs/article/functional-desgin-ppp/haskell/11-command-pattern.md +303 -303
  187. package/lib/assets/docs/article/functional-desgin-ppp/haskell/12-visitor-pattern.md +326 -326
  188. package/lib/assets/docs/article/functional-desgin-ppp/haskell/13-abstract-factory-pattern.md +332 -332
  189. package/lib/assets/docs/article/functional-desgin-ppp/haskell/14-abstract-server-pattern.md +379 -379
  190. package/lib/assets/docs/article/functional-desgin-ppp/haskell/15-gossiping-bus-drivers.md +177 -177
  191. package/lib/assets/docs/article/functional-desgin-ppp/haskell/16-payroll-system.md +219 -219
  192. package/lib/assets/docs/article/functional-desgin-ppp/haskell/17-video-rental-system.md +244 -244
  193. package/lib/assets/docs/article/functional-desgin-ppp/haskell/18-concurrency-system.md +363 -363
  194. package/lib/assets/docs/article/functional-desgin-ppp/haskell/19-wator-simulation.md +438 -438
  195. package/lib/assets/docs/article/functional-desgin-ppp/haskell/20-pattern-interactions.md +325 -325
  196. package/lib/assets/docs/article/functional-desgin-ppp/haskell/21-best-practices.md +403 -403
  197. package/lib/assets/docs/article/functional-desgin-ppp/haskell/22-oo-to-fp-migration.md +469 -469
  198. package/lib/assets/docs/article/functional-desgin-ppp/haskell/index.md +174 -174
  199. package/lib/assets/docs/article/functional-desgin-ppp/index.md +90 -90
  200. package/lib/assets/docs/article/functional-desgin-ppp/rust/01-immutability-and-data-transformation.md +450 -450
  201. package/lib/assets/docs/article/functional-desgin-ppp/rust/02-function-composition.md +463 -463
  202. package/lib/assets/docs/article/functional-desgin-ppp/rust/03-polymorphism.md +425 -425
  203. package/lib/assets/docs/article/functional-desgin-ppp/rust/04-data-validation.md +273 -273
  204. package/lib/assets/docs/article/functional-desgin-ppp/rust/05-property-based-testing.md +247 -247
  205. package/lib/assets/docs/article/functional-desgin-ppp/rust/06-tdd-and-functional.md +841 -841
  206. package/lib/assets/docs/article/functional-desgin-ppp/rust/07-composite-pattern.md +384 -384
  207. package/lib/assets/docs/article/functional-desgin-ppp/rust/08-decorator-pattern.md +383 -383
  208. package/lib/assets/docs/article/functional-desgin-ppp/rust/09-adapter-pattern.md +339 -339
  209. package/lib/assets/docs/article/functional-desgin-ppp/rust/10-strategy-pattern.md +331 -331
  210. package/lib/assets/docs/article/functional-desgin-ppp/rust/11-command-pattern.md +356 -356
  211. package/lib/assets/docs/article/functional-desgin-ppp/rust/12-visitor-pattern.md +379 -379
  212. package/lib/assets/docs/article/functional-desgin-ppp/rust/13-abstract-factory-pattern.md +361 -361
  213. package/lib/assets/docs/article/functional-desgin-ppp/rust/14-abstract-server-pattern.md +392 -392
  214. package/lib/assets/docs/article/functional-desgin-ppp/rust/15-gossiping-bus-drivers.md +300 -300
  215. package/lib/assets/docs/article/functional-desgin-ppp/rust/16-payroll-system.md +297 -297
  216. package/lib/assets/docs/article/functional-desgin-ppp/rust/17-video-rental-system.md +304 -304
  217. package/lib/assets/docs/article/functional-desgin-ppp/rust/18-concurrency-system.md +315 -315
  218. package/lib/assets/docs/article/functional-desgin-ppp/rust/19-wator-simulation.md +311 -311
  219. package/lib/assets/docs/article/functional-desgin-ppp/rust/20-pattern-interactions.md +304 -304
  220. package/lib/assets/docs/article/functional-desgin-ppp/rust/21-best-practices.md +336 -336
  221. package/lib/assets/docs/article/functional-desgin-ppp/rust/22-oo-to-fp-migration.md +349 -349
  222. package/lib/assets/docs/article/functional-desgin-ppp/rust/index.md +243 -243
  223. package/lib/assets/docs/article/functional-desgin-ppp/scala/01-immutability-and-data-transformation.md +328 -328
  224. package/lib/assets/docs/article/functional-desgin-ppp/scala/02-function-composition.md +348 -348
  225. package/lib/assets/docs/article/functional-desgin-ppp/scala/03-polymorphism.md +357 -357
  226. package/lib/assets/docs/article/functional-desgin-ppp/scala/04-data-validation.md +364 -364
  227. package/lib/assets/docs/article/functional-desgin-ppp/scala/05-property-based-testing.md +515 -515
  228. package/lib/assets/docs/article/functional-desgin-ppp/scala/06-tdd-functional.md +557 -557
  229. package/lib/assets/docs/article/functional-desgin-ppp/scala/07-composite-pattern.md +363 -363
  230. package/lib/assets/docs/article/functional-desgin-ppp/scala/08-decorator-pattern.md +327 -327
  231. package/lib/assets/docs/article/functional-desgin-ppp/scala/09-adapter-pattern.md +517 -517
  232. package/lib/assets/docs/article/functional-desgin-ppp/scala/10-strategy-pattern.md +441 -441
  233. package/lib/assets/docs/article/functional-desgin-ppp/scala/11-command-pattern.md +407 -407
  234. package/lib/assets/docs/article/functional-desgin-ppp/scala/12-visitor-pattern.md +379 -379
  235. package/lib/assets/docs/article/functional-desgin-ppp/scala/13-abstract-factory-pattern.md +398 -398
  236. package/lib/assets/docs/article/functional-desgin-ppp/scala/14-abstract-server-pattern.md +476 -476
  237. package/lib/assets/docs/article/functional-desgin-ppp/scala/15-gossiping-bus-drivers.md +391 -391
  238. package/lib/assets/docs/article/functional-desgin-ppp/scala/16-payroll-system.md +342 -342
  239. package/lib/assets/docs/article/functional-desgin-ppp/scala/17-video-rental-system.md +324 -324
  240. package/lib/assets/docs/article/functional-desgin-ppp/scala/18-concurrency-system.md +730 -730
  241. package/lib/assets/docs/article/functional-desgin-ppp/scala/19-wator-simulation.md +624 -624
  242. package/lib/assets/docs/article/functional-desgin-ppp/scala/20-pattern-interactions.md +512 -512
  243. package/lib/assets/docs/article/functional-desgin-ppp/scala/21-best-practices.md +433 -433
  244. package/lib/assets/docs/article/functional-desgin-ppp/scala/22-oo-to-fp-migration.md +688 -688
  245. package/lib/assets/docs/article/functional-desgin-ppp/scala/index.md +243 -243
  246. package/lib/assets/docs/article/getting-start-tdd/clojure/01-todo-list-and-first-test.md +166 -166
  247. package/lib/assets/docs/article/getting-start-tdd/clojure/02-fake-it-and-triangulation.md +162 -162
  248. package/lib/assets/docs/article/getting-start-tdd/clojure/03-obvious-implementation-and-refactoring.md +135 -135
  249. package/lib/assets/docs/article/getting-start-tdd/clojure/04-version-control-and-conventional-commits.md +88 -88
  250. package/lib/assets/docs/article/getting-start-tdd/clojure/05-package-management-and-static-analysis.md +299 -299
  251. package/lib/assets/docs/article/getting-start-tdd/clojure/06-task-runner-and-ci-cd.md +241 -241
  252. package/lib/assets/docs/article/getting-start-tdd/clojure/07-protocols-and-records.md +131 -131
  253. package/lib/assets/docs/article/getting-start-tdd/clojure/08-multimethods-and-design-patterns.md +130 -130
  254. package/lib/assets/docs/article/getting-start-tdd/clojure/09-namespaces-and-module-design.md +127 -127
  255. package/lib/assets/docs/article/getting-start-tdd/clojure/10-higher-order-functions-and-composition.md +114 -114
  256. package/lib/assets/docs/article/getting-start-tdd/clojure/11-persistent-data-and-pipeline.md +138 -138
  257. package/lib/assets/docs/article/getting-start-tdd/clojure/12-error-handling-and-spec.md +161 -161
  258. package/lib/assets/docs/article/getting-start-tdd/clojure/index.md +65 -65
  259. package/lib/assets/docs/article/getting-start-tdd/csharp/chapter01.md +232 -232
  260. package/lib/assets/docs/article/getting-start-tdd/csharp/chapter02.md +244 -244
  261. package/lib/assets/docs/article/getting-start-tdd/csharp/chapter03.md +202 -202
  262. package/lib/assets/docs/article/getting-start-tdd/csharp/chapter04.md +92 -92
  263. package/lib/assets/docs/article/getting-start-tdd/csharp/chapter05.md +256 -256
  264. package/lib/assets/docs/article/getting-start-tdd/csharp/chapter06.md +195 -195
  265. package/lib/assets/docs/article/getting-start-tdd/csharp/chapter07.md +214 -214
  266. package/lib/assets/docs/article/getting-start-tdd/csharp/chapter08.md +249 -249
  267. package/lib/assets/docs/article/getting-start-tdd/csharp/chapter09.md +174 -174
  268. package/lib/assets/docs/article/getting-start-tdd/csharp/chapter10.md +166 -166
  269. package/lib/assets/docs/article/getting-start-tdd/csharp/chapter11.md +192 -192
  270. package/lib/assets/docs/article/getting-start-tdd/csharp/chapter12.md +211 -211
  271. package/lib/assets/docs/article/getting-start-tdd/csharp/index.md +83 -83
  272. package/lib/assets/docs/article/getting-start-tdd/elixir/01-todo-list-and-first-test.md +87 -87
  273. package/lib/assets/docs/article/getting-start-tdd/elixir/02-fake-it-and-triangulation.md +95 -95
  274. package/lib/assets/docs/article/getting-start-tdd/elixir/03-obvious-implementation-and-refactoring.md +109 -109
  275. package/lib/assets/docs/article/getting-start-tdd/elixir/04-version-control-and-conventional-commits.md +96 -96
  276. package/lib/assets/docs/article/getting-start-tdd/elixir/05-package-management-and-static-analysis.md +88 -88
  277. package/lib/assets/docs/article/getting-start-tdd/elixir/06-task-runner-and-ci-cd.md +71 -71
  278. package/lib/assets/docs/article/getting-start-tdd/elixir/07-structs-and-protocols.md +110 -110
  279. package/lib/assets/docs/article/getting-start-tdd/elixir/08-pattern-matching-and-guards.md +108 -108
  280. package/lib/assets/docs/article/getting-start-tdd/elixir/09-module-design-and-behaviours.md +104 -104
  281. package/lib/assets/docs/article/getting-start-tdd/elixir/10-higher-order-functions-and-pipeline.md +178 -178
  282. package/lib/assets/docs/article/getting-start-tdd/elixir/11-stream-and-lazy-evaluation.md +142 -142
  283. package/lib/assets/docs/article/getting-start-tdd/elixir/12-error-handling-and-with.md +145 -145
  284. package/lib/assets/docs/article/getting-start-tdd/elixir/index.md +35 -35
  285. package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter01.md +202 -202
  286. package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter02.md +246 -246
  287. package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter03.md +218 -218
  288. package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter04.md +179 -179
  289. package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter05.md +267 -267
  290. package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter06.md +190 -190
  291. package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter07.md +161 -161
  292. package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter08.md +175 -175
  293. package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter09.md +222 -222
  294. package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter10.md +189 -189
  295. package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter11.md +212 -212
  296. package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter12.md +215 -215
  297. package/lib/assets/docs/article/getting-start-tdd/fsharp/index.md +71 -71
  298. package/lib/assets/docs/article/getting-start-tdd/go/01-todo-list-and-first-test.md +213 -213
  299. package/lib/assets/docs/article/getting-start-tdd/go/02-fake-it-and-triangulation.md +302 -302
  300. package/lib/assets/docs/article/getting-start-tdd/go/03-obvious-implementation-and-refactoring.md +339 -339
  301. package/lib/assets/docs/article/getting-start-tdd/go/04-version-control-and-conventional-commits.md +112 -112
  302. package/lib/assets/docs/article/getting-start-tdd/go/05-package-management-and-static-analysis.md +272 -272
  303. package/lib/assets/docs/article/getting-start-tdd/go/06-task-runner-and-ci-cd.md +233 -233
  304. package/lib/assets/docs/article/getting-start-tdd/go/07-encapsulation-and-polymorphism.md +394 -394
  305. package/lib/assets/docs/article/getting-start-tdd/go/08-design-patterns.md +422 -422
  306. package/lib/assets/docs/article/getting-start-tdd/go/09-solid-principles-and-module-design.md +400 -400
  307. package/lib/assets/docs/article/getting-start-tdd/go/10-higher-order-functions-and-composition.md +226 -226
  308. package/lib/assets/docs/article/getting-start-tdd/go/11-immutable-data-and-pipeline.md +296 -296
  309. package/lib/assets/docs/article/getting-start-tdd/go/12-error-handling-and-type-safety.md +411 -411
  310. package/lib/assets/docs/article/getting-start-tdd/go/index.md +83 -83
  311. package/lib/assets/docs/article/getting-start-tdd/haskell/01-todo-list-and-first-test.md +279 -279
  312. package/lib/assets/docs/article/getting-start-tdd/haskell/02-fake-it-and-triangulation.md +337 -337
  313. package/lib/assets/docs/article/getting-start-tdd/haskell/03-obvious-implementation-and-refactoring.md +257 -257
  314. package/lib/assets/docs/article/getting-start-tdd/haskell/04-version-control-and-conventional-commits.md +182 -182
  315. package/lib/assets/docs/article/getting-start-tdd/haskell/05-package-management-and-static-analysis.md +313 -313
  316. package/lib/assets/docs/article/getting-start-tdd/haskell/06-task-runner-and-ci-cd.md +309 -309
  317. package/lib/assets/docs/article/getting-start-tdd/haskell/07-algebraic-data-types-and-type-classes.md +412 -412
  318. package/lib/assets/docs/article/getting-start-tdd/haskell/08-pattern-matching-and-guards.md +390 -390
  319. package/lib/assets/docs/article/getting-start-tdd/haskell/09-module-design-and-smart-constructors.md +461 -461
  320. package/lib/assets/docs/article/getting-start-tdd/haskell/10-higher-order-functions-and-currying.md +434 -434
  321. package/lib/assets/docs/article/getting-start-tdd/haskell/11-function-composition-and-point-free.md +392 -392
  322. package/lib/assets/docs/article/getting-start-tdd/haskell/12-monad-and-error-handling.md +631 -631
  323. package/lib/assets/docs/article/getting-start-tdd/haskell/index.md +49 -49
  324. package/lib/assets/docs/article/getting-start-tdd/index.md +93 -93
  325. package/lib/assets/docs/article/getting-start-tdd/integration/01-language-overview.md +375 -375
  326. package/lib/assets/docs/article/getting-start-tdd/integration/02-test-framework-comparison.md +349 -349
  327. package/lib/assets/docs/article/getting-start-tdd/integration/03-tdd-pattern-comparison.md +445 -445
  328. package/lib/assets/docs/article/getting-start-tdd/integration/04-type-system-comparison.md +409 -409
  329. package/lib/assets/docs/article/getting-start-tdd/integration/05-dev-environment-comparison.md +330 -330
  330. package/lib/assets/docs/article/getting-start-tdd/integration/06-learning-roadmap.md +290 -290
  331. package/lib/assets/docs/article/getting-start-tdd/integration/index.md +69 -69
  332. package/lib/assets/docs/article/getting-start-tdd/java/01-todo-list-and-first-test.md +234 -234
  333. package/lib/assets/docs/article/getting-start-tdd/java/02-fake-it-and-triangulation.md +261 -261
  334. package/lib/assets/docs/article/getting-start-tdd/java/03-obvious-implementation-and-refactoring.md +185 -185
  335. package/lib/assets/docs/article/getting-start-tdd/java/04-version-control-and-conventional-commits.md +115 -115
  336. package/lib/assets/docs/article/getting-start-tdd/java/05-package-management-and-static-analysis.md +382 -382
  337. package/lib/assets/docs/article/getting-start-tdd/java/06-task-runner-and-ci-cd.md +272 -272
  338. package/lib/assets/docs/article/getting-start-tdd/java/07-encapsulation-and-polymorphism.md +626 -626
  339. package/lib/assets/docs/article/getting-start-tdd/java/08-design-patterns.md +393 -393
  340. package/lib/assets/docs/article/getting-start-tdd/java/09-solid-principles-and-module-design.md +310 -310
  341. package/lib/assets/docs/article/getting-start-tdd/java/10-higher-order-functions-and-composition.md +188 -188
  342. package/lib/assets/docs/article/getting-start-tdd/java/11-immutable-data-and-pipeline.md +167 -167
  343. package/lib/assets/docs/article/getting-start-tdd/java/12-error-handling-and-type-safety.md +205 -205
  344. package/lib/assets/docs/article/getting-start-tdd/java/index.md +61 -61
  345. package/lib/assets/docs/article/getting-start-tdd/node/01-todo-list-and-first-test.md +244 -244
  346. package/lib/assets/docs/article/getting-start-tdd/node/02-fake-it-and-triangulation.md +262 -262
  347. package/lib/assets/docs/article/getting-start-tdd/node/03-obvious-implementation-and-refactoring.md +169 -169
  348. package/lib/assets/docs/article/getting-start-tdd/node/04-version-control-and-conventional-commits.md +112 -112
  349. package/lib/assets/docs/article/getting-start-tdd/node/05-package-management-and-static-analysis.md +314 -314
  350. package/lib/assets/docs/article/getting-start-tdd/node/06-task-runner-and-ci-cd.md +235 -235
  351. package/lib/assets/docs/article/getting-start-tdd/node/07-encapsulation-and-polymorphism.md +327 -327
  352. package/lib/assets/docs/article/getting-start-tdd/node/08-design-patterns.md +322 -322
  353. package/lib/assets/docs/article/getting-start-tdd/node/09-solid-principles-and-module-design.md +285 -285
  354. package/lib/assets/docs/article/getting-start-tdd/node/10-higher-order-functions-and-composition.md +199 -199
  355. package/lib/assets/docs/article/getting-start-tdd/node/11-immutable-data-and-pipeline.md +207 -207
  356. package/lib/assets/docs/article/getting-start-tdd/node/12-error-handling-and-type-safety.md +295 -295
  357. package/lib/assets/docs/article/getting-start-tdd/node/index.md +56 -56
  358. package/lib/assets/docs/article/getting-start-tdd/php/01-todo-list-and-first-test.md +259 -259
  359. package/lib/assets/docs/article/getting-start-tdd/php/02-fake-it-and-triangulation.md +200 -200
  360. package/lib/assets/docs/article/getting-start-tdd/php/03-obvious-implementation-and-refactoring.md +248 -248
  361. package/lib/assets/docs/article/getting-start-tdd/php/04-version-control-and-conventional-commits.md +141 -141
  362. package/lib/assets/docs/article/getting-start-tdd/php/05-package-management-and-static-analysis.md +410 -410
  363. package/lib/assets/docs/article/getting-start-tdd/php/06-task-runner-and-ci-cd.md +321 -321
  364. package/lib/assets/docs/article/getting-start-tdd/php/07-encapsulation-and-polymorphism.md +372 -372
  365. package/lib/assets/docs/article/getting-start-tdd/php/08-design-patterns.md +453 -453
  366. package/lib/assets/docs/article/getting-start-tdd/php/09-solid-principles-and-module-design.md +460 -460
  367. package/lib/assets/docs/article/getting-start-tdd/php/10-higher-order-functions-and-composition.md +182 -182
  368. package/lib/assets/docs/article/getting-start-tdd/php/11-immutable-data-and-pipeline.md +266 -266
  369. package/lib/assets/docs/article/getting-start-tdd/php/12-error-handling-and-type-safety.md +308 -308
  370. package/lib/assets/docs/article/getting-start-tdd/php/index.md +84 -84
  371. package/lib/assets/docs/article/getting-start-tdd/python/01-todo-list-and-first-test.md +201 -201
  372. package/lib/assets/docs/article/getting-start-tdd/python/02-fake-it-and-triangulation.md +247 -247
  373. package/lib/assets/docs/article/getting-start-tdd/python/03-obvious-implementation-and-refactoring.md +199 -199
  374. package/lib/assets/docs/article/getting-start-tdd/python/04-version-control-and-conventional-commits.md +87 -87
  375. package/lib/assets/docs/article/getting-start-tdd/python/05-package-management-and-static-analysis.md +274 -274
  376. package/lib/assets/docs/article/getting-start-tdd/python/06-task-runner-and-ci-cd.md +190 -190
  377. package/lib/assets/docs/article/getting-start-tdd/python/07-encapsulation-and-polymorphism.md +208 -208
  378. package/lib/assets/docs/article/getting-start-tdd/python/08-design-patterns.md +172 -172
  379. package/lib/assets/docs/article/getting-start-tdd/python/09-solid-principles-and-module-design.md +130 -130
  380. package/lib/assets/docs/article/getting-start-tdd/python/10-higher-order-functions-and-composition.md +122 -122
  381. package/lib/assets/docs/article/getting-start-tdd/python/11-immutable-data-and-pipeline.md +116 -116
  382. package/lib/assets/docs/article/getting-start-tdd/python/12-error-handling-and-type-safety.md +126 -126
  383. package/lib/assets/docs/article/getting-start-tdd/python/index.md +55 -55
  384. package/lib/assets/docs/article/getting-start-tdd/ruby/01-todo-list-and-first-test.md +231 -231
  385. package/lib/assets/docs/article/getting-start-tdd/ruby/02-fake-it-and-triangulation.md +238 -238
  386. package/lib/assets/docs/article/getting-start-tdd/ruby/03-obvious-implementation-and-refactoring.md +228 -228
  387. package/lib/assets/docs/article/getting-start-tdd/ruby/04-version-control-and-conventional-commits.md +112 -112
  388. package/lib/assets/docs/article/getting-start-tdd/ruby/05-package-management-and-static-analysis.md +287 -287
  389. package/lib/assets/docs/article/getting-start-tdd/ruby/06-task-runner-and-ci-cd.md +248 -248
  390. package/lib/assets/docs/article/getting-start-tdd/ruby/07-encapsulation-and-polymorphism.md +279 -279
  391. package/lib/assets/docs/article/getting-start-tdd/ruby/08-design-patterns.md +329 -329
  392. package/lib/assets/docs/article/getting-start-tdd/ruby/09-solid-principles-and-module-design.md +196 -196
  393. package/lib/assets/docs/article/getting-start-tdd/ruby/10-higher-order-functions-and-composition.md +175 -175
  394. package/lib/assets/docs/article/getting-start-tdd/ruby/11-immutable-data-and-pipeline.md +237 -237
  395. package/lib/assets/docs/article/getting-start-tdd/ruby/12-error-handling-and-type-safety.md +398 -398
  396. package/lib/assets/docs/article/getting-start-tdd/ruby/index.md +83 -83
  397. package/lib/assets/docs/article/getting-start-tdd/rust/01-todo-list-and-first-test.md +211 -211
  398. package/lib/assets/docs/article/getting-start-tdd/rust/02-fake-it-and-triangulation.md +264 -264
  399. package/lib/assets/docs/article/getting-start-tdd/rust/03-obvious-implementation-and-refactoring.md +233 -233
  400. package/lib/assets/docs/article/getting-start-tdd/rust/04-version-control-and-conventional-commits.md +92 -92
  401. package/lib/assets/docs/article/getting-start-tdd/rust/05-package-management-and-static-analysis.md +212 -212
  402. package/lib/assets/docs/article/getting-start-tdd/rust/06-task-runner-and-ci-cd.md +164 -164
  403. package/lib/assets/docs/article/getting-start-tdd/rust/07-encapsulation-and-polymorphism.md +142 -142
  404. package/lib/assets/docs/article/getting-start-tdd/rust/08-design-patterns.md +145 -145
  405. package/lib/assets/docs/article/getting-start-tdd/rust/09-solid-principles-and-module-design.md +110 -110
  406. package/lib/assets/docs/article/getting-start-tdd/rust/10-higher-order-functions-and-composition.md +94 -94
  407. package/lib/assets/docs/article/getting-start-tdd/rust/11-immutable-data-and-pipeline.md +105 -105
  408. package/lib/assets/docs/article/getting-start-tdd/rust/12-error-handling-and-type-safety.md +112 -112
  409. package/lib/assets/docs/article/getting-start-tdd/rust/index.md +83 -83
  410. package/lib/assets/docs/article/getting-start-tdd/scala/01-todo-list-and-first-test.md +111 -111
  411. package/lib/assets/docs/article/getting-start-tdd/scala/02-fake-it-and-triangulation.md +107 -107
  412. package/lib/assets/docs/article/getting-start-tdd/scala/03-obvious-implementation-and-refactoring.md +99 -99
  413. package/lib/assets/docs/article/getting-start-tdd/scala/04-version-control-and-conventional-commits.md +123 -123
  414. package/lib/assets/docs/article/getting-start-tdd/scala/05-package-management-and-static-analysis.md +196 -196
  415. package/lib/assets/docs/article/getting-start-tdd/scala/06-task-runner-and-ci-cd.md +186 -186
  416. package/lib/assets/docs/article/getting-start-tdd/scala/07-case-classes-and-traits.md +139 -139
  417. package/lib/assets/docs/article/getting-start-tdd/scala/08-pattern-matching-and-sealed-traits.md +106 -106
  418. package/lib/assets/docs/article/getting-start-tdd/scala/09-packages-and-module-design.md +75 -75
  419. package/lib/assets/docs/article/getting-start-tdd/scala/10-higher-order-functions-and-composition.md +104 -104
  420. package/lib/assets/docs/article/getting-start-tdd/scala/11-collections-and-lazy-evaluation.md +94 -94
  421. package/lib/assets/docs/article/getting-start-tdd/scala/12-error-handling-and-type-safety.md +92 -92
  422. package/lib/assets/docs/article/getting-start-tdd/scala/index.md +65 -65
  423. package/lib/assets/docs/article/grokking-concurrency/all/index.md +404 -404
  424. package/lib/assets/docs/article/grokking-concurrency/all/part-1-ch02-sequential.md +554 -554
  425. package/lib/assets/docs/article/grokking-concurrency/all/part-2-ch04-05-threads.md +469 -469
  426. package/lib/assets/docs/article/grokking-concurrency/all/part-3-ch06-multitasking.md +520 -520
  427. package/lib/assets/docs/article/grokking-concurrency/all/part-4-ch07-parallel-patterns.md +420 -420
  428. package/lib/assets/docs/article/grokking-concurrency/all/part-5-ch08-09-synchronization.md +510 -510
  429. package/lib/assets/docs/article/grokking-concurrency/all/part-6-ch10-11-nonblocking-io.md +435 -435
  430. package/lib/assets/docs/article/grokking-concurrency/all/part-7-ch12-async.md +465 -465
  431. package/lib/assets/docs/article/grokking-concurrency/all/part-8-ch13-mapreduce.md +377 -377
  432. package/lib/assets/docs/article/grokking-concurrency/clojure/index.md +116 -116
  433. package/lib/assets/docs/article/grokking-concurrency/clojure/part-1.md +108 -108
  434. package/lib/assets/docs/article/grokking-concurrency/clojure/part-2.md +101 -101
  435. package/lib/assets/docs/article/grokking-concurrency/clojure/part-3.md +122 -122
  436. package/lib/assets/docs/article/grokking-concurrency/clojure/part-4.md +123 -123
  437. package/lib/assets/docs/article/grokking-concurrency/clojure/part-5.md +118 -118
  438. package/lib/assets/docs/article/grokking-concurrency/clojure/part-6.md +89 -89
  439. package/lib/assets/docs/article/grokking-concurrency/clojure/part-7.md +100 -100
  440. package/lib/assets/docs/article/grokking-concurrency/clojure/part-8.md +120 -120
  441. package/lib/assets/docs/article/grokking-concurrency/csharp/index.md +101 -101
  442. package/lib/assets/docs/article/grokking-concurrency/csharp/part-1.md +97 -97
  443. package/lib/assets/docs/article/grokking-concurrency/csharp/part-2.md +123 -123
  444. package/lib/assets/docs/article/grokking-concurrency/csharp/part-3.md +101 -101
  445. package/lib/assets/docs/article/grokking-concurrency/csharp/part-4.md +112 -112
  446. package/lib/assets/docs/article/grokking-concurrency/csharp/part-5.md +99 -99
  447. package/lib/assets/docs/article/grokking-concurrency/csharp/part-6.md +61 -61
  448. package/lib/assets/docs/article/grokking-concurrency/csharp/part-7.md +84 -84
  449. package/lib/assets/docs/article/grokking-concurrency/csharp/part-8.md +92 -92
  450. package/lib/assets/docs/article/grokking-concurrency/fsharp/index.md +65 -65
  451. package/lib/assets/docs/article/grokking-concurrency/fsharp/part-1.md +80 -80
  452. package/lib/assets/docs/article/grokking-concurrency/fsharp/part-2.md +103 -103
  453. package/lib/assets/docs/article/grokking-concurrency/fsharp/part-3.md +94 -94
  454. package/lib/assets/docs/article/grokking-concurrency/fsharp/part-4.md +110 -110
  455. package/lib/assets/docs/article/grokking-concurrency/fsharp/part-5.md +104 -104
  456. package/lib/assets/docs/article/grokking-concurrency/fsharp/part-6.md +93 -93
  457. package/lib/assets/docs/article/grokking-concurrency/fsharp/part-7.md +121 -121
  458. package/lib/assets/docs/article/grokking-concurrency/fsharp/part-8.md +107 -107
  459. package/lib/assets/docs/article/grokking-concurrency/haskell/index.md +248 -248
  460. package/lib/assets/docs/article/grokking-concurrency/haskell/part-1.md +96 -96
  461. package/lib/assets/docs/article/grokking-concurrency/haskell/part-2.md +96 -96
  462. package/lib/assets/docs/article/grokking-concurrency/haskell/part-3.md +91 -91
  463. package/lib/assets/docs/article/grokking-concurrency/haskell/part-4.md +106 -106
  464. package/lib/assets/docs/article/grokking-concurrency/haskell/part-5.md +99 -99
  465. package/lib/assets/docs/article/grokking-concurrency/haskell/part-6.md +95 -95
  466. package/lib/assets/docs/article/grokking-concurrency/haskell/part-7.md +111 -111
  467. package/lib/assets/docs/article/grokking-concurrency/haskell/part-8.md +118 -118
  468. package/lib/assets/docs/article/grokking-concurrency/index.md +66 -66
  469. package/lib/assets/docs/article/grokking-concurrency/java/index.md +102 -102
  470. package/lib/assets/docs/article/grokking-concurrency/java/part-1.md +308 -308
  471. package/lib/assets/docs/article/grokking-concurrency/java/part-2.md +334 -334
  472. package/lib/assets/docs/article/grokking-concurrency/java/part-3.md +221 -221
  473. package/lib/assets/docs/article/grokking-concurrency/java/part-4.md +213 -213
  474. package/lib/assets/docs/article/grokking-concurrency/java/part-5.md +112 -112
  475. package/lib/assets/docs/article/grokking-concurrency/java/part-6.md +69 -69
  476. package/lib/assets/docs/article/grokking-concurrency/java/part-7.md +101 -101
  477. package/lib/assets/docs/article/grokking-concurrency/java/part-8.md +101 -101
  478. package/lib/assets/docs/article/grokking-concurrency/python/index.md +313 -313
  479. package/lib/assets/docs/article/grokking-concurrency/python/part-1.md +239 -239
  480. package/lib/assets/docs/article/grokking-concurrency/python/part-2.md +418 -418
  481. package/lib/assets/docs/article/grokking-concurrency/python/part-3.md +227 -227
  482. package/lib/assets/docs/article/grokking-concurrency/python/part-4.md +299 -299
  483. package/lib/assets/docs/article/grokking-concurrency/python/part-5.md +315 -315
  484. package/lib/assets/docs/article/grokking-concurrency/python/part-6.md +297 -297
  485. package/lib/assets/docs/article/grokking-concurrency/python/part-7.md +314 -314
  486. package/lib/assets/docs/article/grokking-concurrency/python/part-8.md +360 -360
  487. package/lib/assets/docs/article/grokking-concurrency/rust/index.md +270 -270
  488. package/lib/assets/docs/article/grokking-concurrency/rust/part-1.md +108 -108
  489. package/lib/assets/docs/article/grokking-concurrency/rust/part-2.md +120 -120
  490. package/lib/assets/docs/article/grokking-concurrency/rust/part-3.md +126 -126
  491. package/lib/assets/docs/article/grokking-concurrency/rust/part-4.md +175 -175
  492. package/lib/assets/docs/article/grokking-concurrency/rust/part-5.md +158 -158
  493. package/lib/assets/docs/article/grokking-concurrency/rust/part-6.md +94 -94
  494. package/lib/assets/docs/article/grokking-concurrency/rust/part-7.md +133 -133
  495. package/lib/assets/docs/article/grokking-concurrency/rust/part-8.md +155 -155
  496. package/lib/assets/docs/article/grokking-concurrency/scala/index.md +69 -69
  497. package/lib/assets/docs/article/grokking-concurrency/scala/part-1.md +78 -78
  498. package/lib/assets/docs/article/grokking-concurrency/scala/part-2.md +112 -112
  499. package/lib/assets/docs/article/grokking-concurrency/scala/part-3.md +93 -93
  500. package/lib/assets/docs/article/grokking-concurrency/scala/part-4.md +110 -110
  501. package/lib/assets/docs/article/grokking-concurrency/scala/part-5.md +119 -119
  502. package/lib/assets/docs/article/grokking-concurrency/scala/part-6.md +83 -83
  503. package/lib/assets/docs/article/grokking-concurrency/scala/part-7.md +131 -131
  504. package/lib/assets/docs/article/grokking-concurrency/scala/part-8.md +129 -129
  505. package/lib/assets/docs/article/grokkingfp/all/index.md +368 -368
  506. package/lib/assets/docs/article/grokkingfp/all/part-1-ch01-fp-introduction.md +530 -530
  507. package/lib/assets/docs/article/grokkingfp/all/part-1-ch02-pure-functions.md +923 -923
  508. package/lib/assets/docs/article/grokkingfp/all/part-2-ch03-immutable-data.md +1128 -1128
  509. package/lib/assets/docs/article/grokkingfp/all/part-2-ch04-higher-order-functions.md +1104 -1104
  510. package/lib/assets/docs/article/grokkingfp/all/part-2-ch05-flatmap.md +1026 -1026
  511. package/lib/assets/docs/article/grokkingfp/all/part-3-ch06-option.md +785 -785
  512. package/lib/assets/docs/article/grokkingfp/all/part-3-ch07-either-adt.md +871 -871
  513. package/lib/assets/docs/article/grokkingfp/all/part-4-ch08-io-monad.md +972 -972
  514. package/lib/assets/docs/article/grokkingfp/all/part-4-ch09-streams.md +926 -926
  515. package/lib/assets/docs/article/grokkingfp/all/part-5-ch10-concurrency.md +870 -870
  516. package/lib/assets/docs/article/grokkingfp/all/part-6-ch11-application.md +715 -715
  517. package/lib/assets/docs/article/grokkingfp/all/part-6-ch12-testing.md +626 -626
  518. package/lib/assets/docs/article/grokkingfp/all/writing-plan.md +712 -712
  519. package/lib/assets/docs/article/grokkingfp/clojure/index.md +276 -276
  520. package/lib/assets/docs/article/grokkingfp/clojure/part-1.md +667 -667
  521. package/lib/assets/docs/article/grokkingfp/clojure/part-2.md +643 -643
  522. package/lib/assets/docs/article/grokkingfp/clojure/part-3.md +620 -620
  523. package/lib/assets/docs/article/grokkingfp/clojure/part-4.md +697 -697
  524. package/lib/assets/docs/article/grokkingfp/clojure/part-5.md +751 -751
  525. package/lib/assets/docs/article/grokkingfp/clojure/part-6.md +721 -721
  526. package/lib/assets/docs/article/grokkingfp/csharp/index.md +246 -246
  527. package/lib/assets/docs/article/grokkingfp/csharp/part-1.md +811 -811
  528. package/lib/assets/docs/article/grokkingfp/csharp/part-2.md +971 -971
  529. package/lib/assets/docs/article/grokkingfp/csharp/part-3.md +981 -981
  530. package/lib/assets/docs/article/grokkingfp/csharp/part-4.md +949 -949
  531. package/lib/assets/docs/article/grokkingfp/csharp/part-5.md +947 -947
  532. package/lib/assets/docs/article/grokkingfp/csharp/part-6.md +739 -739
  533. package/lib/assets/docs/article/grokkingfp/elixir/index.md +203 -203
  534. package/lib/assets/docs/article/grokkingfp/elixir/part-1.md +712 -712
  535. package/lib/assets/docs/article/grokkingfp/elixir/part-2.md +838 -838
  536. package/lib/assets/docs/article/grokkingfp/elixir/part-3.md +985 -985
  537. package/lib/assets/docs/article/grokkingfp/elixir/part-4.md +974 -974
  538. package/lib/assets/docs/article/grokkingfp/elixir/part-5.md +1286 -1286
  539. package/lib/assets/docs/article/grokkingfp/elixir/part-6.md +1049 -1049
  540. package/lib/assets/docs/article/grokkingfp/fsharp/index.md +210 -210
  541. package/lib/assets/docs/article/grokkingfp/fsharp/part-1.md +714 -714
  542. package/lib/assets/docs/article/grokkingfp/fsharp/part-2.md +961 -961
  543. package/lib/assets/docs/article/grokkingfp/fsharp/part-3.md +972 -972
  544. package/lib/assets/docs/article/grokkingfp/fsharp/part-4.md +832 -832
  545. package/lib/assets/docs/article/grokkingfp/fsharp/part-5.md +911 -911
  546. package/lib/assets/docs/article/grokkingfp/fsharp/part-6.md +922 -922
  547. package/lib/assets/docs/article/grokkingfp/haskell/index.md +234 -234
  548. package/lib/assets/docs/article/grokkingfp/haskell/part-1.md +591 -591
  549. package/lib/assets/docs/article/grokkingfp/haskell/part-2.md +866 -866
  550. package/lib/assets/docs/article/grokkingfp/haskell/part-3.md +915 -915
  551. package/lib/assets/docs/article/grokkingfp/haskell/part-4.md +878 -878
  552. package/lib/assets/docs/article/grokkingfp/haskell/part-5.md +845 -845
  553. package/lib/assets/docs/article/grokkingfp/haskell/part-6.md +844 -844
  554. package/lib/assets/docs/article/grokkingfp/index.md +143 -143
  555. package/lib/assets/docs/article/grokkingfp/java/index.md +211 -211
  556. package/lib/assets/docs/article/grokkingfp/java/part-1.md +648 -648
  557. package/lib/assets/docs/article/grokkingfp/java/part-2.md +675 -675
  558. package/lib/assets/docs/article/grokkingfp/java/part-3.md +672 -672
  559. package/lib/assets/docs/article/grokkingfp/java/part-4.md +771 -771
  560. package/lib/assets/docs/article/grokkingfp/java/part-5.md +959 -959
  561. package/lib/assets/docs/article/grokkingfp/java/part-6.md +1328 -1328
  562. package/lib/assets/docs/article/grokkingfp/python/index.md +258 -258
  563. package/lib/assets/docs/article/grokkingfp/python/part-1.md +443 -443
  564. package/lib/assets/docs/article/grokkingfp/python/part-2.md +958 -958
  565. package/lib/assets/docs/article/grokkingfp/python/part-3.md +1004 -1004
  566. package/lib/assets/docs/article/grokkingfp/python/part-4.md +765 -765
  567. package/lib/assets/docs/article/grokkingfp/python/part-5.md +747 -747
  568. package/lib/assets/docs/article/grokkingfp/python/part-6.md +861 -861
  569. package/lib/assets/docs/article/grokkingfp/ruby/index.md +330 -330
  570. package/lib/assets/docs/article/grokkingfp/ruby/part-1.md +755 -755
  571. package/lib/assets/docs/article/grokkingfp/ruby/part-2.md +938 -938
  572. package/lib/assets/docs/article/grokkingfp/ruby/part-3.md +946 -946
  573. package/lib/assets/docs/article/grokkingfp/ruby/part-4.md +921 -921
  574. package/lib/assets/docs/article/grokkingfp/ruby/part-5.md +908 -908
  575. package/lib/assets/docs/article/grokkingfp/ruby/part-6.md +1412 -1412
  576. package/lib/assets/docs/article/grokkingfp/rust/index.md +242 -242
  577. package/lib/assets/docs/article/grokkingfp/rust/part-1.md +634 -634
  578. package/lib/assets/docs/article/grokkingfp/rust/part-2.md +1060 -1060
  579. package/lib/assets/docs/article/grokkingfp/rust/part-3.md +994 -994
  580. package/lib/assets/docs/article/grokkingfp/rust/part-4.md +573 -573
  581. package/lib/assets/docs/article/grokkingfp/rust/part-5.md +705 -705
  582. package/lib/assets/docs/article/grokkingfp/rust/part-6.md +508 -508
  583. package/lib/assets/docs/article/grokkingfp/scala/index.md +171 -171
  584. package/lib/assets/docs/article/grokkingfp/scala/part-1.md +543 -543
  585. package/lib/assets/docs/article/grokkingfp/scala/part-2.md +946 -946
  586. package/lib/assets/docs/article/grokkingfp/scala/part-3.md +919 -919
  587. package/lib/assets/docs/article/grokkingfp/scala/part-4.md +742 -742
  588. package/lib/assets/docs/article/grokkingfp/scala/part-5.md +722 -722
  589. package/lib/assets/docs/article/grokkingfp/scala/part-6.md +867 -867
  590. package/lib/assets/docs/article/grokkingfp/typescript/index.md +273 -273
  591. package/lib/assets/docs/article/grokkingfp/typescript/part-1.md +561 -561
  592. package/lib/assets/docs/article/grokkingfp/typescript/part-2.md +1129 -1129
  593. package/lib/assets/docs/article/grokkingfp/typescript/part-3.md +842 -842
  594. package/lib/assets/docs/article/grokkingfp/typescript/part-4.md +1087 -1087
  595. package/lib/assets/docs/article/grokkingfp/typescript/part-5.md +717 -717
  596. package/lib/assets/docs/article/grokkingfp/typescript/part-6.md +982 -982
  597. package/lib/assets/docs/article/index.md +41 -41
  598. package/lib/assets/docs/article/practical-database-design/index.md +121 -121
  599. package/lib/assets/docs/article/practical-database-design/part1/chapter01.md +288 -288
  600. package/lib/assets/docs/article/practical-database-design/part1/chapter02.md +518 -518
  601. package/lib/assets/docs/article/practical-database-design/part1/chapter03.md +557 -557
  602. package/lib/assets/docs/article/practical-database-design/part2/chapter04.md +924 -924
  603. package/lib/assets/docs/article/practical-database-design/part2/chapter05.md +1627 -1627
  604. package/lib/assets/docs/article/practical-database-design/part2/chapter06.md +2716 -2716
  605. package/lib/assets/docs/article/practical-database-design/part2/chapter07.md +2082 -2082
  606. package/lib/assets/docs/article/practical-database-design/part2/chapter08.md +2105 -2105
  607. package/lib/assets/docs/article/practical-database-design/part2/chapter09.md +2031 -2031
  608. package/lib/assets/docs/article/practical-database-design/part2/chapter10.md +1387 -1387
  609. package/lib/assets/docs/article/practical-database-design/part2/chapter11.md +1677 -1677
  610. package/lib/assets/docs/article/practical-database-design/part2/chapter12.md +1417 -1417
  611. package/lib/assets/docs/article/practical-database-design/part2/chapter13.md +1434 -1434
  612. package/lib/assets/docs/article/practical-database-design/part3/chapter14.md +667 -667
  613. package/lib/assets/docs/article/practical-database-design/part3/chapter15.md +1625 -1625
  614. package/lib/assets/docs/article/practical-database-design/part3/chapter16.md +1915 -1915
  615. package/lib/assets/docs/article/practical-database-design/part3/chapter17.md +1708 -1708
  616. package/lib/assets/docs/article/practical-database-design/part3/chapter18.md +2095 -2095
  617. package/lib/assets/docs/article/practical-database-design/part3/chapter19.md +1123 -1123
  618. package/lib/assets/docs/article/practical-database-design/part3/chapter20.md +1031 -1031
  619. package/lib/assets/docs/article/practical-database-design/part3/chapter21.md +1382 -1382
  620. package/lib/assets/docs/article/practical-database-design/part3-orm/chapter14-orm.md +991 -991
  621. package/lib/assets/docs/article/practical-database-design/part3-orm/chapter15-orm.md +1300 -1300
  622. package/lib/assets/docs/article/practical-database-design/part3-orm/chapter16-orm.md +1166 -1166
  623. package/lib/assets/docs/article/practical-database-design/part3-orm/chapter17-orm.md +1584 -1584
  624. package/lib/assets/docs/article/practical-database-design/part3-orm/chapter18-orm.md +1183 -1183
  625. package/lib/assets/docs/article/practical-database-design/part3-orm/chapter19-orm.md +1016 -1016
  626. package/lib/assets/docs/article/practical-database-design/part3-orm/chapter20-orm.md +1753 -1753
  627. package/lib/assets/docs/article/practical-database-design/part3-orm/chapter21-orm.md +1447 -1447
  628. package/lib/assets/docs/article/practical-database-design/part3-orm/chapter22-orm.md +1878 -1878
  629. package/lib/assets/docs/article/practical-database-design/part4/chapter22.md +965 -965
  630. package/lib/assets/docs/article/practical-database-design/part4/chapter23.md +2069 -2069
  631. package/lib/assets/docs/article/practical-database-design/part4/chapter24.md +2439 -2439
  632. package/lib/assets/docs/article/practical-database-design/part4/chapter25.md +3661 -3661
  633. package/lib/assets/docs/article/practical-database-design/part4/chapter26.md +2916 -2916
  634. package/lib/assets/docs/article/practical-database-design/part4/chapter27.md +3105 -3105
  635. package/lib/assets/docs/article/practical-database-design/part4/chapter28.md +2697 -2697
  636. package/lib/assets/docs/article/practical-database-design/part4/chapter29.md +2544 -2544
  637. package/lib/assets/docs/article/practical-database-design/part4/chapter30.md +2180 -2180
  638. package/lib/assets/docs/article/practical-database-design/part4/chapter31.md +1192 -1192
  639. package/lib/assets/docs/article/practical-database-design/part4/chapter32.md +2101 -2101
  640. package/lib/assets/docs/article/practical-database-design/part5/chapter33.md +1032 -1032
  641. package/lib/assets/docs/article/practical-database-design/part5/chapter34.md +1609 -1609
  642. package/lib/assets/docs/article/practical-database-design/part5/chapter35.md +1453 -1453
  643. package/lib/assets/docs/article/practical-database-design/part5/chapter36.md +1292 -1292
  644. package/lib/assets/docs/article/practical-database-design/part5/chapter37.md +1470 -1470
  645. package/lib/assets/docs/article/practical-database-design/part5/chapter38.md +1698 -1698
  646. package/lib/assets/docs/article/practical-database-design/part5/chapter39.md +2334 -2334
  647. package/lib/assets/docs/article/practical-database-design/study/study2-1.md +1693 -1693
  648. package/lib/assets/docs/article/practical-database-design/study/study2-2.md +1347 -1347
  649. package/lib/assets/docs/article/practical-database-design/study/study2-3.md +2044 -2044
  650. package/lib/assets/docs/article/practical-database-design/study/study2-4.md +2229 -2229
  651. package/lib/assets/docs/article/practical-database-design/study/study2-5.md +2418 -2418
  652. package/lib/assets/docs/article/practical-database-design/study/study3-1.md +2205 -2205
  653. package/lib/assets/docs/article/practical-database-design/study/study3-2.md +2221 -2221
  654. package/lib/assets/docs/article/practical-database-design/study/study3-3.md +2253 -2253
  655. package/lib/assets/docs/article/practical-database-design/study/study3-4.md +2106 -2106
  656. package/lib/assets/docs/article/practical-database-design/study/study3-5.md +2507 -2507
  657. package/lib/assets/docs/article/practical-database-design/study/study4-1.md +2587 -2587
  658. package/lib/assets/docs/article/practical-database-design/study/study4-2.md +2075 -2075
  659. package/lib/assets/docs/article/practical-database-design/study/study4-3.md +1805 -1805
  660. package/lib/assets/docs/article/practical-database-design/study/study4-4.md +1895 -1895
  661. package/lib/assets/docs/article/practical-database-design/study/study4-5.md +2878 -2878
  662. package/lib/assets/docs/assets/css/extra.css +29 -29
  663. package/lib/assets/docs/assets/js/extra.js +44 -44
  664. package/lib/assets/docs/design/index.md +44 -44
  665. package/lib/assets/docs/development/index.md +39 -39
  666. package/lib/assets/docs/index.md +33 -33
  667. package/lib/assets/docs/operation/index.md +27 -27
  668. package/lib/assets/docs/reference/CodexCLIMCP/343/202/242/343/203/227/343/203/252/343/202/261/343/203/274/343/202/267/343/203/247/343/203/263/351/226/213/347/231/272/343/203/225/343/203/255/343/203/274.md +546 -546
  669. package/lib/assets/docs/reference/CodexCLIMCP/343/202/265/343/203/274/343/203/220/343/203/274/350/250/255/345/256/232/346/211/213/351/240/206.md +341 -341
  670. package/lib/assets/docs/reference/Java/343/202/242/343/203/227/343/203/252/343/202/261/343/203/274/343/202/267/343/203/247/343/203/263/347/222/260/345/242/203/346/247/213/347/257/211/343/202/254/343/202/244/343/203/211.md +581 -581
  671. package/lib/assets/docs/reference/SonarQube/343/203/255/343/203/274/343/202/253/343/203/253/347/222/260/345/242/203/343/202/273/343/203/203/343/203/210/343/202/242/343/203/203/343/203/227/346/211/213/351/240/206/346/233/270.md +642 -642
  672. package/lib/assets/docs/reference/TypeScript/343/202/242/343/203/227/343/203/252/343/202/261/343/203/274/343/202/267/343/203/247/343/203/263/347/222/260/345/242/203/346/247/213/347/257/211/343/202/254/343/202/244/343/203/211.md +465 -465
  673. package/lib/assets/docs/reference/UI/350/250/255/350/250/210/343/202/254/343/202/244/343/203/211.md +450 -450
  674. package/lib/assets/docs/reference/images/Ansoff.drawio.svg +3 -3
  675. package/lib/assets/docs/reference/images/BMC.drawio.svg +3 -3
  676. package/lib/assets/docs/reference/images/BrandBasicStrategy.drawio.svg +3 -3
  677. package/lib/assets/docs/reference/images/BrandCategorization.drawio.svg +3 -3
  678. package/lib/assets/docs/reference/images/BrandRecurutementStrategy.drawio.svg +3 -3
  679. package/lib/assets/docs/reference/images/BrandValue.drawio.svg +3 -3
  680. package/lib/assets/docs/reference/images/BusinessActivitiy.svg +3 -3
  681. package/lib/assets/docs/reference/images/HRM.drawio.svg +3 -3
  682. package/lib/assets/docs/reference/images/MarketingStructure.drawio.svg +3 -3
  683. package/lib/assets/docs/reference/images/OrganizationElemnts.svg +3 -3
  684. package/lib/assets/docs/reference/images/PPM.drawio.svg +3 -3
  685. package/lib/assets/docs/reference/images/PositioningMap.drawio.svg +3 -3
  686. package/lib/assets/docs/reference/images/ProductLayer.drawio.svg +3 -3
  687. package/lib/assets/docs/reference/images/ProductMix.drawio.svg +3 -3
  688. package/lib/assets/docs/reference/images/SWOT.drawio.svg +3 -3
  689. package/lib/assets/docs/reference/images/TargetMarket.drawio.svg +3 -3
  690. package/lib/assets/docs/reference/images/ThreeGenericStrategies.drawio.svg +3 -3
  691. package/lib/assets/docs/reference/images/VRIO.drawio.svg +3 -3
  692. package/lib/assets/docs/reference/images/ValueChain.drawio.svg +3 -3
  693. package/lib/assets/docs/reference/index.md +53 -53
  694. package/lib/assets/docs/reference//343/202/210/343/201/204/343/202/275/343/203/225/343/203/210/343/202/246/343/202/247/343/202/242/343/201/250/343/201/257.md +250 -250
  695. package/lib/assets/docs/reference//343/202/242/343/203/274/343/202/255/343/203/206/343/202/257/343/203/201/343/203/243/350/250/255/350/250/210/343/202/254/343/202/244/343/203/211.md +2216 -2216
  696. package/lib/assets/docs/reference//343/202/244/343/203/263/343/203/225/343/203/251/350/250/255/350/250/210/343/202/254/343/202/244/343/203/211.md +1878 -1878
  697. package/lib/assets/docs/reference//343/202/250/343/202/257/343/202/271/343/203/210/343/203/252/343/203/274/343/203/240/343/203/227/343/203/255/343/202/260/343/203/251/343/203/237/343/203/263/343/202/260.md +550 -550
  698. package/lib/assets/docs/reference//343/202/263/343/203/274/343/203/207/343/202/243/343/203/263/343/202/260/343/201/250/343/203/206/343/202/271/343/203/210/343/202/254/343/202/244/343/203/211.md +705 -705
  699. package/lib/assets/docs/reference//343/203/206/343/202/271/343/203/210/346/210/246/347/225/245/343/202/254/343/202/244/343/203/211.md +1313 -1313
  700. package/lib/assets/docs/reference//343/203/207/343/203/274/343/202/277/343/203/242/343/203/207/343/203/253/350/250/255/350/250/210/343/202/254/343/202/244/343/203/211.md +311 -311
  701. package/lib/assets/docs/reference//343/203/211/343/203/241/343/202/244/343/203/263/343/203/242/343/203/207/343/203/253/350/250/255/350/250/210/343/202/254/343/202/244/343/203/211.md +599 -599
  702. package/lib/assets/docs/reference//343/203/223/343/202/270/343/203/215/343/202/271/343/202/242/343/203/274/343/202/255/343/203/206/343/202/257/343/203/201/343/203/243/345/210/206/346/236/220/343/202/254/343/202/244/343/203/211.md +528 -528
  703. package/lib/assets/docs/reference//343/203/246/343/203/274/343/202/271/343/202/261/343/203/274/343/202/271/344/275/234/346/210/220/343/202/254/343/202/244/343/203/211.md +689 -689
  704. package/lib/assets/docs/reference//343/203/252/343/203/252/343/203/274/343/202/271/343/202/254/343/202/244/343/203/211.md +461 -461
  705. package/lib/assets/docs/reference//343/203/252/343/203/252/343/203/274/343/202/271/343/203/273/343/202/244/343/203/206/343/203/254/343/203/274/343/202/267/343/203/247/343/203/263/350/250/210/347/224/273/343/202/254/343/202/244/343/203/211.md +580 -580
  706. package/lib/assets/docs/reference//343/203/255/343/202/270/343/202/253/343/203/253/343/202/267/343/203/263/343/202/255/343/203/263/343/202/260.md +1367 -1367
  707. package/lib/assets/docs/reference//344/274/201/346/245/255/347/265/214/345/226/266/350/253/226.md +2637 -2637
  708. package/lib/assets/docs/reference//347/222/260/345/242/203/345/244/211/346/225/260/347/256/241/347/220/206/343/202/254/343/202/244/343/203/211.md +665 -665
  709. package/lib/assets/docs/reference//347/265/214/345/226/266/346/210/246/347/225/245/345/210/206/346/236/220/343/202/254/343/202/244/343/203/211.md +566 -566
  710. package/lib/assets/docs/reference//350/246/201/344/273/266/345/256/232/347/276/251/343/202/254/343/202/244/343/203/211.md +1248 -1248
  711. package/lib/assets/docs/reference//350/250/200/350/252/236/345/210/245/351/226/213/347/231/272/343/202/254/343/202/244/343/203/211.md +518 -518
  712. package/lib/assets/docs/reference//351/201/213/345/226/266/347/256/241/347/220/206.md +1482 -1482
  713. package/lib/assets/docs/reference//351/201/213/347/224/250/343/202/271/343/202/257/343/203/252/343/203/227/343/203/210/344/275/234/346/210/220/343/202/254/343/202/244/343/203/211.md +421 -421
  714. package/lib/assets/docs/reference//351/201/213/347/224/250/350/246/201/344/273/266/345/256/232/347/276/251/343/202/254/343/202/244/343/203/211.md +392 -392
  715. package/lib/assets/docs/reference//351/226/213/347/231/272/343/202/254/343/202/244/343/203/211.md +305 -305
  716. package/lib/assets/docs/reference//351/235/236/346/251/237/350/203/275/350/246/201/344/273/266/345/256/232/347/276/251/343/202/254/343/202/244/343/203/211.md +1236 -1236
  717. package/lib/assets/docs/requirements/index.md +17 -17
  718. package/lib/assets/docs/review/index.md +5 -5
  719. package/lib/assets/docs/strategy/index.md +17 -17
  720. package/lib/assets/docs/template/ADR.md +30 -30
  721. package/lib/assets/docs/template/AWS/343/202/271/343/203/206/343/203/274/343/202/270/343/203/263/343/202/260/347/222/260/345/242/203/343/202/273/343/203/203/343/203/210/343/202/242/343/203/203/343/203/227/346/211/213/351/240/206/346/233/270.md +1366 -1366
  722. package/lib/assets/docs/template/AWS/343/203/227/343/203/255/343/203/200/343/202/257/343/202/267/343/203/247/343/203/263/347/222/260/345/242/203/343/202/273/343/203/203/343/203/210/343/202/242/343/203/203/343/203/227/346/211/213/351/240/206/346/233/270.md +634 -634
  723. package/lib/assets/docs/template/README.md +50 -50
  724. package/lib/assets/docs/template/index.md +24 -24
  725. package/lib/assets/docs/template//343/201/276/343/201/232/343/201/223/343/202/214/343/202/222/350/252/255/343/202/202/343/201/206/343/203/252/343/202/271/343/203/210.md +12 -12
  726. package/lib/assets/docs/template//343/202/242/343/203/227/343/203/252/343/202/261/343/203/274/343/202/267/343/203/247/343/203/263/351/226/213/347/231/272/347/222/260/345/242/203/343/202/273/343/203/203/343/203/210/343/202/242/343/203/203/343/203/227/346/211/213/351/240/206/346/233/270.md +547 -547
  727. package/lib/assets/docs/template//343/202/244/343/203/206/343/203/254/343/203/274/343/202/267/343/203/247/343/203/263/345/256/214/344/272/206/345/240/261/345/221/212/346/233/270.md +58 -58
  728. package/lib/assets/docs/template//343/202/244/343/203/206/343/203/254/343/203/274/343/202/267/343/203/247/343/203/263/350/250/210/347/224/273.md +327 -327
  729. package/lib/assets/docs/template//343/202/244/343/203/263/343/202/273/343/203/227/343/202/267/343/203/247/343/203/263/343/203/207/343/203/203/343/202/255.md +13 -13
  730. package/lib/assets/docs/template//343/203/223/343/202/270/343/203/215/343/202/271/343/202/242/343/203/274/343/202/255/343/203/206/343/202/257/343/203/201/343/203/243.md +379 -379
  731. package/lib/assets/docs/template//343/203/252/343/203/252/343/203/274/343/202/271/345/256/214/344/272/206/345/240/261/345/221/212/346/233/270.md +275 -275
  732. package/lib/assets/docs/template//344/272/213/344/276/213/345/210/206/346/236/220.md +513 -513
  733. package/lib/assets/docs/template//344/274/201/346/245/255/345/210/206/346/236/220.md +573 -573
  734. package/lib/assets/docs/template//345/256/214/345/205/250/345/275/242/345/274/217/343/201/256/343/203/246/343/203/274/343/202/271/343/202/261/343/203/274/343/202/271.md +69 -69
  735. package/lib/assets/docs/template//350/246/201/344/273/266/345/256/232/347/276/251.md +669 -669
  736. package/lib/assets/docs/template//350/250/255/350/250/210.md +173 -173
  737. package/lib/assets/docs/template//351/226/213/347/231/272/347/222/260/345/242/203/343/202/273/343/203/203/343/203/210/343/202/242/343/203/203/343/203/227/346/211/213/351/240/206/346/233/270.md +688 -688
  738. package/lib/assets/gulpfile.js +27 -25
  739. package/lib/assets/mkdocs.yml +139 -139
  740. package/lib/assets/ops/docker/mkdoc/Dockerfile +19 -19
  741. package/lib/assets/ops/docker/sonarqube-local/docker-compose.yml +57 -57
  742. package/lib/assets/ops/scripts/journal.js +180 -180
  743. package/lib/assets/ops/scripts/manual.js +198 -0
  744. package/lib/assets/ops/scripts/mkdocs.js +82 -82
  745. package/lib/assets/ops/scripts/release.js +431 -431
  746. package/lib/assets/ops/scripts/sonar_local.js +726 -726
  747. package/lib/assets/ops/scripts/ssh.js +190 -190
  748. package/lib/assets/ops/scripts/vault.js +299 -299
  749. package/lib/assets/package-lock.json +1673 -1653
  750. package/lib/assets/package.json +43 -40
  751. package/lib/gulpfile.js +37 -37
  752. package/package.json +41 -41
@@ -1,926 +1,926 @@
1
- # Part IV - 第 9 章:ストリーム処理
2
-
3
- ## 9.1 はじめに:遅延評価と無限のデータ
4
-
5
- リスト(配列)は全要素をメモリに保持する有限のデータ構造です。しかし、現実のプログラムでは「無限に続くデータ」を扱う場面があります:
6
-
7
- - センサーからのリアルタイムデータ
8
- - 為替レートの連続的な変動
9
- - サイコロを何度も振る試行
10
- - ログイベントの継続的な流れ
11
-
12
- **ストリーム**は、遅延評価により「必要な時に必要な分だけ」要素を生成するデータ構造です。本章では、11 言語でのストリーム処理を横断的に比較し、以下を明らかにします:
13
-
14
- - ストリームの実現方式の違い(言語組み込み遅延評価 vs ライブラリ vs ジェネレータ)
15
- - 無限ストリームの生成パターン(repeat / iterate / unfold / cycle)
16
- - スライディングウィンドウによるトレンド検出の実装差異
17
-
18
- ```plantuml
19
- @startuml
20
- !theme plain
21
-
22
- rectangle "List vs Stream" {
23
- rectangle "List" as list {
24
- card "全要素がメモリに存在"
25
- card "有限"
26
- card "即座に評価(正格)"
27
- }
28
-
29
- rectangle "Stream" as stream {
30
- card "必要な時に要素を生成"
31
- card "無限も可能"
32
- card "遅延評価"
33
- }
34
- }
35
-
36
- note bottom of stream
37
- take(n) で有限個を取得
38
- filter / map で変換
39
- sliding(n) でウィンドウ分割
40
- end note
41
-
42
- @enduml
43
- ```
44
-
45
- ---
46
-
47
- ## 9.2 共通の本質:遅延評価による無限シーケンス
48
-
49
- 11 言語すべてに共通するストリームの原則は、**遅延評価によって無限のデータを有限のメモリで扱う**ことです:
50
-
51
- 1. **遅延生成**: 要素は要求されるまで生成されない
52
- 2. **変換の連鎖**: map / filter をストリームに適用しても即座に全要素を処理しない
53
- 3. **実体化**: take / toList / collect で必要な分だけ取り出す
54
-
55
- 3 つの言語グループから代表例を見てみましょう:
56
-
57
- ```haskell
58
- -- Haskell: リストがデフォルトで遅延評価
59
- naturals :: [Integer]
60
- naturals = [1..]
61
-
62
- take 5 naturals -- [1, 2, 3, 4, 5]
63
-
64
- -- フィボナッチ数列(自己参照的定義)
65
- fibs :: [Integer]
66
- fibs = 0 : 1 : zipWith (+) fibs (tail fibs)
67
-
68
- take 10 fibs -- [0, 1, 1, 2, 3, 5, 8, 13, 21, 34]
69
- ```
70
-
71
- ```scala
72
- // Scala: fs2 Stream ライブラリ
73
- import fs2.{Pure, Stream}
74
-
75
- val infinite123s: Stream[Pure, Int] = Stream(1, 2, 3).repeat
76
- infinite123s.take(8).toList // List(1, 2, 3, 1, 2, 3, 1, 2)
77
-
78
- // IO を含む無限ストリーム
79
- val infiniteDieCasts: Stream[IO, Int] = Stream.eval(castTheDie()).repeat
80
- infiniteDieCasts.take(3).compile.toList.unsafeRunSync() // List(4, 2, 6)
81
- ```
82
-
83
- ```python
84
- # Python: ジェネレータで遅延評価
85
- from itertools import count, islice
86
-
87
- def cycle_stream(items):
88
- while True:
89
- yield from items
90
-
91
- list(islice(cycle_stream([1, 2, 3]), 8)) # [1, 2, 3, 1, 2, 3, 1, 2]
92
- ```
93
-
94
- ---
95
-
96
- ## 9.3 ストリームの実現方式
97
-
98
- ### アプローチ 1: 言語組み込みの遅延評価
99
-
100
- | 言語 | ストリーム型 | 特徴 |
101
- |------|-----------|------|
102
- | **Haskell** | `[a]`(リスト自体が遅延) | デフォルト遅延評価、特別な型不要 |
103
- | **Clojure** | `lazy-seq` / `range` 等 | 遅延シーケンスが標準 |
104
-
105
- ### アプローチ 2: ストリームライブラリ
106
-
107
- | 言語 | ライブラリ | ストリーム型 | IO 統合 |
108
- |------|-----------|-----------|--------|
109
- | **Scala** | fs2 | `Stream[F, A]` | `Stream[IO, A]` で IO とストリームを統合 |
110
- | **Rust** | futures | `Stream<Item = T>` | `then` / `buffered` で非同期処理 |
111
-
112
- ### アプローチ 3: 言語の遅延評価プリミティブ
113
-
114
- | 言語 | プリミティブ | 構文 |
115
- |------|-----------|------|
116
- | **F#** | `seq { }` | `Seq.take`, `Seq.windowed` |
117
- | **C#** | `IEnumerable<T>` | `yield return`, LINQ |
118
- | **Elixir** | `Stream` モジュール | `Stream.cycle`, `Stream.unfold` |
119
-
120
- ### アプローチ 4: ジェネレータ / カスタム実装
121
-
122
- | 言語 | プリミティブ | 構文 |
123
- |------|-----------|------|
124
- | **Python** | `Generator` | `yield` / `yield from` |
125
- | **TypeScript** | `Generator` | `function*` / `yield` |
126
- | **Java** | カスタム `LazyStream` | `Supplier<Option<Cons<A>>>` |
127
- | **Ruby** | `Enumerator::Lazy` | `Enumerator.new` + `loop` |
128
-
129
- ---
130
-
131
- ## 9.4 無限ストリームの生成パターン
132
-
133
- ### 4 つの基本パターン
134
-
135
- | パターン | 説明 | 例 |
136
- |---------|------|-----|
137
- | **repeat** | 同じ値(列)を無限に繰り返す | `[1,2,3,1,2,3,...]` |
138
- | **iterate** | 関数を繰り返し適用 | `[1,2,4,8,16,...]` |
139
- | **unfold** | 状態から次の要素と新しい状態を生成 | フィボナッチ数列 |
140
- | **generate** | 副作用のある関数を繰り返し呼ぶ | サイコロを振り続ける |
141
-
142
- ### 全 11 言語の生成関数比較
143
-
144
- | パターン | Haskell | Scala | Rust | F# | C# | TypeScript | Python | Java | Ruby | Clojure | Elixir |
145
- |---------|---------|-------|------|-----|-----|-----------|--------|------|------|---------|--------|
146
- | **repeat** | `repeat x` | `.repeat` | `stream::repeat` | `seq { while true }` | `yield return` loop | `while(true) yield` | `while True: yield` | カスタム | `Enumerator` + `loop` | `(repeat x)` | `Stream.cycle` |
147
- | **iterate** | `iterate f x` | — | `stream::unfold` | `Seq.unfold` | カスタム | `function*` | `count` / カスタム | カスタム | `iterate` メソッド | `(iterate f x)` | `Stream.iterate` |
148
- | **unfold** | `unfoldr f s` | `Stream.unfold` | `stream::unfold` | `Seq.unfold` | カスタム | `function*` | `function*` | カスタム | `Enumerator.new` | `lazy-seq` | `Stream.unfold` |
149
- | **generate** | `sequence (repeat io)` | `Stream.eval(io).repeat` | `stream::repeat_with` | `seq { yield f() }` | `yield return f()` | `function*` | `while True: yield f()` | カスタム | `IOStream.repeat_eval` | `(repeatedly f)` | `Stream.repeatedly` |
150
-
151
- ### 代表例:フィボナッチ数列
152
-
153
- **Haskell**: 自己参照的定義(遅延評価の力)
154
-
155
- ```haskell
156
- fibs :: [Integer]
157
- fibs = 0 : 1 : zipWith (+) fibs (tail fibs)
158
-
159
- take 10 fibs -- [0, 1, 1, 2, 3, 5, 8, 13, 21, 34]
160
- ```
161
-
162
- **Rust**: `stream::unfold` で状態遷移
163
-
164
- ```rust
165
- pub fn fibonacci_stream() -> impl Stream<Item = u64> {
166
- stream::unfold((0u64, 1u64), |(a, b)| async move {
167
- Some((a, (b, a + b)))
168
- })
169
- }
170
- ```
171
-
172
- **TypeScript**: ジェネレータ関数
173
-
174
- ```typescript
175
- function* fibonacci(): LazyList<number> {
176
- let [a, b] = [0, 1]
177
- while (true) {
178
- yield a
179
- ;[a, b] = [b, a + b]
180
- }
181
- }
182
- ```
183
-
184
- ### 全 11 言語のフィボナッチ実装
185
-
186
- <details>
187
- <summary>関数型ファースト言語</summary>
188
-
189
- **Haskell**:
190
- ```haskell
191
- fibs :: [Integer]
192
- fibs = 0 : 1 : zipWith (+) fibs (tail fibs)
193
- ```
194
-
195
- **Clojure**:
196
- ```clojure
197
- (def fibs
198
- ((fn fib [a b]
199
- (lazy-seq (cons a (fib b (+ a b)))))
200
- 0 1))
201
-
202
- (take 10 fibs) ; => (0 1 1 2 3 5 8 13 21 34)
203
- ```
204
-
205
- **Elixir**:
206
- ```elixir
207
- def fibonacci do
208
- Stream.unfold({0, 1}, fn {a, b} -> {a, {b, a + b}} end)
209
- end
210
-
211
- fibonacci() |> Enum.take(10) # [0, 1, 1, 2, 3, 5, 8, 13, 21, 34]
212
- ```
213
-
214
- **F#**:
215
- ```fsharp
216
- let fibonacci =
217
- Seq.unfold (fun (a, b) -> Some(a, (b, a + b))) (0, 1)
218
-
219
- fibonacci |> Seq.take 10 |> Seq.toList
220
- // [0; 1; 1; 2; 3; 5; 8; 13; 21; 34]
221
- ```
222
-
223
- </details>
224
-
225
- <details>
226
- <summary>マルチパラダイム言語</summary>
227
-
228
- **Scala**:
229
- ```scala
230
- val fibonacci: Stream[Pure, Long] =
231
- Stream.unfold((0L, 1L)) { case (a, b) => Some((a, (b, a + b))) }
232
-
233
- fibonacci.take(10).toList // List(0, 1, 1, 2, 3, 5, 8, 13, 21, 34)
234
- ```
235
-
236
- **Rust**:
237
- ```rust
238
- pub fn fibonacci_stream() -> impl Stream<Item = u64> {
239
- stream::unfold((0u64, 1u64), |(a, b)| async move {
240
- Some((a, (b, a + b)))
241
- })
242
- }
243
- ```
244
-
245
- **TypeScript**:
246
- ```typescript
247
- function* fibonacci(): LazyList<number> {
248
- let [a, b] = [0, 1]
249
- while (true) {
250
- yield a
251
- ;[a, b] = [b, a + b]
252
- }
253
- }
254
- ```
255
-
256
- </details>
257
-
258
- <details>
259
- <summary>OOP + FP ライブラリ言語</summary>
260
-
261
- **Java**:
262
- ```java
263
- public static LazyStream<Long> fibonacci() {
264
- return LazyStream.unfold(
265
- new long[]{0, 1},
266
- state -> Option.some(new Tuple2<>(state[0], new long[]{state[1], state[0] + state[1]}))
267
- );
268
- }
269
- ```
270
-
271
- **C#**:
272
- ```csharp
273
- public static IEnumerable<long> Fibonacci()
274
- {
275
- long a = 0, b = 1;
276
- while (true)
277
- {
278
- yield return a;
279
- (a, b) = (b, a + b);
280
- }
281
- }
282
- ```
283
-
284
- **Python**:
285
- ```python
286
- def fibonacci():
287
- a, b = 0, 1
288
- while True:
289
- yield a
290
- a, b = b, a + b
291
- ```
292
-
293
- **Ruby**:
294
- ```ruby
295
- def fibonacci
296
- Enumerator.new do |yielder|
297
- a, b = 0, 1
298
- loop do
299
- yielder << a
300
- a, b = b, a + b
301
- end
302
- end.lazy
303
- end
304
- ```
305
-
306
- </details>
307
-
308
- ---
309
-
310
- ## 9.5 ストリーム操作の比較
311
-
312
- ### 主要操作の語彙比較
313
-
314
- | 操作 | Haskell | Scala (fs2) | Rust | F# | C# | TypeScript | Python | Clojure | Elixir | Java | Ruby |
315
- |------|---------|-------------|------|-----|-----|-----------|--------|---------|--------|------|------|
316
- | 先頭 n 個 | `take n` | `.take(n)` | `.take(n)` | `Seq.take n` | `.Take(n)` | `take(s, n)` | `islice(s, n)` | `(take n s)` | `Enum.take(s, n)` | `.take(n)` | `.take(n)` |
317
- | フィルタ | `filter p` | `.filter(p)` | `.filter(p)` | `Seq.filter p` | `.Where(p)` | `filterStream` | `filter` | `(filter p s)` | `Stream.filter(s, p)` | `.filter(p)` | `.filter(p)` |
318
- | 変換 | `map f` | `.map(f)` | `.map(f)` | `Seq.map f` | `.Select(f)` | `mapStream` | `map(f, s)` | `(map f s)` | `Stream.map(s, f)` | `.map(f)` | `.fmap(f)` |
319
- | 結合 | `++` | `.append(s)` | `.chain(s)` | `Seq.append` | `.Concat(s)` | `append` | `chain` | `(concat s1 s2)` | `Stream.concat` | `.append(s)` | `.append(s)` |
320
- | ウィンドウ | `sliding n` | `.sliding(n)` | `.chunks(n)` | `Seq.windowed n` | `Sliding(n)` | `sliding` | `stream_sliding` | `(partition n 1)` | `Stream.chunk_every` | `.sliding(n)` | `.sliding(n)` |
321
- | zip | `zip` | `.zip(s)` | `.zip(s)` | `Seq.zip` | `.Zip(s)` | `zipStream` | `zip` | `(map vector s1 s2)` | `Stream.zip(s1, s2)` | `.zip(s)` | `.zip(s)` |
322
- | 畳み込み | `foldl` | `.fold` | `.fold` | `Seq.fold` | `.Aggregate` | `reduce` | `reduce` | `(reduce f s)` | `Enum.reduce` | `.fold` | `.reduce` |
323
-
324
- ---
325
-
326
- ## 9.6 スライディングウィンドウとトレンド検出
327
-
328
- すべての言語で共通する実践的なパターンとして、為替レートの上昇トレンドを検出する例を比較します。
329
-
330
- ### パターンの構造
331
-
332
- ```plantuml
333
- @startuml
334
- !theme plain
335
-
336
- rectangle "トレンド検出パイプライン" {
337
- card "レートストリーム\n[0.81, 0.82, 0.85, 0.83, ...]" as rates
338
- card "sliding(3)\n[[0.81, 0.82, 0.85],\n [0.82, 0.85, 0.83], ...]" as sliding
339
- card "filter(trending)\n[[0.81, 0.82, 0.85]]" as filter
340
- card "map(_.last)\n[0.85]" as extract
341
- card "take(1)\n0.85" as take
342
-
343
- rates --> sliding
344
- sliding --> filter
345
- filter --> extract
346
- extract --> take
347
- }
348
-
349
- @enduml
350
- ```
351
-
352
- ### トレンド判定関数の比較
353
-
354
- **Haskell**:
355
-
356
- ```haskell
357
- trending :: Ord a => [a] -> Bool
358
- trending xs =
359
- length xs > 1 &&
360
- all (uncurry (<)) (zip xs (tail xs))
361
- ```
362
-
363
- **Scala**:
364
-
365
- ```scala
366
- def trending(rates: List[BigDecimal]): Boolean =
367
- rates.size > 1 &&
368
- rates.zip(rates.drop(1)).forall {
369
- case (prev, rate) => rate > prev
370
- }
371
- ```
372
-
373
- **Rust**:
374
-
375
- ```rust
376
- pub fn trending(rates: &[f64]) -> bool {
377
- rates.len() > 1 &&
378
- rates.windows(2).all(|w| w[1] > w[0])
379
- }
380
- ```
381
-
382
- ### 全 11 言語の実装
383
-
384
- #### 関数型ファースト言語
385
-
386
- <details>
387
- <summary>Haskell 実装</summary>
388
-
389
- ```haskell
390
- -- スライディングウィンドウ
391
- sliding :: Int -> [a] -> [[a]]
392
- sliding n xs
393
- | length window < n = []
394
- | otherwise = window : sliding n (tail xs)
395
- where window = take n xs
396
-
397
- -- トレンド判定
398
- trending :: Ord a => [a] -> Bool
399
- trending xs =
400
- length xs > 1 &&
401
- all (uncurry (<)) (zip xs (tail xs))
402
-
403
- -- トレンド検出パイプライン
404
- findTrending :: Ord a => Int -> [a] -> [[a]]
405
- findTrending windowSize =
406
- filter trending . sliding windowSize
407
- ```
408
-
409
- Haskell ではリストが遅延評価されるため、無限のレートストリームに対しても `findTrending` をそのまま適用できます。
410
-
411
- </details>
412
-
413
- <details>
414
- <summary>Clojure 実装</summary>
415
-
416
- ```clojure
417
- ;; スライディングウィンドウ
418
- (defn sliding-window [n coll]
419
- (partition n 1 coll))
420
-
421
- ;; トレンド判定
422
- (defn trending? [rates]
423
- (and (> (count rates) 1)
424
- (every? (fn [[prev curr]] (< prev curr))
425
- (partition 2 1 rates))))
426
-
427
- ;; トレンド検出
428
- (defn find-trending [window-size stream]
429
- (->> stream
430
- (sliding-window window-size)
431
- (filter trending?)))
432
- ```
433
-
434
- Clojure の `partition` はステップ付きで呼ぶとスライディングウィンドウになります。
435
-
436
- </details>
437
-
438
- <details>
439
- <summary>Elixir 実装</summary>
440
-
441
- ```elixir
442
- def trending?(rates) do
443
- length(rates) > 1 &&
444
- rates
445
- |> Enum.chunk_every(2, 1, :discard)
446
- |> Enum.all?(fn [prev, curr] -> curr > prev end)
447
- end
448
-
449
- # ストリームパイプライン
450
- def find_trending(rates_stream, window_size) do
451
- rates_stream
452
- |> Stream.chunk_every(window_size, 1, :discard)
453
- |> Stream.filter(&trending?/1)
454
- end
455
- ```
456
-
457
- Elixir の `Stream.chunk_every/4` はステップ引数でスライディングウィンドウを実現します。
458
-
459
- </details>
460
-
461
- <details>
462
- <summary>F# 実装</summary>
463
-
464
- ```fsharp
465
- let trending (rates: float list) =
466
- rates.Length > 1 &&
467
- List.pairwise rates |> List.forall (fun (prev, curr) -> curr > prev)
468
-
469
- // ストリームパイプライン
470
- let findTrending windowSize (rates: float seq) =
471
- rates
472
- |> Seq.windowed windowSize
473
- |> Seq.filter (fun window -> trending (Array.toList window))
474
- ```
475
-
476
- F# の `Seq.windowed` はスライディングウィンドウを直接サポートしています。
477
-
478
- </details>
479
-
480
- #### マルチパラダイム言語
481
-
482
- <details>
483
- <summary>Scala 実装</summary>
484
-
485
- ```scala
486
- def trending(rates: List[BigDecimal]): Boolean =
487
- rates.size > 1 &&
488
- rates.zip(rates.drop(1)).forall { case (prev, rate) => rate > prev }
489
-
490
- // fs2 ストリームパイプライン
491
- def exchangeIfTrending(
492
- amount: BigDecimal,
493
- from: Currency,
494
- to: Currency
495
- ): IO[BigDecimal] =
496
- rates(from, to)
497
- .sliding(3)
498
- .map(_.toList)
499
- .filter(trending)
500
- .map(_.last)
501
- .take(1)
502
- .compile
503
- .lastOrError
504
- .map(_ * amount)
505
- ```
506
-
507
- Scala の fs2 は `sliding` を標準で提供し、IO ストリームとシームレスに統合されます。
508
-
509
- </details>
510
-
511
- <details>
512
- <summary>Rust 実装</summary>
513
-
514
- ```rust
515
- pub fn trending(rates: &[f64]) -> bool {
516
- rates.len() > 1 && rates.windows(2).all(|w| w[1] > w[0])
517
- }
518
-
519
- // 移動平均ストリーム
520
- pub fn moving_average<S>(stream: S, window_size: usize) -> impl Stream<Item = f64>
521
- where
522
- S: Stream<Item = f64> + Send + 'static,
523
- {
524
- stream::unfold(
525
- (stream.boxed(), Vec::new(), window_size),
526
- |(mut stream, mut window, size)| async move {
527
- match stream.next().await {
528
- Some(value) => {
529
- window.push(value);
530
- if window.len() > size { window.remove(0); }
531
- let avg = window.iter().sum::<f64>() / window.len() as f64;
532
- Some((avg, (stream, window, size)))
533
- }
534
- None => None,
535
- }
536
- },
537
- )
538
- }
539
- ```
540
-
541
- Rust の標準ライブラリには `windows` メソッドがスライスに対して存在しますが、`futures::Stream` でのスライディングウィンドウは `unfold` で自前実装が必要です。
542
-
543
- </details>
544
-
545
- <details>
546
- <summary>TypeScript 実装</summary>
547
-
548
- ```typescript
549
- const trending = (rates: readonly number[]): boolean => {
550
- if (rates.length <= 1) return false
551
- return rates.slice(0, -1).every((prev, i) => rates[i + 1] > prev)
552
- }
553
-
554
- function* sliding<A>(gen: LazyList<A>, windowSize: number): LazyList<readonly A[]> {
555
- const buffer: A[] = []
556
- for (const item of gen) {
557
- buffer.push(item)
558
- if (buffer.length === windowSize) {
559
- yield [...buffer]
560
- buffer.shift()
561
- }
562
- }
563
- }
564
- ```
565
-
566
- </details>
567
-
568
- #### OOP + FP ライブラリ言語
569
-
570
- <details>
571
- <summary>Java 実装</summary>
572
-
573
- ```java
574
- public static boolean trending(List<BigDecimal> rates) {
575
- return rates.size() > 1 &&
576
- rates.zip(rates.drop(1))
577
- .forAll(t -> t._2.compareTo(t._1) > 0);
578
- }
579
-
580
- // LazyStream でスライディングウィンドウ
581
- public LazyStream<List<A>> sliding(int size) {
582
- return LazyStream.unfold(this, stream -> {
583
- List<A> window = stream.take(size).toList();
584
- return window.size() == size
585
- ? Option.some(new Tuple2<>(window, stream.drop(1)))
586
- : Option.none();
587
- });
588
- }
589
- ```
590
-
591
- </details>
592
-
593
- <details>
594
- <summary>C# 実装</summary>
595
-
596
- ```csharp
597
- public static bool Trending(IEnumerable<decimal> rates)
598
- {
599
- var list = rates.ToList();
600
- return list.Count > 1 &&
601
- list.Zip(list.Skip(1), (prev, curr) => curr > prev).All(x => x);
602
- }
603
-
604
- // スライディングウィンドウ
605
- public static IEnumerable<IReadOnlyList<T>> Sliding<T>(
606
- this IEnumerable<T> source, int windowSize)
607
- {
608
- var window = new Queue<T>();
609
- foreach (var item in source)
610
- {
611
- window.Enqueue(item);
612
- if (window.Count == windowSize)
613
- {
614
- yield return window.ToList();
615
- window.Dequeue();
616
- }
617
- }
618
- }
619
- ```
620
-
621
- </details>
622
-
623
- <details>
624
- <summary>Python 実装</summary>
625
-
626
- ```python
627
- from collections import deque
628
-
629
- def trending(rates: list[float]) -> bool:
630
- return len(rates) > 1 and all(
631
- curr > prev for prev, curr in zip(rates, rates[1:])
632
- )
633
-
634
- def stream_sliding(stream, window_size):
635
- window = deque(maxlen=window_size)
636
- for item in stream:
637
- window.append(item)
638
- if len(window) == window_size:
639
- yield list(window)
640
- ```
641
-
642
- </details>
643
-
644
- <details>
645
- <summary>Ruby 実装</summary>
646
-
647
- ```ruby
648
- def trending?(rates)
649
- return false if rates.size <= 1
650
- rates.each_cons(2).all? { |prev, curr| curr > prev }
651
- end
652
-
653
- # LazyStream のスライディングウィンドウ
654
- def sliding(n)
655
- LazyStream.new(
656
- Enumerator.new do |yielder|
657
- buffer = []
658
- @enumerator.each do |item|
659
- buffer << item
660
- if buffer.size == n
661
- yielder << buffer.dup
662
- buffer.shift
663
- end
664
- end
665
- end
666
- )
667
- end
668
- ```
669
-
670
- </details>
671
-
672
- ---
673
-
674
- ## 9.7 IO ストリーム:副作用とストリームの統合
675
-
676
- 前章の IO モナドとストリームを組み合わせると、「副作用を持つ無限ストリーム」を安全に扱えます。
677
-
678
- ### 代表 3 言語の比較
679
-
680
- **Scala** (fs2): `Stream[IO, A]` で IO とストリームを型レベルで統合
681
-
682
- ```scala
683
- // IO を含む無限ストリーム
684
- val infiniteDieCasts: Stream[IO, Int] = Stream.eval(castTheDie()).repeat
685
-
686
- // 最初の 3 回を取得
687
- infiniteDieCasts.take(3).compile.toList.unsafeRunSync() // List(4, 2, 6)
688
-
689
- // 6 が出るまで振り続ける
690
- infiniteDieCasts.filter(_ == 6).take(1).compile.toList.unsafeRunSync() // List(6)
691
-
692
- // レートストリーム + 時間制御
693
- val ratesWithDelay = rates(from, to).zipLeft(Stream.fixedRate[IO](1.second))
694
- ```
695
-
696
- **Elixir**: `Stream.repeatedly` + パイプライン
697
-
698
- ```elixir
699
- # 無限にサイコロを振るストリーム
700
- def die_casts do
701
- Stream.repeatedly(fn -> :rand.uniform(6) end)
702
- end
703
-
704
- die_casts() |> Enum.take(3) # [4, 2, 6]
705
-
706
- # 6 が出るまで振り続ける
707
- die_casts()
708
- |> Stream.take_while(fn x -> x != 6 end)
709
- |> Enum.to_list()
710
- ```
711
-
712
- **Ruby**: IOStream クラス
713
-
714
- ```ruby
715
- # IO アクションから無限ストリームを作成
716
- infinite_die_casts = IOStream.repeat_eval(cast_the_die)
717
-
718
- # 最初の 3 回を取得
719
- first_three = infinite_die_casts.take(3).compile_to_list
720
- first_three.run! # [4, 2, 6]
721
- ```
722
-
723
- ### IO ストリームの統合度比較
724
-
725
- | レベル | 言語 | 方式 | 特徴 |
726
- |--------|------|------|------|
727
- | **型レベル統合** | Scala (fs2) | `Stream[IO, A]` | エフェクトとストリームが同一型で統合 |
728
- | **標準モジュール** | Elixir | `Stream` + `Task` | OTP のプロセスモデルと統合 |
729
- | **非同期ストリーム** | C# | `IAsyncEnumerable<T>` | `await foreach` で非同期ストリーム |
730
- | **非同期トレイト** | Rust | `futures::Stream` | `then` / `buffered` で非同期処理 |
731
- | **カスタム** | Java, Python, Ruby, TypeScript | 自前の IOStream | IO ラッパーを手動実装 |
732
- | **暗黙的** | Haskell | IO リスト | リストが遅延なので IO を含められる |
733
- | **実用的** | Clojure | `lazy-seq` + `future` | 遅延シーケンスが副作用を自然に含む |
734
-
735
- ---
736
-
737
- ## 9.8 比較分析:3 つの発見
738
-
739
- ### 発見 1: 遅延評価の実現方式は 3 系統に分かれる
740
-
741
- ```plantuml
742
- @startuml
743
- !theme plain
744
- left to right direction
745
-
746
- rectangle "Level 1: デフォルト遅延評価" #LightGreen {
747
- card "Haskell(リスト自体が遅延)" as h
748
- card "Clojure(lazy-seq が標準)" as clj
749
- }
750
-
751
- rectangle "Level 2: 専用ストリーム型" #LightBlue {
752
- card "Scala (fs2 Stream)" as sc
753
- card "Rust (futures::Stream)" as rs
754
- card "Elixir (Stream モジュール)" as ex
755
- card "F# (Seq)" as fs
756
- card "C# (IEnumerable)" as cs
757
- }
758
-
759
- rectangle "Level 3: ジェネレータ / カスタム" #LightYellow {
760
- card "Python (Generator)" as py
761
- card "TypeScript (Generator)" as ts
762
- card "Java (LazyStream)" as jv
763
- card "Ruby (Enumerator::Lazy)" as rb
764
- }
765
-
766
- @enduml
767
- ```
768
-
769
- **Level 1(Haskell, Clojure)** はリスト自体が遅延評価されるため、特別なストリーム型が不要です。`[1..]` で無限リストを定義できる Haskell と、`(range)` で無限シーケンスを生成できる Clojure が該当します。
770
-
771
- **Level 2(Scala, Rust, Elixir, F#, C#)** は専用のストリーム型 / モジュールで遅延評価を実現します。特に Scala の fs2 は IO とストリームを型レベルで統合する最も表現力の高いライブラリです。
772
-
773
- **Level 3(Python, TypeScript, Java, Ruby)** はジェネレータ構文やカスタムクラスで遅延評価を実装します。
774
-
775
- ### 発見 2: スライディングウィンドウの提供方法は言語により異なる
776
-
777
- | 方式 | 言語 | 関数/メソッド |
778
- |------|------|-------------|
779
- | **標準提供** | Scala (fs2), F#, Rust (スライス) | `.sliding(n)`, `Seq.windowed n`, `.windows(n)` |
780
- | **ステップ付き分割** | Clojure, Elixir | `(partition n 1 coll)`, `Stream.chunk_every(n, 1)` |
781
- | **隣接ペア** | Haskell, Ruby | カスタム `sliding`, `each_cons(n)` |
782
- | **キューベース実装** | C#, Python, TypeScript, Java | `Queue` / `deque` ベースのカスタム |
783
-
784
- ### 発見 3: Haskell のフィボナッチ定義は遅延評価の本質を表す
785
-
786
- ```haskell
787
- fibs = 0 : 1 : zipWith (+) fibs (tail fibs)
788
- ```
789
-
790
- この**自己参照的**な定義は、遅延評価がなければ無限再帰で停止しません。Haskell のデフォルト遅延評価だからこそ可能な表現であり、他の言語では `unfold` や `iterate` による明示的な状態遷移が必要です。
791
-
792
- ---
793
-
794
- ## 9.9 言語固有の特徴
795
-
796
- ### Haskell: リスト自体が無限ストリーム
797
-
798
- ```haskell
799
- -- 自然数、偶数、奇数の無限リスト
800
- naturals = [1..]
801
- evens = [2,4..]
802
- odds = [1,3..]
803
-
804
- -- エラトステネスのふるい(無限の素数列)
805
- primes :: [Integer]
806
- primes = sieve [2..]
807
- where sieve (p:xs) = p : sieve [x | x <- xs, x `mod` p /= 0]
808
- ```
809
-
810
- ### Scala (fs2): IO ストリームの型安全な合成
811
-
812
- ```scala
813
- // レートと時間制御の結合
814
- val ratesWithDelay: Stream[IO, BigDecimal] =
815
- rates(from, to).zipLeft(Stream.fixedRate[IO](1.second))
816
-
817
- // エフェクトフルなストリームパイプライン
818
- rates(from, to)
819
- .sliding(3)
820
- .map(_.toList)
821
- .filter(trending)
822
- .map(_.last * amount)
823
- .take(1)
824
- .compile
825
- .lastOrError
826
- ```
827
-
828
- ### Clojure: トランスデューサーによる効率的な合成
829
-
830
- ```clojure
831
- ;; トランスデューサー: 中間コレクションを作らない
832
- (def xf (comp
833
- (partition-all 3 1)
834
- (filter trending?)
835
- (map last)))
836
-
837
- (transduce xf conj [] rates)
838
- ```
839
-
840
- ### Python: ジェネレータの直感的な構文
841
-
842
- ```python
843
- # yield で素数のストリームを定義
844
- def primes():
845
- def sieve(numbers):
846
- p = next(numbers)
847
- yield p
848
- yield from sieve(n for n in numbers if n % p != 0)
849
- yield from sieve(count(2))
850
- ```
851
-
852
- ### Elixir: Stream + Enum のパイプライン
853
-
854
- ```elixir
855
- # パイプ演算子でストリーム処理を連鎖
856
- Stream.iterate(1, &(&1 + 1))
857
- |> Stream.filter(&(rem(&1, 2) == 0))
858
- |> Stream.map(&(&1 * &1))
859
- |> Enum.take(5)
860
- # [4, 16, 36, 64, 100]
861
- ```
862
-
863
- ---
864
-
865
- ## 9.10 実践的な選択指針
866
-
867
- ### ストリーム処理の選択
868
-
869
- | 要件 | 推奨言語 | 理由 |
870
- |------|---------|------|
871
- | 最も自然な無限ストリーム | Haskell | デフォルト遅延評価、特別な型不要 |
872
- | IO + ストリームの型安全な統合 | Scala (fs2) | `Stream[IO, A]` による統合 |
873
- | 高性能な非同期ストリーム | Rust | ゼロコスト抽象化、`buffered` で並行処理 |
874
- | 分散ストリーム処理 | Elixir | OTP + Stream のパイプライン |
875
- | データ分析パイプライン | Python | ジェネレータ + itertools の豊富なAPI |
876
- | 関数合成の効率化 | Clojure | トランスデューサーで中間コレクション排除 |
877
-
878
- ### プロジェクト規模別の推奨
879
-
880
- | 規模 | 推奨アプローチ | 言語例 |
881
- |------|-------------|-------|
882
- | 小規模 | ジェネレータ / イテレータ | Python, TypeScript, Ruby |
883
- | 中規模 | 標準ストリームモジュール | Elixir (Stream), F# (Seq), C# (IEnumerable) |
884
- | 大規模 | エフェクトフルストリームライブラリ | Scala (fs2), Rust (futures::Stream) |
885
-
886
- ---
887
-
888
- ## 9.11 まとめ
889
-
890
- 本章では、11 言語でのストリーム処理を比較し、以下を確認しました:
891
-
892
- **共通の原則**:
893
-
894
- - ストリーム = 遅延評価による無限シーケンス
895
- - take / filter / map / sliding で変換を連鎖
896
- - スライディングウィンドウによるパターン検出は全言語で実装可能
897
-
898
- **言語間の差異**:
899
-
900
- - 遅延評価の実現方式は 3 系統(デフォルト遅延 / 専用ストリーム型 / ジェネレータ)
901
- - Haskell のリストはそのまま無限ストリームとして機能する唯一の言語
902
- - IO とストリームの統合度は Scala (fs2) が最も高い
903
-
904
- **学び**:
905
-
906
- - 遅延評価により、無限のデータを有限のメモリで安全に扱える
907
- - スライディングウィンドウ + トレンド判定は関数型のストリーム処理の典型パターン
908
- - IO ストリームの統合は、リアルタイムアプリケーションの基盤となる
909
-
910
- ---
911
-
912
- ### 各言語の詳細記事
913
-
914
- | 言語 | 記事リンク |
915
- |------|-----------|
916
- | Scala | [Part IV: IO と副作用の管理](../scala/part-4.md) |
917
- | Java | [Part IV: IO と副作用の管理](../java/part-4.md) |
918
- | F# | [Part IV: 非同期処理とストリーム](../fsharp/part-4.md) |
919
- | C# | [Part IV: 非同期処理とストリーム](../csharp/part-4.md) |
920
- | Haskell | [Part IV: IO と副作用の管理](../haskell/part-4.md) |
921
- | Clojure | [Part IV: 状態管理とストリーム処理](../clojure/part-4.md) |
922
- | Elixir | [Part IV: IO とストリーム処理](../elixir/part-4.md) |
923
- | Rust | [Part IV: 非同期処理とストリーム](../rust/part-4.md) |
924
- | Python | [Part IV: IO と副作用の管理](../python/part-4.md) |
925
- | TypeScript | [Part IV: IO と副作用の管理](../typescript/part-4.md) |
926
- | Ruby | [Part IV: IO と副作用の管理](../ruby/part-4.md) |
1
+ # Part IV - 第 9 章:ストリーム処理
2
+
3
+ ## 9.1 はじめに:遅延評価と無限のデータ
4
+
5
+ リスト(配列)は全要素をメモリに保持する有限のデータ構造です。しかし、現実のプログラムでは「無限に続くデータ」を扱う場面があります:
6
+
7
+ - センサーからのリアルタイムデータ
8
+ - 為替レートの連続的な変動
9
+ - サイコロを何度も振る試行
10
+ - ログイベントの継続的な流れ
11
+
12
+ **ストリーム**は、遅延評価により「必要な時に必要な分だけ」要素を生成するデータ構造です。本章では、11 言語でのストリーム処理を横断的に比較し、以下を明らかにします:
13
+
14
+ - ストリームの実現方式の違い(言語組み込み遅延評価 vs ライブラリ vs ジェネレータ)
15
+ - 無限ストリームの生成パターン(repeat / iterate / unfold / cycle)
16
+ - スライディングウィンドウによるトレンド検出の実装差異
17
+
18
+ ```plantuml
19
+ @startuml
20
+ !theme plain
21
+
22
+ rectangle "List vs Stream" {
23
+ rectangle "List" as list {
24
+ card "全要素がメモリに存在"
25
+ card "有限"
26
+ card "即座に評価(正格)"
27
+ }
28
+
29
+ rectangle "Stream" as stream {
30
+ card "必要な時に要素を生成"
31
+ card "無限も可能"
32
+ card "遅延評価"
33
+ }
34
+ }
35
+
36
+ note bottom of stream
37
+ take(n) で有限個を取得
38
+ filter / map で変換
39
+ sliding(n) でウィンドウ分割
40
+ end note
41
+
42
+ @enduml
43
+ ```
44
+
45
+ ---
46
+
47
+ ## 9.2 共通の本質:遅延評価による無限シーケンス
48
+
49
+ 11 言語すべてに共通するストリームの原則は、**遅延評価によって無限のデータを有限のメモリで扱う**ことです:
50
+
51
+ 1. **遅延生成**: 要素は要求されるまで生成されない
52
+ 2. **変換の連鎖**: map / filter をストリームに適用しても即座に全要素を処理しない
53
+ 3. **実体化**: take / toList / collect で必要な分だけ取り出す
54
+
55
+ 3 つの言語グループから代表例を見てみましょう:
56
+
57
+ ```haskell
58
+ -- Haskell: リストがデフォルトで遅延評価
59
+ naturals :: [Integer]
60
+ naturals = [1..]
61
+
62
+ take 5 naturals -- [1, 2, 3, 4, 5]
63
+
64
+ -- フィボナッチ数列(自己参照的定義)
65
+ fibs :: [Integer]
66
+ fibs = 0 : 1 : zipWith (+) fibs (tail fibs)
67
+
68
+ take 10 fibs -- [0, 1, 1, 2, 3, 5, 8, 13, 21, 34]
69
+ ```
70
+
71
+ ```scala
72
+ // Scala: fs2 Stream ライブラリ
73
+ import fs2.{Pure, Stream}
74
+
75
+ val infinite123s: Stream[Pure, Int] = Stream(1, 2, 3).repeat
76
+ infinite123s.take(8).toList // List(1, 2, 3, 1, 2, 3, 1, 2)
77
+
78
+ // IO を含む無限ストリーム
79
+ val infiniteDieCasts: Stream[IO, Int] = Stream.eval(castTheDie()).repeat
80
+ infiniteDieCasts.take(3).compile.toList.unsafeRunSync() // List(4, 2, 6)
81
+ ```
82
+
83
+ ```python
84
+ # Python: ジェネレータで遅延評価
85
+ from itertools import count, islice
86
+
87
+ def cycle_stream(items):
88
+ while True:
89
+ yield from items
90
+
91
+ list(islice(cycle_stream([1, 2, 3]), 8)) # [1, 2, 3, 1, 2, 3, 1, 2]
92
+ ```
93
+
94
+ ---
95
+
96
+ ## 9.3 ストリームの実現方式
97
+
98
+ ### アプローチ 1: 言語組み込みの遅延評価
99
+
100
+ | 言語 | ストリーム型 | 特徴 |
101
+ |------|-----------|------|
102
+ | **Haskell** | `[a]`(リスト自体が遅延) | デフォルト遅延評価、特別な型不要 |
103
+ | **Clojure** | `lazy-seq` / `range` 等 | 遅延シーケンスが標準 |
104
+
105
+ ### アプローチ 2: ストリームライブラリ
106
+
107
+ | 言語 | ライブラリ | ストリーム型 | IO 統合 |
108
+ |------|-----------|-----------|--------|
109
+ | **Scala** | fs2 | `Stream[F, A]` | `Stream[IO, A]` で IO とストリームを統合 |
110
+ | **Rust** | futures | `Stream<Item = T>` | `then` / `buffered` で非同期処理 |
111
+
112
+ ### アプローチ 3: 言語の遅延評価プリミティブ
113
+
114
+ | 言語 | プリミティブ | 構文 |
115
+ |------|-----------|------|
116
+ | **F#** | `seq { }` | `Seq.take`, `Seq.windowed` |
117
+ | **C#** | `IEnumerable<T>` | `yield return`, LINQ |
118
+ | **Elixir** | `Stream` モジュール | `Stream.cycle`, `Stream.unfold` |
119
+
120
+ ### アプローチ 4: ジェネレータ / カスタム実装
121
+
122
+ | 言語 | プリミティブ | 構文 |
123
+ |------|-----------|------|
124
+ | **Python** | `Generator` | `yield` / `yield from` |
125
+ | **TypeScript** | `Generator` | `function*` / `yield` |
126
+ | **Java** | カスタム `LazyStream` | `Supplier<Option<Cons<A>>>` |
127
+ | **Ruby** | `Enumerator::Lazy` | `Enumerator.new` + `loop` |
128
+
129
+ ---
130
+
131
+ ## 9.4 無限ストリームの生成パターン
132
+
133
+ ### 4 つの基本パターン
134
+
135
+ | パターン | 説明 | 例 |
136
+ |---------|------|-----|
137
+ | **repeat** | 同じ値(列)を無限に繰り返す | `[1,2,3,1,2,3,...]` |
138
+ | **iterate** | 関数を繰り返し適用 | `[1,2,4,8,16,...]` |
139
+ | **unfold** | 状態から次の要素と新しい状態を生成 | フィボナッチ数列 |
140
+ | **generate** | 副作用のある関数を繰り返し呼ぶ | サイコロを振り続ける |
141
+
142
+ ### 全 11 言語の生成関数比較
143
+
144
+ | パターン | Haskell | Scala | Rust | F# | C# | TypeScript | Python | Java | Ruby | Clojure | Elixir |
145
+ |---------|---------|-------|------|-----|-----|-----------|--------|------|------|---------|--------|
146
+ | **repeat** | `repeat x` | `.repeat` | `stream::repeat` | `seq { while true }` | `yield return` loop | `while(true) yield` | `while True: yield` | カスタム | `Enumerator` + `loop` | `(repeat x)` | `Stream.cycle` |
147
+ | **iterate** | `iterate f x` | — | `stream::unfold` | `Seq.unfold` | カスタム | `function*` | `count` / カスタム | カスタム | `iterate` メソッド | `(iterate f x)` | `Stream.iterate` |
148
+ | **unfold** | `unfoldr f s` | `Stream.unfold` | `stream::unfold` | `Seq.unfold` | カスタム | `function*` | `function*` | カスタム | `Enumerator.new` | `lazy-seq` | `Stream.unfold` |
149
+ | **generate** | `sequence (repeat io)` | `Stream.eval(io).repeat` | `stream::repeat_with` | `seq { yield f() }` | `yield return f()` | `function*` | `while True: yield f()` | カスタム | `IOStream.repeat_eval` | `(repeatedly f)` | `Stream.repeatedly` |
150
+
151
+ ### 代表例:フィボナッチ数列
152
+
153
+ **Haskell**: 自己参照的定義(遅延評価の力)
154
+
155
+ ```haskell
156
+ fibs :: [Integer]
157
+ fibs = 0 : 1 : zipWith (+) fibs (tail fibs)
158
+
159
+ take 10 fibs -- [0, 1, 1, 2, 3, 5, 8, 13, 21, 34]
160
+ ```
161
+
162
+ **Rust**: `stream::unfold` で状態遷移
163
+
164
+ ```rust
165
+ pub fn fibonacci_stream() -> impl Stream<Item = u64> {
166
+ stream::unfold((0u64, 1u64), |(a, b)| async move {
167
+ Some((a, (b, a + b)))
168
+ })
169
+ }
170
+ ```
171
+
172
+ **TypeScript**: ジェネレータ関数
173
+
174
+ ```typescript
175
+ function* fibonacci(): LazyList<number> {
176
+ let [a, b] = [0, 1]
177
+ while (true) {
178
+ yield a
179
+ ;[a, b] = [b, a + b]
180
+ }
181
+ }
182
+ ```
183
+
184
+ ### 全 11 言語のフィボナッチ実装
185
+
186
+ <details>
187
+ <summary>関数型ファースト言語</summary>
188
+
189
+ **Haskell**:
190
+ ```haskell
191
+ fibs :: [Integer]
192
+ fibs = 0 : 1 : zipWith (+) fibs (tail fibs)
193
+ ```
194
+
195
+ **Clojure**:
196
+ ```clojure
197
+ (def fibs
198
+ ((fn fib [a b]
199
+ (lazy-seq (cons a (fib b (+ a b)))))
200
+ 0 1))
201
+
202
+ (take 10 fibs) ; => (0 1 1 2 3 5 8 13 21 34)
203
+ ```
204
+
205
+ **Elixir**:
206
+ ```elixir
207
+ def fibonacci do
208
+ Stream.unfold({0, 1}, fn {a, b} -> {a, {b, a + b}} end)
209
+ end
210
+
211
+ fibonacci() |> Enum.take(10) # [0, 1, 1, 2, 3, 5, 8, 13, 21, 34]
212
+ ```
213
+
214
+ **F#**:
215
+ ```fsharp
216
+ let fibonacci =
217
+ Seq.unfold (fun (a, b) -> Some(a, (b, a + b))) (0, 1)
218
+
219
+ fibonacci |> Seq.take 10 |> Seq.toList
220
+ // [0; 1; 1; 2; 3; 5; 8; 13; 21; 34]
221
+ ```
222
+
223
+ </details>
224
+
225
+ <details>
226
+ <summary>マルチパラダイム言語</summary>
227
+
228
+ **Scala**:
229
+ ```scala
230
+ val fibonacci: Stream[Pure, Long] =
231
+ Stream.unfold((0L, 1L)) { case (a, b) => Some((a, (b, a + b))) }
232
+
233
+ fibonacci.take(10).toList // List(0, 1, 1, 2, 3, 5, 8, 13, 21, 34)
234
+ ```
235
+
236
+ **Rust**:
237
+ ```rust
238
+ pub fn fibonacci_stream() -> impl Stream<Item = u64> {
239
+ stream::unfold((0u64, 1u64), |(a, b)| async move {
240
+ Some((a, (b, a + b)))
241
+ })
242
+ }
243
+ ```
244
+
245
+ **TypeScript**:
246
+ ```typescript
247
+ function* fibonacci(): LazyList<number> {
248
+ let [a, b] = [0, 1]
249
+ while (true) {
250
+ yield a
251
+ ;[a, b] = [b, a + b]
252
+ }
253
+ }
254
+ ```
255
+
256
+ </details>
257
+
258
+ <details>
259
+ <summary>OOP + FP ライブラリ言語</summary>
260
+
261
+ **Java**:
262
+ ```java
263
+ public static LazyStream<Long> fibonacci() {
264
+ return LazyStream.unfold(
265
+ new long[]{0, 1},
266
+ state -> Option.some(new Tuple2<>(state[0], new long[]{state[1], state[0] + state[1]}))
267
+ );
268
+ }
269
+ ```
270
+
271
+ **C#**:
272
+ ```csharp
273
+ public static IEnumerable<long> Fibonacci()
274
+ {
275
+ long a = 0, b = 1;
276
+ while (true)
277
+ {
278
+ yield return a;
279
+ (a, b) = (b, a + b);
280
+ }
281
+ }
282
+ ```
283
+
284
+ **Python**:
285
+ ```python
286
+ def fibonacci():
287
+ a, b = 0, 1
288
+ while True:
289
+ yield a
290
+ a, b = b, a + b
291
+ ```
292
+
293
+ **Ruby**:
294
+ ```ruby
295
+ def fibonacci
296
+ Enumerator.new do |yielder|
297
+ a, b = 0, 1
298
+ loop do
299
+ yielder << a
300
+ a, b = b, a + b
301
+ end
302
+ end.lazy
303
+ end
304
+ ```
305
+
306
+ </details>
307
+
308
+ ---
309
+
310
+ ## 9.5 ストリーム操作の比較
311
+
312
+ ### 主要操作の語彙比較
313
+
314
+ | 操作 | Haskell | Scala (fs2) | Rust | F# | C# | TypeScript | Python | Clojure | Elixir | Java | Ruby |
315
+ |------|---------|-------------|------|-----|-----|-----------|--------|---------|--------|------|------|
316
+ | 先頭 n 個 | `take n` | `.take(n)` | `.take(n)` | `Seq.take n` | `.Take(n)` | `take(s, n)` | `islice(s, n)` | `(take n s)` | `Enum.take(s, n)` | `.take(n)` | `.take(n)` |
317
+ | フィルタ | `filter p` | `.filter(p)` | `.filter(p)` | `Seq.filter p` | `.Where(p)` | `filterStream` | `filter` | `(filter p s)` | `Stream.filter(s, p)` | `.filter(p)` | `.filter(p)` |
318
+ | 変換 | `map f` | `.map(f)` | `.map(f)` | `Seq.map f` | `.Select(f)` | `mapStream` | `map(f, s)` | `(map f s)` | `Stream.map(s, f)` | `.map(f)` | `.fmap(f)` |
319
+ | 結合 | `++` | `.append(s)` | `.chain(s)` | `Seq.append` | `.Concat(s)` | `append` | `chain` | `(concat s1 s2)` | `Stream.concat` | `.append(s)` | `.append(s)` |
320
+ | ウィンドウ | `sliding n` | `.sliding(n)` | `.chunks(n)` | `Seq.windowed n` | `Sliding(n)` | `sliding` | `stream_sliding` | `(partition n 1)` | `Stream.chunk_every` | `.sliding(n)` | `.sliding(n)` |
321
+ | zip | `zip` | `.zip(s)` | `.zip(s)` | `Seq.zip` | `.Zip(s)` | `zipStream` | `zip` | `(map vector s1 s2)` | `Stream.zip(s1, s2)` | `.zip(s)` | `.zip(s)` |
322
+ | 畳み込み | `foldl` | `.fold` | `.fold` | `Seq.fold` | `.Aggregate` | `reduce` | `reduce` | `(reduce f s)` | `Enum.reduce` | `.fold` | `.reduce` |
323
+
324
+ ---
325
+
326
+ ## 9.6 スライディングウィンドウとトレンド検出
327
+
328
+ すべての言語で共通する実践的なパターンとして、為替レートの上昇トレンドを検出する例を比較します。
329
+
330
+ ### パターンの構造
331
+
332
+ ```plantuml
333
+ @startuml
334
+ !theme plain
335
+
336
+ rectangle "トレンド検出パイプライン" {
337
+ card "レートストリーム\n[0.81, 0.82, 0.85, 0.83, ...]" as rates
338
+ card "sliding(3)\n[[0.81, 0.82, 0.85],\n [0.82, 0.85, 0.83], ...]" as sliding
339
+ card "filter(trending)\n[[0.81, 0.82, 0.85]]" as filter
340
+ card "map(_.last)\n[0.85]" as extract
341
+ card "take(1)\n0.85" as take
342
+
343
+ rates --> sliding
344
+ sliding --> filter
345
+ filter --> extract
346
+ extract --> take
347
+ }
348
+
349
+ @enduml
350
+ ```
351
+
352
+ ### トレンド判定関数の比較
353
+
354
+ **Haskell**:
355
+
356
+ ```haskell
357
+ trending :: Ord a => [a] -> Bool
358
+ trending xs =
359
+ length xs > 1 &&
360
+ all (uncurry (<)) (zip xs (tail xs))
361
+ ```
362
+
363
+ **Scala**:
364
+
365
+ ```scala
366
+ def trending(rates: List[BigDecimal]): Boolean =
367
+ rates.size > 1 &&
368
+ rates.zip(rates.drop(1)).forall {
369
+ case (prev, rate) => rate > prev
370
+ }
371
+ ```
372
+
373
+ **Rust**:
374
+
375
+ ```rust
376
+ pub fn trending(rates: &[f64]) -> bool {
377
+ rates.len() > 1 &&
378
+ rates.windows(2).all(|w| w[1] > w[0])
379
+ }
380
+ ```
381
+
382
+ ### 全 11 言語の実装
383
+
384
+ #### 関数型ファースト言語
385
+
386
+ <details>
387
+ <summary>Haskell 実装</summary>
388
+
389
+ ```haskell
390
+ -- スライディングウィンドウ
391
+ sliding :: Int -> [a] -> [[a]]
392
+ sliding n xs
393
+ | length window < n = []
394
+ | otherwise = window : sliding n (tail xs)
395
+ where window = take n xs
396
+
397
+ -- トレンド判定
398
+ trending :: Ord a => [a] -> Bool
399
+ trending xs =
400
+ length xs > 1 &&
401
+ all (uncurry (<)) (zip xs (tail xs))
402
+
403
+ -- トレンド検出パイプライン
404
+ findTrending :: Ord a => Int -> [a] -> [[a]]
405
+ findTrending windowSize =
406
+ filter trending . sliding windowSize
407
+ ```
408
+
409
+ Haskell ではリストが遅延評価されるため、無限のレートストリームに対しても `findTrending` をそのまま適用できます。
410
+
411
+ </details>
412
+
413
+ <details>
414
+ <summary>Clojure 実装</summary>
415
+
416
+ ```clojure
417
+ ;; スライディングウィンドウ
418
+ (defn sliding-window [n coll]
419
+ (partition n 1 coll))
420
+
421
+ ;; トレンド判定
422
+ (defn trending? [rates]
423
+ (and (> (count rates) 1)
424
+ (every? (fn [[prev curr]] (< prev curr))
425
+ (partition 2 1 rates))))
426
+
427
+ ;; トレンド検出
428
+ (defn find-trending [window-size stream]
429
+ (->> stream
430
+ (sliding-window window-size)
431
+ (filter trending?)))
432
+ ```
433
+
434
+ Clojure の `partition` はステップ付きで呼ぶとスライディングウィンドウになります。
435
+
436
+ </details>
437
+
438
+ <details>
439
+ <summary>Elixir 実装</summary>
440
+
441
+ ```elixir
442
+ def trending?(rates) do
443
+ length(rates) > 1 &&
444
+ rates
445
+ |> Enum.chunk_every(2, 1, :discard)
446
+ |> Enum.all?(fn [prev, curr] -> curr > prev end)
447
+ end
448
+
449
+ # ストリームパイプライン
450
+ def find_trending(rates_stream, window_size) do
451
+ rates_stream
452
+ |> Stream.chunk_every(window_size, 1, :discard)
453
+ |> Stream.filter(&trending?/1)
454
+ end
455
+ ```
456
+
457
+ Elixir の `Stream.chunk_every/4` はステップ引数でスライディングウィンドウを実現します。
458
+
459
+ </details>
460
+
461
+ <details>
462
+ <summary>F# 実装</summary>
463
+
464
+ ```fsharp
465
+ let trending (rates: float list) =
466
+ rates.Length > 1 &&
467
+ List.pairwise rates |> List.forall (fun (prev, curr) -> curr > prev)
468
+
469
+ // ストリームパイプライン
470
+ let findTrending windowSize (rates: float seq) =
471
+ rates
472
+ |> Seq.windowed windowSize
473
+ |> Seq.filter (fun window -> trending (Array.toList window))
474
+ ```
475
+
476
+ F# の `Seq.windowed` はスライディングウィンドウを直接サポートしています。
477
+
478
+ </details>
479
+
480
+ #### マルチパラダイム言語
481
+
482
+ <details>
483
+ <summary>Scala 実装</summary>
484
+
485
+ ```scala
486
+ def trending(rates: List[BigDecimal]): Boolean =
487
+ rates.size > 1 &&
488
+ rates.zip(rates.drop(1)).forall { case (prev, rate) => rate > prev }
489
+
490
+ // fs2 ストリームパイプライン
491
+ def exchangeIfTrending(
492
+ amount: BigDecimal,
493
+ from: Currency,
494
+ to: Currency
495
+ ): IO[BigDecimal] =
496
+ rates(from, to)
497
+ .sliding(3)
498
+ .map(_.toList)
499
+ .filter(trending)
500
+ .map(_.last)
501
+ .take(1)
502
+ .compile
503
+ .lastOrError
504
+ .map(_ * amount)
505
+ ```
506
+
507
+ Scala の fs2 は `sliding` を標準で提供し、IO ストリームとシームレスに統合されます。
508
+
509
+ </details>
510
+
511
+ <details>
512
+ <summary>Rust 実装</summary>
513
+
514
+ ```rust
515
+ pub fn trending(rates: &[f64]) -> bool {
516
+ rates.len() > 1 && rates.windows(2).all(|w| w[1] > w[0])
517
+ }
518
+
519
+ // 移動平均ストリーム
520
+ pub fn moving_average<S>(stream: S, window_size: usize) -> impl Stream<Item = f64>
521
+ where
522
+ S: Stream<Item = f64> + Send + 'static,
523
+ {
524
+ stream::unfold(
525
+ (stream.boxed(), Vec::new(), window_size),
526
+ |(mut stream, mut window, size)| async move {
527
+ match stream.next().await {
528
+ Some(value) => {
529
+ window.push(value);
530
+ if window.len() > size { window.remove(0); }
531
+ let avg = window.iter().sum::<f64>() / window.len() as f64;
532
+ Some((avg, (stream, window, size)))
533
+ }
534
+ None => None,
535
+ }
536
+ },
537
+ )
538
+ }
539
+ ```
540
+
541
+ Rust の標準ライブラリには `windows` メソッドがスライスに対して存在しますが、`futures::Stream` でのスライディングウィンドウは `unfold` で自前実装が必要です。
542
+
543
+ </details>
544
+
545
+ <details>
546
+ <summary>TypeScript 実装</summary>
547
+
548
+ ```typescript
549
+ const trending = (rates: readonly number[]): boolean => {
550
+ if (rates.length <= 1) return false
551
+ return rates.slice(0, -1).every((prev, i) => rates[i + 1] > prev)
552
+ }
553
+
554
+ function* sliding<A>(gen: LazyList<A>, windowSize: number): LazyList<readonly A[]> {
555
+ const buffer: A[] = []
556
+ for (const item of gen) {
557
+ buffer.push(item)
558
+ if (buffer.length === windowSize) {
559
+ yield [...buffer]
560
+ buffer.shift()
561
+ }
562
+ }
563
+ }
564
+ ```
565
+
566
+ </details>
567
+
568
+ #### OOP + FP ライブラリ言語
569
+
570
+ <details>
571
+ <summary>Java 実装</summary>
572
+
573
+ ```java
574
+ public static boolean trending(List<BigDecimal> rates) {
575
+ return rates.size() > 1 &&
576
+ rates.zip(rates.drop(1))
577
+ .forAll(t -> t._2.compareTo(t._1) > 0);
578
+ }
579
+
580
+ // LazyStream でスライディングウィンドウ
581
+ public LazyStream<List<A>> sliding(int size) {
582
+ return LazyStream.unfold(this, stream -> {
583
+ List<A> window = stream.take(size).toList();
584
+ return window.size() == size
585
+ ? Option.some(new Tuple2<>(window, stream.drop(1)))
586
+ : Option.none();
587
+ });
588
+ }
589
+ ```
590
+
591
+ </details>
592
+
593
+ <details>
594
+ <summary>C# 実装</summary>
595
+
596
+ ```csharp
597
+ public static bool Trending(IEnumerable<decimal> rates)
598
+ {
599
+ var list = rates.ToList();
600
+ return list.Count > 1 &&
601
+ list.Zip(list.Skip(1), (prev, curr) => curr > prev).All(x => x);
602
+ }
603
+
604
+ // スライディングウィンドウ
605
+ public static IEnumerable<IReadOnlyList<T>> Sliding<T>(
606
+ this IEnumerable<T> source, int windowSize)
607
+ {
608
+ var window = new Queue<T>();
609
+ foreach (var item in source)
610
+ {
611
+ window.Enqueue(item);
612
+ if (window.Count == windowSize)
613
+ {
614
+ yield return window.ToList();
615
+ window.Dequeue();
616
+ }
617
+ }
618
+ }
619
+ ```
620
+
621
+ </details>
622
+
623
+ <details>
624
+ <summary>Python 実装</summary>
625
+
626
+ ```python
627
+ from collections import deque
628
+
629
+ def trending(rates: list[float]) -> bool:
630
+ return len(rates) > 1 and all(
631
+ curr > prev for prev, curr in zip(rates, rates[1:])
632
+ )
633
+
634
+ def stream_sliding(stream, window_size):
635
+ window = deque(maxlen=window_size)
636
+ for item in stream:
637
+ window.append(item)
638
+ if len(window) == window_size:
639
+ yield list(window)
640
+ ```
641
+
642
+ </details>
643
+
644
+ <details>
645
+ <summary>Ruby 実装</summary>
646
+
647
+ ```ruby
648
+ def trending?(rates)
649
+ return false if rates.size <= 1
650
+ rates.each_cons(2).all? { |prev, curr| curr > prev }
651
+ end
652
+
653
+ # LazyStream のスライディングウィンドウ
654
+ def sliding(n)
655
+ LazyStream.new(
656
+ Enumerator.new do |yielder|
657
+ buffer = []
658
+ @enumerator.each do |item|
659
+ buffer << item
660
+ if buffer.size == n
661
+ yielder << buffer.dup
662
+ buffer.shift
663
+ end
664
+ end
665
+ end
666
+ )
667
+ end
668
+ ```
669
+
670
+ </details>
671
+
672
+ ---
673
+
674
+ ## 9.7 IO ストリーム:副作用とストリームの統合
675
+
676
+ 前章の IO モナドとストリームを組み合わせると、「副作用を持つ無限ストリーム」を安全に扱えます。
677
+
678
+ ### 代表 3 言語の比較
679
+
680
+ **Scala** (fs2): `Stream[IO, A]` で IO とストリームを型レベルで統合
681
+
682
+ ```scala
683
+ // IO を含む無限ストリーム
684
+ val infiniteDieCasts: Stream[IO, Int] = Stream.eval(castTheDie()).repeat
685
+
686
+ // 最初の 3 回を取得
687
+ infiniteDieCasts.take(3).compile.toList.unsafeRunSync() // List(4, 2, 6)
688
+
689
+ // 6 が出るまで振り続ける
690
+ infiniteDieCasts.filter(_ == 6).take(1).compile.toList.unsafeRunSync() // List(6)
691
+
692
+ // レートストリーム + 時間制御
693
+ val ratesWithDelay = rates(from, to).zipLeft(Stream.fixedRate[IO](1.second))
694
+ ```
695
+
696
+ **Elixir**: `Stream.repeatedly` + パイプライン
697
+
698
+ ```elixir
699
+ # 無限にサイコロを振るストリーム
700
+ def die_casts do
701
+ Stream.repeatedly(fn -> :rand.uniform(6) end)
702
+ end
703
+
704
+ die_casts() |> Enum.take(3) # [4, 2, 6]
705
+
706
+ # 6 が出るまで振り続ける
707
+ die_casts()
708
+ |> Stream.take_while(fn x -> x != 6 end)
709
+ |> Enum.to_list()
710
+ ```
711
+
712
+ **Ruby**: IOStream クラス
713
+
714
+ ```ruby
715
+ # IO アクションから無限ストリームを作成
716
+ infinite_die_casts = IOStream.repeat_eval(cast_the_die)
717
+
718
+ # 最初の 3 回を取得
719
+ first_three = infinite_die_casts.take(3).compile_to_list
720
+ first_three.run! # [4, 2, 6]
721
+ ```
722
+
723
+ ### IO ストリームの統合度比較
724
+
725
+ | レベル | 言語 | 方式 | 特徴 |
726
+ |--------|------|------|------|
727
+ | **型レベル統合** | Scala (fs2) | `Stream[IO, A]` | エフェクトとストリームが同一型で統合 |
728
+ | **標準モジュール** | Elixir | `Stream` + `Task` | OTP のプロセスモデルと統合 |
729
+ | **非同期ストリーム** | C# | `IAsyncEnumerable<T>` | `await foreach` で非同期ストリーム |
730
+ | **非同期トレイト** | Rust | `futures::Stream` | `then` / `buffered` で非同期処理 |
731
+ | **カスタム** | Java, Python, Ruby, TypeScript | 自前の IOStream | IO ラッパーを手動実装 |
732
+ | **暗黙的** | Haskell | IO リスト | リストが遅延なので IO を含められる |
733
+ | **実用的** | Clojure | `lazy-seq` + `future` | 遅延シーケンスが副作用を自然に含む |
734
+
735
+ ---
736
+
737
+ ## 9.8 比較分析:3 つの発見
738
+
739
+ ### 発見 1: 遅延評価の実現方式は 3 系統に分かれる
740
+
741
+ ```plantuml
742
+ @startuml
743
+ !theme plain
744
+ left to right direction
745
+
746
+ rectangle "Level 1: デフォルト遅延評価" #LightGreen {
747
+ card "Haskell(リスト自体が遅延)" as h
748
+ card "Clojure(lazy-seq が標準)" as clj
749
+ }
750
+
751
+ rectangle "Level 2: 専用ストリーム型" #LightBlue {
752
+ card "Scala (fs2 Stream)" as sc
753
+ card "Rust (futures::Stream)" as rs
754
+ card "Elixir (Stream モジュール)" as ex
755
+ card "F# (Seq)" as fs
756
+ card "C# (IEnumerable)" as cs
757
+ }
758
+
759
+ rectangle "Level 3: ジェネレータ / カスタム" #LightYellow {
760
+ card "Python (Generator)" as py
761
+ card "TypeScript (Generator)" as ts
762
+ card "Java (LazyStream)" as jv
763
+ card "Ruby (Enumerator::Lazy)" as rb
764
+ }
765
+
766
+ @enduml
767
+ ```
768
+
769
+ **Level 1(Haskell, Clojure)** はリスト自体が遅延評価されるため、特別なストリーム型が不要です。`[1..]` で無限リストを定義できる Haskell と、`(range)` で無限シーケンスを生成できる Clojure が該当します。
770
+
771
+ **Level 2(Scala, Rust, Elixir, F#, C#)** は専用のストリーム型 / モジュールで遅延評価を実現します。特に Scala の fs2 は IO とストリームを型レベルで統合する最も表現力の高いライブラリです。
772
+
773
+ **Level 3(Python, TypeScript, Java, Ruby)** はジェネレータ構文やカスタムクラスで遅延評価を実装します。
774
+
775
+ ### 発見 2: スライディングウィンドウの提供方法は言語により異なる
776
+
777
+ | 方式 | 言語 | 関数/メソッド |
778
+ |------|------|-------------|
779
+ | **標準提供** | Scala (fs2), F#, Rust (スライス) | `.sliding(n)`, `Seq.windowed n`, `.windows(n)` |
780
+ | **ステップ付き分割** | Clojure, Elixir | `(partition n 1 coll)`, `Stream.chunk_every(n, 1)` |
781
+ | **隣接ペア** | Haskell, Ruby | カスタム `sliding`, `each_cons(n)` |
782
+ | **キューベース実装** | C#, Python, TypeScript, Java | `Queue` / `deque` ベースのカスタム |
783
+
784
+ ### 発見 3: Haskell のフィボナッチ定義は遅延評価の本質を表す
785
+
786
+ ```haskell
787
+ fibs = 0 : 1 : zipWith (+) fibs (tail fibs)
788
+ ```
789
+
790
+ この**自己参照的**な定義は、遅延評価がなければ無限再帰で停止しません。Haskell のデフォルト遅延評価だからこそ可能な表現であり、他の言語では `unfold` や `iterate` による明示的な状態遷移が必要です。
791
+
792
+ ---
793
+
794
+ ## 9.9 言語固有の特徴
795
+
796
+ ### Haskell: リスト自体が無限ストリーム
797
+
798
+ ```haskell
799
+ -- 自然数、偶数、奇数の無限リスト
800
+ naturals = [1..]
801
+ evens = [2,4..]
802
+ odds = [1,3..]
803
+
804
+ -- エラトステネスのふるい(無限の素数列)
805
+ primes :: [Integer]
806
+ primes = sieve [2..]
807
+ where sieve (p:xs) = p : sieve [x | x <- xs, x `mod` p /= 0]
808
+ ```
809
+
810
+ ### Scala (fs2): IO ストリームの型安全な合成
811
+
812
+ ```scala
813
+ // レートと時間制御の結合
814
+ val ratesWithDelay: Stream[IO, BigDecimal] =
815
+ rates(from, to).zipLeft(Stream.fixedRate[IO](1.second))
816
+
817
+ // エフェクトフルなストリームパイプライン
818
+ rates(from, to)
819
+ .sliding(3)
820
+ .map(_.toList)
821
+ .filter(trending)
822
+ .map(_.last * amount)
823
+ .take(1)
824
+ .compile
825
+ .lastOrError
826
+ ```
827
+
828
+ ### Clojure: トランスデューサーによる効率的な合成
829
+
830
+ ```clojure
831
+ ;; トランスデューサー: 中間コレクションを作らない
832
+ (def xf (comp
833
+ (partition-all 3 1)
834
+ (filter trending?)
835
+ (map last)))
836
+
837
+ (transduce xf conj [] rates)
838
+ ```
839
+
840
+ ### Python: ジェネレータの直感的な構文
841
+
842
+ ```python
843
+ # yield で素数のストリームを定義
844
+ def primes():
845
+ def sieve(numbers):
846
+ p = next(numbers)
847
+ yield p
848
+ yield from sieve(n for n in numbers if n % p != 0)
849
+ yield from sieve(count(2))
850
+ ```
851
+
852
+ ### Elixir: Stream + Enum のパイプライン
853
+
854
+ ```elixir
855
+ # パイプ演算子でストリーム処理を連鎖
856
+ Stream.iterate(1, &(&1 + 1))
857
+ |> Stream.filter(&(rem(&1, 2) == 0))
858
+ |> Stream.map(&(&1 * &1))
859
+ |> Enum.take(5)
860
+ # [4, 16, 36, 64, 100]
861
+ ```
862
+
863
+ ---
864
+
865
+ ## 9.10 実践的な選択指針
866
+
867
+ ### ストリーム処理の選択
868
+
869
+ | 要件 | 推奨言語 | 理由 |
870
+ |------|---------|------|
871
+ | 最も自然な無限ストリーム | Haskell | デフォルト遅延評価、特別な型不要 |
872
+ | IO + ストリームの型安全な統合 | Scala (fs2) | `Stream[IO, A]` による統合 |
873
+ | 高性能な非同期ストリーム | Rust | ゼロコスト抽象化、`buffered` で並行処理 |
874
+ | 分散ストリーム処理 | Elixir | OTP + Stream のパイプライン |
875
+ | データ分析パイプライン | Python | ジェネレータ + itertools の豊富なAPI |
876
+ | 関数合成の効率化 | Clojure | トランスデューサーで中間コレクション排除 |
877
+
878
+ ### プロジェクト規模別の推奨
879
+
880
+ | 規模 | 推奨アプローチ | 言語例 |
881
+ |------|-------------|-------|
882
+ | 小規模 | ジェネレータ / イテレータ | Python, TypeScript, Ruby |
883
+ | 中規模 | 標準ストリームモジュール | Elixir (Stream), F# (Seq), C# (IEnumerable) |
884
+ | 大規模 | エフェクトフルストリームライブラリ | Scala (fs2), Rust (futures::Stream) |
885
+
886
+ ---
887
+
888
+ ## 9.11 まとめ
889
+
890
+ 本章では、11 言語でのストリーム処理を比較し、以下を確認しました:
891
+
892
+ **共通の原則**:
893
+
894
+ - ストリーム = 遅延評価による無限シーケンス
895
+ - take / filter / map / sliding で変換を連鎖
896
+ - スライディングウィンドウによるパターン検出は全言語で実装可能
897
+
898
+ **言語間の差異**:
899
+
900
+ - 遅延評価の実現方式は 3 系統(デフォルト遅延 / 専用ストリーム型 / ジェネレータ)
901
+ - Haskell のリストはそのまま無限ストリームとして機能する唯一の言語
902
+ - IO とストリームの統合度は Scala (fs2) が最も高い
903
+
904
+ **学び**:
905
+
906
+ - 遅延評価により、無限のデータを有限のメモリで安全に扱える
907
+ - スライディングウィンドウ + トレンド判定は関数型のストリーム処理の典型パターン
908
+ - IO ストリームの統合は、リアルタイムアプリケーションの基盤となる
909
+
910
+ ---
911
+
912
+ ### 各言語の詳細記事
913
+
914
+ | 言語 | 記事リンク |
915
+ |------|-----------|
916
+ | Scala | [Part IV: IO と副作用の管理](../scala/part-4.md) |
917
+ | Java | [Part IV: IO と副作用の管理](../java/part-4.md) |
918
+ | F# | [Part IV: 非同期処理とストリーム](../fsharp/part-4.md) |
919
+ | C# | [Part IV: 非同期処理とストリーム](../csharp/part-4.md) |
920
+ | Haskell | [Part IV: IO と副作用の管理](../haskell/part-4.md) |
921
+ | Clojure | [Part IV: 状態管理とストリーム処理](../clojure/part-4.md) |
922
+ | Elixir | [Part IV: IO とストリーム処理](../elixir/part-4.md) |
923
+ | Rust | [Part IV: 非同期処理とストリーム](../rust/part-4.md) |
924
+ | Python | [Part IV: IO と副作用の管理](../python/part-4.md) |
925
+ | TypeScript | [Part IV: IO と副作用の管理](../typescript/part-4.md) |
926
+ | Ruby | [Part IV: IO と副作用の管理](../ruby/part-4.md) |