@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,1104 +1,1104 @@
1
- # Part II - 第 4 章:高階関数
2
-
3
- ## 4.1 はじめに:関数を値として扱う
4
-
5
- 高階関数(Higher-Order Functions)は、関数型プログラミングの最も強力な構成要素です。関数を「値」として扱い、引数として渡したり、戻り値として返したりすることで、柔軟で再利用可能なコードを実現します。
6
-
7
- 本章では、11 言語での高階関数の実装を横断的に比較し、以下を明らかにします:
8
-
9
- - `map` / `filter` / `fold` の 3 大高階関数の言語別イディオム
10
- - 関数を渡す・返すスタイルの言語間の違い
11
- - パイプライン(データ変換の連鎖)の表現方法の多様性
12
-
13
- ```plantuml
14
- @startuml
15
- !theme plain
16
-
17
- rectangle "高階関数の2つの性質" #LightBlue {
18
- card "1. 関数を引数として受け取る" as arg
19
- card "2. 関数を戻り値として返す" as ret
20
- }
21
-
22
- rectangle "3大高階関数" #LightGreen {
23
- card "map: 各要素を変換" as m
24
- card "filter: 条件に合う要素を抽出" as f
25
- card "fold/reduce: 全要素を集約" as r
26
- }
27
-
28
- rectangle "パイプラインスタイル" #LightYellow {
29
- card "メソッドチェーン\n(Scala, Java, C#, Ruby)" as mc
30
- card "パイプ演算子 |>\n(F#, Elixir)" as pipe
31
- card "スレッディングマクロ ->>\n(Clojure)" as thread
32
- card "関数合成 . / $\n(Haskell)" as comp
33
- card "pipe() + fp-ts\n(TypeScript)" as fpts
34
- }
35
-
36
- @enduml
37
- ```
38
-
39
- ---
40
-
41
- ## 4.2 共通の本質:map / filter / fold
42
-
43
- 11 言語すべてで共通する 3 大高階関数を確認します。
44
-
45
- ### map: 各要素を変換する
46
-
47
- リストの各要素に関数を適用し、変換結果の新しいリストを返します。
48
-
49
- ```plantuml
50
- @startuml
51
- !theme plain
52
-
53
- rectangle "入力" #LightBlue {
54
- card "[\"scala\", \"rust\", \"ada\"]" as input
55
- }
56
-
57
- rectangle "変換関数" #LightYellow {
58
- card "length" as fn
59
- }
60
-
61
- rectangle "出力" #LightGreen {
62
- card "[5, 4, 3]" as output
63
- }
64
-
65
- input -right-> fn : map
66
- fn -right-> output
67
-
68
- @enduml
69
- ```
70
-
71
- 3 つの言語グループから代表例を見てみましょう:
72
-
73
- ```haskell
74
- -- Haskell: 関数適用スタイル
75
- map length ["scala", "rust", "ada"] -- [5, 4, 3]
76
- ```
77
-
78
- ```scala
79
- // Scala: メソッドチェーンスタイル
80
- List("scala", "rust", "ada").map(_.length) // List(5, 4, 3)
81
- ```
82
-
83
- ```python
84
- # Python: リスト内包表記(map の代替イディオム)
85
- [len(w) for w in ["scala", "rust", "ada"]] # [5, 4, 3]
86
- ```
87
-
88
- ### filter: 条件に合う要素を抽出する
89
-
90
- 述語関数(`Boolean` を返す関数)で要素を選別します。
91
-
92
- ```haskell
93
- -- Haskell
94
- filter odd [5, 1, 2, 4, 0] -- [5, 1]
95
- ```
96
-
97
- ```scala
98
- // Scala
99
- List(5, 1, 2, 4, 0).filter(_ % 2 == 1) // List(5, 1)
100
- ```
101
-
102
- ```python
103
- # Python
104
- [n for n in [5, 1, 2, 4, 0] if n % 2 == 1] # [5, 1]
105
- ```
106
-
107
- ### fold / reduce: 全要素を集約する
108
-
109
- 初期値と二項演算を使い、リスト全体を 1 つの値に畳み込みます。
110
-
111
- ```haskell
112
- -- Haskell
113
- foldl (+) 0 [5, 1, 2, 4, 100] -- 112
114
- ```
115
-
116
- ```scala
117
- // Scala
118
- List(5, 1, 2, 4, 100).foldLeft(0)(_ + _) // 112
119
- ```
120
-
121
- ```python
122
- # Python
123
- from functools import reduce
124
- reduce(lambda acc, n: acc + n, [5, 1, 2, 4, 100], 0) # 112
125
- ```
126
-
127
- ---
128
-
129
- ## 4.3 言語別 map / filter / fold 比較
130
-
131
- ### 全 11 言語の実装
132
-
133
- #### 関数型ファースト言語
134
-
135
- <details>
136
- <summary>Haskell 実装</summary>
137
-
138
- ```haskell
139
- -- map
140
- map length ["scala", "rust", "ada"] -- [5, 4, 3]
141
- map (* 2) [5, 1, 2, 4, 0] -- [10, 2, 4, 8, 0]
142
-
143
- -- filter
144
- filter odd [5, 1, 2, 4, 0] -- [5, 1]
145
-
146
- -- foldl(左畳み込み)
147
- foldl (+) 0 [5, 1, 2, 4, 100] -- 112
148
- ```
149
-
150
- Haskell ではすべての関数がデフォルトでカリー化されており、`map length` のように部分適用で簡潔に書けます。
151
-
152
- </details>
153
-
154
- <details>
155
- <summary>Clojure 実装</summary>
156
-
157
- ```clojure
158
- ;; map
159
- (map count ["scala" "rust" "ada"]) ;; (5 4 3)
160
-
161
- ;; filter
162
- (filter odd? [5 1 2 4 0]) ;; (5 1)
163
-
164
- ;; reduce
165
- (reduce + 0 [5 1 2 4 100]) ;; 112
166
-
167
- ;; スレッディングマクロで連鎖
168
- (->> [1 2 3 4 5]
169
- (filter odd?)
170
- (map #(* % %))
171
- (reduce +)) ;; 35
172
- ```
173
-
174
- Clojure のスレッディングマクロ `->>` は、データを最後の引数に渡しながら関数を連鎖させます。
175
-
176
- </details>
177
-
178
- <details>
179
- <summary>Elixir 実装</summary>
180
-
181
- ```elixir
182
- # map(キャプチャ演算子 & で関数を渡す)
183
- Enum.map(["elixir", "rust", "ada"], &String.length/1) # [6, 4, 3]
184
-
185
- # filter
186
- Enum.filter([5, 1, 2, 4, 0], &(rem(&1, 2) == 1)) # [5, 1]
187
-
188
- # reduce
189
- Enum.reduce([5, 1, 2, 4, 100], 0, &(&1 + &2)) # 112
190
-
191
- # パイプ演算子で連鎖
192
- [1, 2, 3, 4, 5]
193
- |> Enum.filter(&(rem(&1, 2) == 1))
194
- |> Enum.map(&(&1 * &1))
195
- |> Enum.reduce(0, &(&1 + &2)) # 35
196
- ```
197
-
198
- Elixir のキャプチャ演算子 `&` と `/1`(アリティ指定)で、名前付き関数を高階関数に渡します。
199
-
200
- </details>
201
-
202
- <details>
203
- <summary>F# 実装</summary>
204
-
205
- ```fsharp
206
- // map(パイプライン演算子 |>)
207
- ["scala"; "rust"; "ada"] |> List.map String.length // [5; 4; 3]
208
-
209
- // filter
210
- [5; 1; 2; 4; 0] |> List.filter (fun n -> n % 2 = 1) // [5; 1]
211
-
212
- // fold
213
- [5; 1; 2; 4; 100] |> List.fold (fun acc i -> acc + i) 0 // 112
214
-
215
- // パイプラインで連鎖
216
- [1; 2; 3; 4; 5]
217
- |> List.filter (fun n -> n % 2 = 1)
218
- |> List.map (fun n -> n * n)
219
- |> List.fold (fun acc n -> acc + n) 0 // 35
220
- ```
221
-
222
- F# のパイプライン演算子 `|>` は、左辺の値を右辺の関数の最後の引数に渡します。
223
-
224
- </details>
225
-
226
- #### マルチパラダイム言語
227
-
228
- <details>
229
- <summary>Scala 実装</summary>
230
-
231
- ```scala
232
- // map
233
- List("scala", "rust", "ada").map(_.length) // List(5, 4, 3)
234
- List(5, 1, 2, 4, 0).map(_ * 2) // List(10, 2, 4, 8, 0)
235
-
236
- // filter
237
- List(5, 1, 2, 4, 0).filter(_ % 2 == 1) // List(5, 1)
238
-
239
- // foldLeft
240
- List(5, 1, 2, 4, 100).foldLeft(0)(_ + _) // 112
241
-
242
- // メソッドチェーンで連鎖
243
- List(1, 2, 3, 4, 5)
244
- .filter(_ % 2 == 1)
245
- .map(n => n * n)
246
- .foldLeft(0)(_ + _) // 35
247
- ```
248
-
249
- Scala のプレースホルダ構文 `_` で、ラムダ式を簡潔に書けます。
250
-
251
- </details>
252
-
253
- <details>
254
- <summary>Rust 実装</summary>
255
-
256
- ```rust
257
- // map(イテレータアダプタ)
258
- vec!["scala", "rust", "ada"].iter().map(|s| s.len()).collect::<Vec<_>>()
259
- // [5, 4, 3]
260
-
261
- // filter
262
- vec![5, 1, 2, 4, 0].iter().filter(|&&n| n % 2 == 1).cloned().collect::<Vec<_>>()
263
- // [5, 1]
264
-
265
- // fold
266
- vec![5, 1, 2, 4, 100].iter().fold(0, |acc, &n| acc + n)
267
- // 112
268
-
269
- // イテレータチェーンで連鎖
270
- vec![1, 2, 3, 4, 5].iter()
271
- .filter(|&&n| n % 2 == 1)
272
- .map(|&n| n * n)
273
- .fold(0, |acc, n| acc + n) // 35
274
- ```
275
-
276
- Rust のイテレータアダプタはゼロコスト抽象化であり、手書きのループと同等のパフォーマンスを発揮します。`.collect()` で遅延実行されたイテレータを具体的なコレクションに変換します。
277
-
278
- </details>
279
-
280
- <details>
281
- <summary>TypeScript (fp-ts) 実装</summary>
282
-
283
- ```typescript
284
- import { pipe } from 'fp-ts/function'
285
- import * as RA from 'fp-ts/ReadonlyArray'
286
-
287
- // map
288
- pipe(["scala", "rust", "ada"], RA.map((w) => w.length))
289
- // [5, 4, 3]
290
-
291
- // filter
292
- pipe([5, 1, 2, 4, 0], RA.filter((n) => n % 2 === 1))
293
- // [5, 1]
294
-
295
- // reduce
296
- pipe([5, 1, 2, 4, 100], RA.reduce(0, (acc, n) => acc + n))
297
- // 112
298
-
299
- // pipe で連鎖
300
- pipe(
301
- [1, 2, 3, 4, 5],
302
- RA.filter((n) => n % 2 === 1),
303
- RA.map((n) => n * n),
304
- RA.reduce(0, (acc, n) => acc + n)
305
- ) // 35
306
- ```
307
-
308
- TypeScript の fp-ts は `pipe()` 関数で関数合成を実現します。各操作は `ReadonlyArray`(`RA`)モジュールの関数として提供されます。
309
-
310
- </details>
311
-
312
- #### OOP + FP ライブラリ言語
313
-
314
- <details>
315
- <summary>Java (Vavr) 実装</summary>
316
-
317
- ```java
318
- // map(メソッド参照)
319
- List.of("scala", "rust", "ada").map(String::length) // List(5, 4, 3)
320
-
321
- // filter
322
- List.of(5, 1, 2, 4, 0).filter(n -> n % 2 == 1) // List(5, 1)
323
-
324
- // foldLeft
325
- List.of(5, 1, 2, 4, 100).foldLeft(0, (acc, i) -> acc + i) // 112
326
-
327
- // メソッドチェーンで連鎖
328
- List.of(1, 2, 3, 4, 5)
329
- .filter(n -> n % 2 == 1)
330
- .map(n -> n * n)
331
- .foldLeft(0, Integer::sum) // 35
332
- ```
333
-
334
- Java のメソッド参照 `String::length` で、ラムダ式なしに既存のメソッドを高階関数に渡せます。
335
-
336
- </details>
337
-
338
- <details>
339
- <summary>C# (LanguageExt) 実装</summary>
340
-
341
- ```csharp
342
- // Map
343
- Seq("scala", "rust", "ada").Map(w => w.Length) // Seq(5, 4, 3)
344
-
345
- // Filter
346
- Seq(5, 1, 2, 4, 0).Filter(n => n % 2 == 1) // Seq(5, 1)
347
-
348
- // Fold
349
- Seq(5, 1, 2, 4, 100).Fold(0, (acc, i) => acc + i) // 112
350
-
351
- // メソッドチェーンで連鎖
352
- Seq(1, 2, 3, 4, 5)
353
- .Filter(n => n % 2 == 1)
354
- .Map(n => n * n)
355
- .Fold(0, (acc, n) => acc + n) // 35
356
- ```
357
-
358
- </details>
359
-
360
- <details>
361
- <summary>Python 実装</summary>
362
-
363
- ```python
364
- # map(リスト内包表記が推奨)
365
- [len(w) for w in ["scala", "rust", "ada"]] # [5, 4, 3]
366
-
367
- # filter(条件付きリスト内包表記が推奨)
368
- [n for n in [5, 1, 2, 4, 0] if n % 2 == 1] # [5, 1]
369
-
370
- # reduce
371
- from functools import reduce
372
- reduce(lambda acc, n: acc + n, [5, 1, 2, 4, 100], 0) # 112
373
-
374
- # 組み込み関数版
375
- list(map(len, ["scala", "rust", "ada"])) # [5, 4, 3]
376
- list(filter(lambda n: n % 2 == 1, [5, 1, 2, 4, 0])) # [5, 1]
377
- ```
378
-
379
- Python ではリスト内包表記が `map` / `filter` の推奨代替イディオムです。`reduce` のみ `functools` からのインポートが必要です。
380
-
381
- </details>
382
-
383
- <details>
384
- <summary>Ruby 実装</summary>
385
-
386
- ```ruby
387
- # map(ブロック構文)
388
- ["scala", "rust", "ada"].map { |w| w.length } # [5, 4, 3]
389
- ["scala", "rust", "ada"].map(&:length) # シンボル to プロック変換
390
-
391
- # select(filter 相当)
392
- [5, 1, 2, 4, 0].select(&:odd?) # [5, 1]
393
-
394
- # reduce
395
- [5, 1, 2, 4, 100].reduce(0, :+) # 112
396
-
397
- # メソッドチェーンで連鎖
398
- [1, 2, 3, 4, 5]
399
- .select(&:odd?)
400
- .map { |n| n * n }
401
- .reduce(0, :+) # 35
402
- ```
403
-
404
- Ruby の `&:method_name` はシンボルを Proc に変換する構文糖衣です。`filter` の代わりに `select` を使うのが Ruby の慣習です。
405
-
406
- </details>
407
-
408
- ### 語彙比較表
409
-
410
- | 操作 | Haskell | Clojure | Elixir | F# | Scala | Rust | TypeScript | Java | C# | Python | Ruby |
411
- |------|---------|---------|--------|----|-------|------|------------|------|----|--------|------|
412
- | 変換 | `map` | `map` | `Enum.map` | `List.map` | `.map` | `.map` | `RA.map` | `.map` | `.Map` | 内包表記 | `.map` |
413
- | 抽出 | `filter` | `filter` | `Enum.filter` | `List.filter` | `.filter` | `.filter` | `RA.filter` | `.filter` | `.Filter` | 内包表記 | `.select` |
414
- | 集約 | `foldl` | `reduce` | `Enum.reduce` | `List.fold` | `.foldLeft` | `.fold` | `RA.reduce` | `.foldLeft` | `.Fold` | `reduce` | `.reduce` |
415
-
416
- **発見**: `map` と `filter` はほぼ全言語で同名です。集約操作のみ `fold` 系(Haskell, F#, Scala, Rust, C#)と `reduce` 系(Clojure, Elixir, Python, Ruby, TypeScript)に分かれます。Ruby は `filter` の代わりに `select` を使う唯一の言語です。
417
-
418
- ---
419
-
420
- ## 4.4 ワードスコアリング:関数を渡すパターン
421
-
422
- 高階関数の真価は、**振る舞いをパラメータ化**できることです。同じランキングロジックに異なるスコアリング関数を渡すことで、柔軟なランキングを実現します。
423
-
424
- ### ビジネスロジック
425
-
426
- ```
427
- score(word) = 'a' を除いた文字数
428
- bonus(word) = 'c' を含めば +5
429
- penalty(word) = 's' を含めば -7
430
-
431
- rankedWords(scoreFunction, words) = scoreFunction でソートしたランキング
432
- ```
433
-
434
- ### 代表 3 言語の比較
435
-
436
- **Haskell**: 関数合成スタイル
437
-
438
- ```haskell
439
- score :: String -> Int
440
- score word = length $ filter (/= 'a') word
441
-
442
- rankedWords :: (String -> Int) -> [String] -> [String]
443
- rankedWords wordScore words = reverse $ sortBy (comparing wordScore) words
444
-
445
- -- 基本スコア
446
- rankedWords score words
447
- -- ボーナス付き
448
- rankedWords (\w -> score w + bonus w) words
449
- -- 複合スコア
450
- rankedWords (\w -> score w + bonus w - penalty w) words
451
- ```
452
-
453
- **Scala**: プレースホルダ構文
454
-
455
- ```scala
456
- def score(word: String): Int = word.replaceAll("a", "").length
457
-
458
- def rankedWords(wordScore: String => Int, words: List[String]): List[String] =
459
- words.sortBy(wordScore).reverse
460
-
461
- // 基本スコア
462
- rankedWords(score, words)
463
- // ボーナス付き
464
- rankedWords(w => score(w) + bonus(w), words)
465
- // 複合スコア
466
- rankedWords(w => score(w) + bonus(w) - penalty(w), words)
467
- ```
468
-
469
- **Python**: Callable 型ヒント
470
-
471
- ```python
472
- def score(word: str) -> int:
473
- return len(word.replace("a", ""))
474
-
475
- def ranked_words(words: list[str], word_score: Callable[[str], int]) -> list[str]:
476
- return sorted(words, key=word_score, reverse=True)
477
-
478
- # 基本スコア
479
- ranked_words(words, score)
480
- # ボーナス付き
481
- ranked_words(words, lambda w: score(w) + bonus(w))
482
- # 複合スコア
483
- ranked_words(words, lambda w: score(w) + bonus(w) - penalty(w))
484
- ```
485
-
486
- **共通パターン**: `rankedWords` 関数は「スコアリングのロジック」を知りません。どのスコア関数を使うかは呼び出し側が決めます。これが高階関数による**関心の分離**です。
487
-
488
- ### 全 11 言語の実装
489
-
490
- #### 関数型ファースト言語
491
-
492
- <details>
493
- <summary>Haskell 実装</summary>
494
-
495
- ```haskell
496
- score :: String -> Int
497
- score word = length $ filter (/= 'a') word
498
-
499
- bonus :: String -> Int
500
- bonus word = if 'c' `elem` word then 5 else 0
501
-
502
- penalty :: String -> Int
503
- penalty word = if 's' `elem` word then 7 else 0
504
-
505
- rankedWords :: (String -> Int) -> [String] -> [String]
506
- rankedWords wordScore words = reverse $ sortBy (comparing wordScore) words
507
-
508
- -- 使用例
509
- rankedWords score words
510
- rankedWords (\w -> score w + bonus w) words
511
- rankedWords (\w -> score w + bonus w - penalty w) words
512
- ```
513
-
514
- `comparing` は `Data.Ord` の関数で、値の変換関数から比較関数を生成します。
515
-
516
- </details>
517
-
518
- <details>
519
- <summary>Clojure 実装</summary>
520
-
521
- ```clojure
522
- (defn score [word]
523
- (count (clojure.string/replace word "a" "")))
524
-
525
- (defn bonus [word]
526
- (if (clojure.string/includes? word "c") 5 0))
527
-
528
- (defn penalty [word]
529
- (if (clojure.string/includes? word "s") 7 0))
530
-
531
- (defn ranked-words [word-scorer words]
532
- (reverse (sort-by word-scorer words)))
533
-
534
- ;; 使用例
535
- (ranked-words score words)
536
- (ranked-words #(+ (score %) (bonus %)) words)
537
- (ranked-words #(+ (score %) (bonus %) (- (penalty %))) words)
538
- ```
539
-
540
- `#(...)` は無名関数リテラルで、`%` が引数を表します。
541
-
542
- </details>
543
-
544
- <details>
545
- <summary>Elixir 実装</summary>
546
-
547
- ```elixir
548
- def score(word), do: word |> String.replace("a", "") |> String.length()
549
- def bonus(word), do: if String.contains?(word, "c"), do: 5, else: 0
550
- def penalty(word), do: if String.contains?(word, "s"), do: 7, else: 0
551
-
552
- def ranked_words(word_score, words) do
553
- words
554
- |> Enum.sort_by(word_score)
555
- |> Enum.reverse()
556
- end
557
-
558
- # 使用例
559
- ranked_words(&score/1, words)
560
- ranked_words(fn w -> score(w) + bonus(w) end, words)
561
- ranked_words(fn w -> score(w) + bonus(w) - penalty(w) end, words)
562
- ```
563
-
564
- `&score/1` はキャプチャ演算子で、`score` 関数(アリティ 1)を無名関数として渡します。
565
-
566
- </details>
567
-
568
- <details>
569
- <summary>F# 実装</summary>
570
-
571
- ```fsharp
572
- let wordScore (word: string) : int =
573
- word.Replace("a", "").Length
574
-
575
- let bonus (word: string) : int =
576
- if word.Contains("c") then 5 else 0
577
-
578
- let penalty (word: string) : int =
579
- if word.Contains("s") then 7 else 0
580
-
581
- let rankedWords (scoreFn: string -> int) (words: string list) : string list =
582
- words |> List.sortByDescending scoreFn
583
-
584
- // 使用例
585
- rankedWords wordScore words
586
- rankedWords (fun w -> wordScore w + bonus w) words
587
- rankedWords (fun w -> wordScore w + bonus w - penalty w) words
588
- ```
589
-
590
- F# の関数はデフォルトでカリー化されており、`rankedWords wordScore` で部分適用が可能です。
591
-
592
- </details>
593
-
594
- #### マルチパラダイム言語
595
-
596
- <details>
597
- <summary>Scala 実装</summary>
598
-
599
- ```scala
600
- def score(word: String): Int = word.replaceAll("a", "").length
601
- def bonus(word: String): Int = if (word.contains("c")) 5 else 0
602
- def penalty(word: String): Int = if (word.contains("s")) 7 else 0
603
-
604
- def rankedWords(wordScore: String => Int, words: List[String]): List[String] =
605
- words.sortBy(wordScore).reverse
606
-
607
- // 使用例
608
- rankedWords(score, words)
609
- rankedWords(w => score(w) + bonus(w), words)
610
- rankedWords(w => score(w) + bonus(w) - penalty(w), words)
611
- ```
612
-
613
- </details>
614
-
615
- <details>
616
- <summary>Rust 実装</summary>
617
-
618
- ```rust
619
- pub fn score(word: &str) -> usize {
620
- word.chars().filter(|&c| c != 'a').count()
621
- }
622
-
623
- pub fn ranked_words<'a, F>(words: &[&'a str], word_score: F) -> Vec<&'a str>
624
- where
625
- F: Fn(&str) -> i32,
626
- {
627
- let mut result: Vec<&'a str> = words.to_vec();
628
- result.sort_by(|a, b| word_score(b).cmp(&word_score(a)));
629
- result
630
- }
631
-
632
- // 使用例
633
- let ranking1 = ranked_words(&words, |w| score(w) as i32);
634
- let ranking2 = ranked_words(&words, |w| score(w) as i32 + bonus(w));
635
- let ranking3 = ranked_words(&words, |w| score(w) as i32 + bonus(w) - penalty(w));
636
- ```
637
-
638
- Rust のジェネリクスとトレイト境界 `F: Fn(&str) -> i32` で、クロージャの型を静的に制約します。
639
-
640
- </details>
641
-
642
- <details>
643
- <summary>TypeScript (fp-ts) 実装</summary>
644
-
645
- ```typescript
646
- const score = (word: string): number =>
647
- word.replace(/a/g, '').length
648
-
649
- const rankedWords = (
650
- wordScoreFn: (word: string) => number,
651
- words: readonly string[]
652
- ): readonly string[] =>
653
- pipe(words, RA.sortBy([Ord.reverse(Ord.contramap(wordScoreFn)(N.Ord))]))
654
-
655
- // 使用例
656
- rankedWords(score, words)
657
- rankedWords((w) => score(w) + bonus(w), words)
658
- rankedWords((w) => score(w) + bonus(w) - penalty(w), words)
659
- ```
660
-
661
- fp-ts の `Ord.contramap` は、比較対象を変換する関数を受け取り新しい `Ord` を生成します。
662
-
663
- </details>
664
-
665
- #### OOP + FP ライブラリ言語
666
-
667
- <details>
668
- <summary>Java (Vavr) 実装</summary>
669
-
670
- ```java
671
- public static int score(String word) {
672
- return word.replaceAll("a", "").length();
673
- }
674
-
675
- public static List<String> rankedWords(Function<String, Integer> wordScore, List<String> words) {
676
- return words.sortBy(wordScore).reverse();
677
- }
678
-
679
- // 使用例
680
- rankedWords(WordScoring::score, words);
681
- rankedWords(w -> score(w) + bonus(w), words);
682
- rankedWords(w -> score(w) + bonus(w) - penalty(w), words);
683
- ```
684
-
685
- Java のメソッド参照 `WordScoring::score` で、既存のメソッドを `Function` として渡せます。
686
-
687
- </details>
688
-
689
- <details>
690
- <summary>C# (LanguageExt) 実装</summary>
691
-
692
- ```csharp
693
- public static int WordScore(string word) =>
694
- word.Replace("a", "").Length;
695
-
696
- public static Seq<string> RankedWords(Seq<string> words, Func<string, int> scoreFn) =>
697
- toSeq(words.OrderByDescending(scoreFn));
698
-
699
- // 使用例
700
- RankedWords(words, WordScore);
701
- RankedWords(words, w => WordScore(w) + Bonus(w));
702
- RankedWords(words, w => WordScore(w) + Bonus(w) - Penalty(w));
703
- ```
704
-
705
- </details>
706
-
707
- <details>
708
- <summary>Python 実装</summary>
709
-
710
- ```python
711
- def score(word: str) -> int:
712
- return len(word.replace("a", ""))
713
-
714
- def ranked_words(words: list[str], word_score: Callable[[str], int]) -> list[str]:
715
- return sorted(words, key=word_score, reverse=True)
716
-
717
- # 使用例
718
- ranked_words(words, score)
719
- ranked_words(words, lambda w: score(w) + bonus(w))
720
- ranked_words(words, lambda w: score(w) + bonus(w) - penalty(w))
721
- ```
722
-
723
- Python の `sorted` は `key` パラメータで高階関数パターンを実現します。
724
-
725
- </details>
726
-
727
- <details>
728
- <summary>Ruby 実装</summary>
729
-
730
- ```ruby
731
- def score(word)
732
- word.gsub("a", "").length
733
- end
734
-
735
- def ranked_words(words, &score_fn)
736
- words.sort_by(&score_fn).reverse
737
- end
738
-
739
- # 使用例
740
- ranking1 = ranked_words(words) { |w| score(w) }
741
- ranking2 = ranked_words(words) { |w| score(w) + bonus(w) }
742
- ranking3 = ranked_words(words) { |w| score(w) + bonus(w) - penalty(w) }
743
- ```
744
-
745
- Ruby はブロック構文 `{ |w| ... }` で無名関数を渡します。`&score_fn` でブロックを Proc として受け取り、`&` で再度ブロックに変換して `sort_by` に渡します。
746
-
747
- </details>
748
-
749
- ---
750
-
751
- ## 4.5 関数を返す関数:カリー化と部分適用
752
-
753
- 高階関数のもう一つの側面は、「関数を返す関数」です。特に「閾値より大きい要素をフィルタする」パターンで比較します。
754
-
755
- ### 代表 3 言語の比較
756
-
757
- **Haskell**: すべての関数がデフォルトでカリー化
758
-
759
- ```haskell
760
- largerThan :: Int -> (Int -> Bool)
761
- largerThan n = \i -> i > n
762
-
763
- -- 部分適用で新しい関数を生成
764
- filter (largerThan 4) [5, 1, 2, 4, 0] -- [5]
765
- filter (largerThan 1) [5, 1, 2, 4, 0] -- [5, 2, 4]
766
- ```
767
-
768
- **Scala**: 明示的なカリー化
769
-
770
- ```scala
771
- def largerThan(n: Int): Int => Boolean = i => i > n
772
-
773
- List(5, 1, 2, 4, 0).filter(largerThan(4)) // List(5)
774
- List(5, 1, 2, 4, 0).filter(largerThan(1)) // List(5, 2, 4)
775
- ```
776
-
777
- **Python**: クロージャによる関数生成
778
-
779
- ```python
780
- def larger_than(n: int) -> Callable[[int], bool]:
781
- return lambda i: i > n
782
-
783
- list(filter(larger_than(4), [5, 1, 2, 4, 0])) # [5]
784
- list(filter(larger_than(1), [5, 1, 2, 4, 0])) # [5, 2, 4]
785
- ```
786
-
787
- ### 全 11 言語の実装
788
-
789
- <details>
790
- <summary>全 11 言語の「関数を返す関数」</summary>
791
-
792
- **Haskell**:
793
- ```haskell
794
- largerThan :: Int -> (Int -> Bool)
795
- largerThan n = \i -> i > n
796
- ```
797
-
798
- **Clojure**:
799
- ```clojure
800
- (defn larger-than [n]
801
- (fn [i] (> i n)))
802
- ```
803
-
804
- **Elixir**:
805
- ```elixir
806
- def larger_than(n), do: fn i -> i > n end
807
- ```
808
-
809
- **F#**:
810
- ```fsharp
811
- let largerThan (n: int) : int -> bool = fun i -> i > n
812
- ```
813
-
814
- **Scala**:
815
- ```scala
816
- def largerThan(n: Int): Int => Boolean = i => i > n
817
- ```
818
-
819
- **Rust**:
820
- ```rust
821
- pub fn larger_than(n: i32) -> impl Fn(i32) -> bool {
822
- move |i| i > n
823
- }
824
- ```
825
-
826
- **TypeScript**:
827
- ```typescript
828
- const largerThan = (n: number): ((i: number) => boolean) => (i) => i > n
829
- ```
830
-
831
- **Java**:
832
- ```java
833
- public static Predicate<Integer> largerThan(int n) {
834
- return i -> i > n;
835
- }
836
- ```
837
-
838
- **C#**:
839
- ```csharp
840
- public static Func<int, bool> LargerThan(int n) => i => i > n;
841
- ```
842
-
843
- **Python**:
844
- ```python
845
- def larger_than(n: int) -> Callable[[int], bool]:
846
- return lambda i: i > n
847
- ```
848
-
849
- **Ruby**:
850
- ```ruby
851
- def larger_than_fn(n)
852
- ->(i) { i > n }
853
- end
854
- ```
855
-
856
- </details>
857
-
858
- ### カリー化の比較
859
-
860
- | レベル | 言語 | 特徴 |
861
- |--------|------|------|
862
- | **自動カリー化** | Haskell, F# | すべての多引数関数が自動的にカリー化される |
863
- | **構文サポート** | Scala, Rust, TypeScript | 戻り値型に関数型を明示して実現 |
864
- | **ラムダ式で実現** | Java, C#, Clojure, Elixir | クロージャ / ラムダ式で関数を返す |
865
- | **慣習的** | Python, Ruby | `lambda` / `->` で手動構築 |
866
-
867
- **発見**: Haskell と F# では `largerThan 4` が自然な部分適用ですが、他の言語では関数の返却を明示的に記述する必要があります。Rust の `move |i| i > n` は、キャプチャした値の所有権を明示する独自のパターンです。
868
-
869
- ---
870
-
871
- ## 4.6 パイプラインスタイルの比較
872
-
873
- 高階関数の連鎖(パイプライン)は、言語によって記法が大きく異なります。同じ処理を 5 つのスタイルで比較します。
874
-
875
- ### 処理内容
876
-
877
- 「奇数のみ抽出 → 二乗 → 合計」を `[1, 2, 3, 4, 5]` に適用(期待結果: 35)
878
-
879
- ### F# パイプ演算子 `|>`
880
-
881
- ```fsharp
882
- [1; 2; 3; 4; 5]
883
- |> List.filter (fun n -> n % 2 = 1)
884
- |> List.map (fun n -> n * n)
885
- |> List.fold (fun acc n -> acc + n) 0
886
- ```
887
-
888
- データが左から右に流れ、変換の各ステップが明確です。
889
-
890
- ### Clojure スレッディングマクロ `->>`
891
-
892
- ```clojure
893
- (->> [1 2 3 4 5]
894
- (filter odd?)
895
- (map #(* % %))
896
- (reduce +))
897
- ```
898
-
899
- `->>` は値を各フォームの**最後の引数**に挿入します。LISP の S 式でありながら、上から下にデータが流れる読みやすさを実現しています。
900
-
901
- ### Scala メソッドチェーン
902
-
903
- ```scala
904
- List(1, 2, 3, 4, 5)
905
- .filter(_ % 2 == 1)
906
- .map(n => n * n)
907
- .foldLeft(0)(_ + _)
908
- ```
909
-
910
- OOP スタイルのメソッドチェーンは、多くの開発者にとって最も馴染みやすい形式です。
911
-
912
- ### Haskell 関数合成 `.` と `$`
913
-
914
- ```haskell
915
- foldl (+) 0 . map (\n -> n * n) . filter odd $ [1, 2, 3, 4, 5]
916
- ```
917
-
918
- Haskell は右から左に関数を合成し、`$` でデータを渡します。数学的な関数合成 `f . g` に最も近い表現です。
919
-
920
- ### TypeScript fp-ts `pipe()`
921
-
922
- ```typescript
923
- pipe(
924
- [1, 2, 3, 4, 5],
925
- RA.filter((n) => n % 2 === 1),
926
- RA.map((n) => n * n),
927
- RA.reduce(0, (acc, n) => acc + n)
928
- )
929
- ```
930
-
931
- fp-ts の `pipe()` は Haskell の `|>` を関数として再現し、型推論が各ステップで効きます。
932
-
933
- ### Rust イテレータチェーン
934
-
935
- ```rust
936
- vec![1, 2, 3, 4, 5].iter()
937
- .filter(|&&n| n % 2 == 1)
938
- .map(|&n| n * n)
939
- .fold(0, |acc, n| acc + n)
940
- ```
941
-
942
- Rust のイテレータチェーンは遅延評価で、`.collect()` を呼ぶまで実行されません。
943
-
944
- ### パイプラインスタイル比較表
945
-
946
- | スタイル | 言語 | データの流れ | 特徴 |
947
- |---------|------|------------|------|
948
- | パイプ演算子 `\|>` | F#, Elixir | 左 → 右 | 最も直感的なデータフロー |
949
- | スレッディングマクロ | Clojure | 上 → 下 | S 式でありながら読みやすい |
950
- | メソッドチェーン | Scala, Java, C#, Ruby | 左 → 右 | OOP 開発者に馴染みやすい |
951
- | 関数合成 `.` / `$` | Haskell | 右 → 左 | 数学的な関数合成に忠実 |
952
- | `pipe()` 関数 | TypeScript (fp-ts) | 上 → 下 | 型推論との両立 |
953
- | イテレータチェーン | Rust | 左 → 右 | ゼロコスト抽象化 |
954
-
955
- ---
956
-
957
- ## 4.7 比較分析:3 つの発見
958
-
959
- ### 発見 1: map / filter は普遍的、fold の命名は分裂している
960
-
961
- `map` と `filter`(Ruby の `select` を除く)はほぼ全言語で同名ですが、畳み込み操作の命名は 2 派に分かれます:
962
-
963
- - **fold 派**: Haskell (`foldl`), F# (`List.fold`), Scala (`foldLeft`), Rust (`.fold`), C# (`.Fold`)
964
- - **reduce 派**: Clojure (`reduce`), Elixir (`Enum.reduce`), Python (`reduce`), Ruby (`.reduce`), TypeScript (`RA.reduce`)
965
- - **Java は両方**: Vavr は `foldLeft`、標準 Stream API は `reduce`
966
-
967
- これは歴史的な系譜を反映しています。`fold` は ML / Haskell 系、`reduce` は Lisp / APL 系の伝統です。
968
-
969
- ### 発見 2: 関数の渡し方は 4 パターンに分類できる
970
-
971
- | パターン | 言語 | 例 |
972
- |---------|------|-----|
973
- | **名前で渡す** | Haskell, Clojure, F# | `map length`, `(map count)` |
974
- | **メソッド参照** | Java, Scala | `String::length`, `_.length` |
975
- | **ブロック / キャプチャ** | Ruby, Elixir | `{ \|w\| w.length }`, `&String.length/1` |
976
- | **ラムダ / アロー関数** | TypeScript, Python, Rust, C# | `(w) => w.length`, `lambda w: len(w)` |
977
-
978
- 関数型ファースト言語ほど、関数を「名前だけ」で渡せるシンプルな構文を持ちます。
979
-
980
- ### 発見 3: ワードスコアリングパターンは「戦略パターン」の関数型版
981
-
982
- OOP のデザインパターンにおける**戦略パターン**(Strategy Pattern)は、振る舞いをインターフェースで抽象化し、実行時に切り替えます。関数型では、高階関数が同じ目的を**インターフェース定義なし**で実現します。
983
-
984
- ```
985
- OOP: interface ScoreStrategy { int score(String word); }
986
- FP: (String -> Int) ← 関数型そのものがインターフェース
987
- ```
988
-
989
- 11 言語すべてで `rankedWords(scoreFunction, words)` という同一のパターンが成立するのは、高階関数が戦略パターンの普遍的な簡易版であることを示しています。
990
-
991
- ---
992
-
993
- ## 4.8 言語固有の特徴
994
-
995
- ### Python: リスト内包表記という独自イディオム
996
-
997
- Python では `map` / `filter` よりもリスト内包表記が推奨されています。これは Pythonic なスタイルとされ、ネストした変換も読みやすく書けます。
998
-
999
- ```python
1000
- # map + filter を 1 つの内包表記で
1001
- [n * n for n in [1, 2, 3, 4, 5] if n % 2 == 1] # [1, 9, 25]
1002
- ```
1003
-
1004
- ### Ruby: ブロックとシンボル変換
1005
-
1006
- Ruby の `&:method_name` は、シンボルを Proc に変換する構文糖衣で、高階関数呼び出しを極めて簡潔にします。
1007
-
1008
- ```ruby
1009
- ["hello", "world"].map(&:upcase) # ["HELLO", "WORLD"]
1010
- [1, 2, 3, nil, 4].select(&:itself) # [1, 2, 3, 4]
1011
- ```
1012
-
1013
- ### Rust: ゼロコスト抽象化
1014
-
1015
- Rust のイテレータアダプタは、コンパイル時にインライン化され、手書きのループと同等のパフォーマンスを発揮します。さらに、クロージャが値をキャプチャする際の所有権を `move` キーワードで明示します。
1016
-
1017
- ```rust
1018
- pub fn larger_than(n: i32) -> impl Fn(i32) -> bool {
1019
- move |i| i > n // n の所有権をクロージャに移動
1020
- }
1021
- ```
1022
-
1023
- ### Elixir: キャプチャ演算子
1024
-
1025
- Elixir の `&` / `/arity` は、名前付き関数を無名関数に変換するユニークな構文です。
1026
-
1027
- ```elixir
1028
- # 関数キャプチャ
1029
- Enum.map(words, &score/1)
1030
-
1031
- # 短縮無名関数
1032
- Enum.map(words, &(&1 * 2)) # 各要素を2倍
1033
- ```
1034
-
1035
- ---
1036
-
1037
- ## 4.9 実践的な選択指針
1038
-
1039
- ### パイプラインスタイルの選択
1040
-
1041
- | 重視する点 | 推奨スタイル | 言語 |
1042
- |-----------|------------|------|
1043
- | データフローの可視性 | パイプ演算子 | F#, Elixir |
1044
- | OOP チームとの親和性 | メソッドチェーン | Scala, Java, C#, Ruby |
1045
- | 数学的な厳密性 | 関数合成 | Haskell |
1046
- | 型安全なパイプライン | pipe() + fp-ts | TypeScript |
1047
- | パフォーマンス | イテレータチェーン | Rust |
1048
-
1049
- ### 高階関数の導入戦略
1050
-
1051
- **OOP から移行する場合**:
1052
-
1053
- 1. まず `map` / `filter` をコレクション操作に導入(最も直感的)
1054
- 2. `fold` / `reduce` で集約パターンを学ぶ
1055
- 3. 関数を引数に渡すパターンで戦略パターンを置き換え
1056
- 4. 関数を返す関数(カリー化)で設定のパラメータ化
1057
-
1058
- **すでに FP に慣れている場合**:
1059
-
1060
- 1. パイプラインスタイルの統一(チーム内で一貫性を持たせる)
1061
- 2. 部分適用とカリー化で再利用性を向上
1062
- 3. `fold` による汎用的なデータ変換パターンの活用
1063
-
1064
- ---
1065
-
1066
- ## 4.10 まとめ
1067
-
1068
- 本章では、11 言語での高階関数の実装を比較し、以下を確認しました:
1069
-
1070
- **共通の原則**:
1071
-
1072
- - `map` / `filter` / `fold`(`reduce`)は全言語に存在する普遍的な操作
1073
- - ワードスコアリングパターン(振る舞いのパラメータ化)は全言語で同じ構造
1074
- - 高階関数は OOP の戦略パターンの関数型版として機能する
1075
-
1076
- **言語間の差異**:
1077
-
1078
- - 畳み込みの命名は `fold` 系と `reduce` 系に分裂
1079
- - パイプラインスタイルは 6 種類(パイプ演算子、スレッディングマクロ、メソッドチェーン、関数合成、pipe 関数、イテレータチェーン)
1080
- - カリー化の自動度は Haskell/F# > Scala/Rust/TypeScript > Java/C#/Clojure/Elixir > Python/Ruby
1081
-
1082
- **学び**:
1083
-
1084
- - 高階関数の概念は言語に依存しない
1085
- - 言語の違いは「関数をどう渡すか」「パイプラインをどう表現するか」に表れる
1086
- - Python のリスト内包表記と Ruby のブロック構文は、高階関数の独自の進化形
1087
-
1088
- ---
1089
-
1090
- ### 各言語の詳細記事
1091
-
1092
- | 言語 | 記事リンク |
1093
- |------|-----------|
1094
- | Scala | [Part II: 関数型スタイルのプログラミング](../scala/part-2.md) |
1095
- | Java | [Part II: 関数型スタイルのプログラミング](../java/part-2.md) |
1096
- | F# | [Part II: 関数型スタイルのプログラミング](../fsharp/part-2.md) |
1097
- | C# | [Part II: 関数型スタイルのプログラミング](../csharp/part-2.md) |
1098
- | Haskell | [Part II: 関数型スタイルのプログラミング](../haskell/part-2.md) |
1099
- | Clojure | [Part II: 関数型スタイルのプログラミング](../clojure/part-2.md) |
1100
- | Elixir | [Part II: 関数型スタイルのプログラミング](../elixir/part-2.md) |
1101
- | Rust | [Part II: 関数型スタイルのプログラミング](../rust/part-2.md) |
1102
- | Python | [Part II: 関数型スタイルのプログラミング](../python/part-2.md) |
1103
- | TypeScript | [Part II: 関数型スタイルのプログラミング](../typescript/part-2.md) |
1104
- | Ruby | [Part II: 関数型スタイルのプログラミング](../ruby/part-2.md) |
1
+ # Part II - 第 4 章:高階関数
2
+
3
+ ## 4.1 はじめに:関数を値として扱う
4
+
5
+ 高階関数(Higher-Order Functions)は、関数型プログラミングの最も強力な構成要素です。関数を「値」として扱い、引数として渡したり、戻り値として返したりすることで、柔軟で再利用可能なコードを実現します。
6
+
7
+ 本章では、11 言語での高階関数の実装を横断的に比較し、以下を明らかにします:
8
+
9
+ - `map` / `filter` / `fold` の 3 大高階関数の言語別イディオム
10
+ - 関数を渡す・返すスタイルの言語間の違い
11
+ - パイプライン(データ変換の連鎖)の表現方法の多様性
12
+
13
+ ```plantuml
14
+ @startuml
15
+ !theme plain
16
+
17
+ rectangle "高階関数の2つの性質" #LightBlue {
18
+ card "1. 関数を引数として受け取る" as arg
19
+ card "2. 関数を戻り値として返す" as ret
20
+ }
21
+
22
+ rectangle "3大高階関数" #LightGreen {
23
+ card "map: 各要素を変換" as m
24
+ card "filter: 条件に合う要素を抽出" as f
25
+ card "fold/reduce: 全要素を集約" as r
26
+ }
27
+
28
+ rectangle "パイプラインスタイル" #LightYellow {
29
+ card "メソッドチェーン\n(Scala, Java, C#, Ruby)" as mc
30
+ card "パイプ演算子 |>\n(F#, Elixir)" as pipe
31
+ card "スレッディングマクロ ->>\n(Clojure)" as thread
32
+ card "関数合成 . / $\n(Haskell)" as comp
33
+ card "pipe() + fp-ts\n(TypeScript)" as fpts
34
+ }
35
+
36
+ @enduml
37
+ ```
38
+
39
+ ---
40
+
41
+ ## 4.2 共通の本質:map / filter / fold
42
+
43
+ 11 言語すべてで共通する 3 大高階関数を確認します。
44
+
45
+ ### map: 各要素を変換する
46
+
47
+ リストの各要素に関数を適用し、変換結果の新しいリストを返します。
48
+
49
+ ```plantuml
50
+ @startuml
51
+ !theme plain
52
+
53
+ rectangle "入力" #LightBlue {
54
+ card "[\"scala\", \"rust\", \"ada\"]" as input
55
+ }
56
+
57
+ rectangle "変換関数" #LightYellow {
58
+ card "length" as fn
59
+ }
60
+
61
+ rectangle "出力" #LightGreen {
62
+ card "[5, 4, 3]" as output
63
+ }
64
+
65
+ input -right-> fn : map
66
+ fn -right-> output
67
+
68
+ @enduml
69
+ ```
70
+
71
+ 3 つの言語グループから代表例を見てみましょう:
72
+
73
+ ```haskell
74
+ -- Haskell: 関数適用スタイル
75
+ map length ["scala", "rust", "ada"] -- [5, 4, 3]
76
+ ```
77
+
78
+ ```scala
79
+ // Scala: メソッドチェーンスタイル
80
+ List("scala", "rust", "ada").map(_.length) // List(5, 4, 3)
81
+ ```
82
+
83
+ ```python
84
+ # Python: リスト内包表記(map の代替イディオム)
85
+ [len(w) for w in ["scala", "rust", "ada"]] # [5, 4, 3]
86
+ ```
87
+
88
+ ### filter: 条件に合う要素を抽出する
89
+
90
+ 述語関数(`Boolean` を返す関数)で要素を選別します。
91
+
92
+ ```haskell
93
+ -- Haskell
94
+ filter odd [5, 1, 2, 4, 0] -- [5, 1]
95
+ ```
96
+
97
+ ```scala
98
+ // Scala
99
+ List(5, 1, 2, 4, 0).filter(_ % 2 == 1) // List(5, 1)
100
+ ```
101
+
102
+ ```python
103
+ # Python
104
+ [n for n in [5, 1, 2, 4, 0] if n % 2 == 1] # [5, 1]
105
+ ```
106
+
107
+ ### fold / reduce: 全要素を集約する
108
+
109
+ 初期値と二項演算を使い、リスト全体を 1 つの値に畳み込みます。
110
+
111
+ ```haskell
112
+ -- Haskell
113
+ foldl (+) 0 [5, 1, 2, 4, 100] -- 112
114
+ ```
115
+
116
+ ```scala
117
+ // Scala
118
+ List(5, 1, 2, 4, 100).foldLeft(0)(_ + _) // 112
119
+ ```
120
+
121
+ ```python
122
+ # Python
123
+ from functools import reduce
124
+ reduce(lambda acc, n: acc + n, [5, 1, 2, 4, 100], 0) # 112
125
+ ```
126
+
127
+ ---
128
+
129
+ ## 4.3 言語別 map / filter / fold 比較
130
+
131
+ ### 全 11 言語の実装
132
+
133
+ #### 関数型ファースト言語
134
+
135
+ <details>
136
+ <summary>Haskell 実装</summary>
137
+
138
+ ```haskell
139
+ -- map
140
+ map length ["scala", "rust", "ada"] -- [5, 4, 3]
141
+ map (* 2) [5, 1, 2, 4, 0] -- [10, 2, 4, 8, 0]
142
+
143
+ -- filter
144
+ filter odd [5, 1, 2, 4, 0] -- [5, 1]
145
+
146
+ -- foldl(左畳み込み)
147
+ foldl (+) 0 [5, 1, 2, 4, 100] -- 112
148
+ ```
149
+
150
+ Haskell ではすべての関数がデフォルトでカリー化されており、`map length` のように部分適用で簡潔に書けます。
151
+
152
+ </details>
153
+
154
+ <details>
155
+ <summary>Clojure 実装</summary>
156
+
157
+ ```clojure
158
+ ;; map
159
+ (map count ["scala" "rust" "ada"]) ;; (5 4 3)
160
+
161
+ ;; filter
162
+ (filter odd? [5 1 2 4 0]) ;; (5 1)
163
+
164
+ ;; reduce
165
+ (reduce + 0 [5 1 2 4 100]) ;; 112
166
+
167
+ ;; スレッディングマクロで連鎖
168
+ (->> [1 2 3 4 5]
169
+ (filter odd?)
170
+ (map #(* % %))
171
+ (reduce +)) ;; 35
172
+ ```
173
+
174
+ Clojure のスレッディングマクロ `->>` は、データを最後の引数に渡しながら関数を連鎖させます。
175
+
176
+ </details>
177
+
178
+ <details>
179
+ <summary>Elixir 実装</summary>
180
+
181
+ ```elixir
182
+ # map(キャプチャ演算子 & で関数を渡す)
183
+ Enum.map(["elixir", "rust", "ada"], &String.length/1) # [6, 4, 3]
184
+
185
+ # filter
186
+ Enum.filter([5, 1, 2, 4, 0], &(rem(&1, 2) == 1)) # [5, 1]
187
+
188
+ # reduce
189
+ Enum.reduce([5, 1, 2, 4, 100], 0, &(&1 + &2)) # 112
190
+
191
+ # パイプ演算子で連鎖
192
+ [1, 2, 3, 4, 5]
193
+ |> Enum.filter(&(rem(&1, 2) == 1))
194
+ |> Enum.map(&(&1 * &1))
195
+ |> Enum.reduce(0, &(&1 + &2)) # 35
196
+ ```
197
+
198
+ Elixir のキャプチャ演算子 `&` と `/1`(アリティ指定)で、名前付き関数を高階関数に渡します。
199
+
200
+ </details>
201
+
202
+ <details>
203
+ <summary>F# 実装</summary>
204
+
205
+ ```fsharp
206
+ // map(パイプライン演算子 |>)
207
+ ["scala"; "rust"; "ada"] |> List.map String.length // [5; 4; 3]
208
+
209
+ // filter
210
+ [5; 1; 2; 4; 0] |> List.filter (fun n -> n % 2 = 1) // [5; 1]
211
+
212
+ // fold
213
+ [5; 1; 2; 4; 100] |> List.fold (fun acc i -> acc + i) 0 // 112
214
+
215
+ // パイプラインで連鎖
216
+ [1; 2; 3; 4; 5]
217
+ |> List.filter (fun n -> n % 2 = 1)
218
+ |> List.map (fun n -> n * n)
219
+ |> List.fold (fun acc n -> acc + n) 0 // 35
220
+ ```
221
+
222
+ F# のパイプライン演算子 `|>` は、左辺の値を右辺の関数の最後の引数に渡します。
223
+
224
+ </details>
225
+
226
+ #### マルチパラダイム言語
227
+
228
+ <details>
229
+ <summary>Scala 実装</summary>
230
+
231
+ ```scala
232
+ // map
233
+ List("scala", "rust", "ada").map(_.length) // List(5, 4, 3)
234
+ List(5, 1, 2, 4, 0).map(_ * 2) // List(10, 2, 4, 8, 0)
235
+
236
+ // filter
237
+ List(5, 1, 2, 4, 0).filter(_ % 2 == 1) // List(5, 1)
238
+
239
+ // foldLeft
240
+ List(5, 1, 2, 4, 100).foldLeft(0)(_ + _) // 112
241
+
242
+ // メソッドチェーンで連鎖
243
+ List(1, 2, 3, 4, 5)
244
+ .filter(_ % 2 == 1)
245
+ .map(n => n * n)
246
+ .foldLeft(0)(_ + _) // 35
247
+ ```
248
+
249
+ Scala のプレースホルダ構文 `_` で、ラムダ式を簡潔に書けます。
250
+
251
+ </details>
252
+
253
+ <details>
254
+ <summary>Rust 実装</summary>
255
+
256
+ ```rust
257
+ // map(イテレータアダプタ)
258
+ vec!["scala", "rust", "ada"].iter().map(|s| s.len()).collect::<Vec<_>>()
259
+ // [5, 4, 3]
260
+
261
+ // filter
262
+ vec![5, 1, 2, 4, 0].iter().filter(|&&n| n % 2 == 1).cloned().collect::<Vec<_>>()
263
+ // [5, 1]
264
+
265
+ // fold
266
+ vec![5, 1, 2, 4, 100].iter().fold(0, |acc, &n| acc + n)
267
+ // 112
268
+
269
+ // イテレータチェーンで連鎖
270
+ vec![1, 2, 3, 4, 5].iter()
271
+ .filter(|&&n| n % 2 == 1)
272
+ .map(|&n| n * n)
273
+ .fold(0, |acc, n| acc + n) // 35
274
+ ```
275
+
276
+ Rust のイテレータアダプタはゼロコスト抽象化であり、手書きのループと同等のパフォーマンスを発揮します。`.collect()` で遅延実行されたイテレータを具体的なコレクションに変換します。
277
+
278
+ </details>
279
+
280
+ <details>
281
+ <summary>TypeScript (fp-ts) 実装</summary>
282
+
283
+ ```typescript
284
+ import { pipe } from 'fp-ts/function'
285
+ import * as RA from 'fp-ts/ReadonlyArray'
286
+
287
+ // map
288
+ pipe(["scala", "rust", "ada"], RA.map((w) => w.length))
289
+ // [5, 4, 3]
290
+
291
+ // filter
292
+ pipe([5, 1, 2, 4, 0], RA.filter((n) => n % 2 === 1))
293
+ // [5, 1]
294
+
295
+ // reduce
296
+ pipe([5, 1, 2, 4, 100], RA.reduce(0, (acc, n) => acc + n))
297
+ // 112
298
+
299
+ // pipe で連鎖
300
+ pipe(
301
+ [1, 2, 3, 4, 5],
302
+ RA.filter((n) => n % 2 === 1),
303
+ RA.map((n) => n * n),
304
+ RA.reduce(0, (acc, n) => acc + n)
305
+ ) // 35
306
+ ```
307
+
308
+ TypeScript の fp-ts は `pipe()` 関数で関数合成を実現します。各操作は `ReadonlyArray`(`RA`)モジュールの関数として提供されます。
309
+
310
+ </details>
311
+
312
+ #### OOP + FP ライブラリ言語
313
+
314
+ <details>
315
+ <summary>Java (Vavr) 実装</summary>
316
+
317
+ ```java
318
+ // map(メソッド参照)
319
+ List.of("scala", "rust", "ada").map(String::length) // List(5, 4, 3)
320
+
321
+ // filter
322
+ List.of(5, 1, 2, 4, 0).filter(n -> n % 2 == 1) // List(5, 1)
323
+
324
+ // foldLeft
325
+ List.of(5, 1, 2, 4, 100).foldLeft(0, (acc, i) -> acc + i) // 112
326
+
327
+ // メソッドチェーンで連鎖
328
+ List.of(1, 2, 3, 4, 5)
329
+ .filter(n -> n % 2 == 1)
330
+ .map(n -> n * n)
331
+ .foldLeft(0, Integer::sum) // 35
332
+ ```
333
+
334
+ Java のメソッド参照 `String::length` で、ラムダ式なしに既存のメソッドを高階関数に渡せます。
335
+
336
+ </details>
337
+
338
+ <details>
339
+ <summary>C# (LanguageExt) 実装</summary>
340
+
341
+ ```csharp
342
+ // Map
343
+ Seq("scala", "rust", "ada").Map(w => w.Length) // Seq(5, 4, 3)
344
+
345
+ // Filter
346
+ Seq(5, 1, 2, 4, 0).Filter(n => n % 2 == 1) // Seq(5, 1)
347
+
348
+ // Fold
349
+ Seq(5, 1, 2, 4, 100).Fold(0, (acc, i) => acc + i) // 112
350
+
351
+ // メソッドチェーンで連鎖
352
+ Seq(1, 2, 3, 4, 5)
353
+ .Filter(n => n % 2 == 1)
354
+ .Map(n => n * n)
355
+ .Fold(0, (acc, n) => acc + n) // 35
356
+ ```
357
+
358
+ </details>
359
+
360
+ <details>
361
+ <summary>Python 実装</summary>
362
+
363
+ ```python
364
+ # map(リスト内包表記が推奨)
365
+ [len(w) for w in ["scala", "rust", "ada"]] # [5, 4, 3]
366
+
367
+ # filter(条件付きリスト内包表記が推奨)
368
+ [n for n in [5, 1, 2, 4, 0] if n % 2 == 1] # [5, 1]
369
+
370
+ # reduce
371
+ from functools import reduce
372
+ reduce(lambda acc, n: acc + n, [5, 1, 2, 4, 100], 0) # 112
373
+
374
+ # 組み込み関数版
375
+ list(map(len, ["scala", "rust", "ada"])) # [5, 4, 3]
376
+ list(filter(lambda n: n % 2 == 1, [5, 1, 2, 4, 0])) # [5, 1]
377
+ ```
378
+
379
+ Python ではリスト内包表記が `map` / `filter` の推奨代替イディオムです。`reduce` のみ `functools` からのインポートが必要です。
380
+
381
+ </details>
382
+
383
+ <details>
384
+ <summary>Ruby 実装</summary>
385
+
386
+ ```ruby
387
+ # map(ブロック構文)
388
+ ["scala", "rust", "ada"].map { |w| w.length } # [5, 4, 3]
389
+ ["scala", "rust", "ada"].map(&:length) # シンボル to プロック変換
390
+
391
+ # select(filter 相当)
392
+ [5, 1, 2, 4, 0].select(&:odd?) # [5, 1]
393
+
394
+ # reduce
395
+ [5, 1, 2, 4, 100].reduce(0, :+) # 112
396
+
397
+ # メソッドチェーンで連鎖
398
+ [1, 2, 3, 4, 5]
399
+ .select(&:odd?)
400
+ .map { |n| n * n }
401
+ .reduce(0, :+) # 35
402
+ ```
403
+
404
+ Ruby の `&:method_name` はシンボルを Proc に変換する構文糖衣です。`filter` の代わりに `select` を使うのが Ruby の慣習です。
405
+
406
+ </details>
407
+
408
+ ### 語彙比較表
409
+
410
+ | 操作 | Haskell | Clojure | Elixir | F# | Scala | Rust | TypeScript | Java | C# | Python | Ruby |
411
+ |------|---------|---------|--------|----|-------|------|------------|------|----|--------|------|
412
+ | 変換 | `map` | `map` | `Enum.map` | `List.map` | `.map` | `.map` | `RA.map` | `.map` | `.Map` | 内包表記 | `.map` |
413
+ | 抽出 | `filter` | `filter` | `Enum.filter` | `List.filter` | `.filter` | `.filter` | `RA.filter` | `.filter` | `.Filter` | 内包表記 | `.select` |
414
+ | 集約 | `foldl` | `reduce` | `Enum.reduce` | `List.fold` | `.foldLeft` | `.fold` | `RA.reduce` | `.foldLeft` | `.Fold` | `reduce` | `.reduce` |
415
+
416
+ **発見**: `map` と `filter` はほぼ全言語で同名です。集約操作のみ `fold` 系(Haskell, F#, Scala, Rust, C#)と `reduce` 系(Clojure, Elixir, Python, Ruby, TypeScript)に分かれます。Ruby は `filter` の代わりに `select` を使う唯一の言語です。
417
+
418
+ ---
419
+
420
+ ## 4.4 ワードスコアリング:関数を渡すパターン
421
+
422
+ 高階関数の真価は、**振る舞いをパラメータ化**できることです。同じランキングロジックに異なるスコアリング関数を渡すことで、柔軟なランキングを実現します。
423
+
424
+ ### ビジネスロジック
425
+
426
+ ```
427
+ score(word) = 'a' を除いた文字数
428
+ bonus(word) = 'c' を含めば +5
429
+ penalty(word) = 's' を含めば -7
430
+
431
+ rankedWords(scoreFunction, words) = scoreFunction でソートしたランキング
432
+ ```
433
+
434
+ ### 代表 3 言語の比較
435
+
436
+ **Haskell**: 関数合成スタイル
437
+
438
+ ```haskell
439
+ score :: String -> Int
440
+ score word = length $ filter (/= 'a') word
441
+
442
+ rankedWords :: (String -> Int) -> [String] -> [String]
443
+ rankedWords wordScore words = reverse $ sortBy (comparing wordScore) words
444
+
445
+ -- 基本スコア
446
+ rankedWords score words
447
+ -- ボーナス付き
448
+ rankedWords (\w -> score w + bonus w) words
449
+ -- 複合スコア
450
+ rankedWords (\w -> score w + bonus w - penalty w) words
451
+ ```
452
+
453
+ **Scala**: プレースホルダ構文
454
+
455
+ ```scala
456
+ def score(word: String): Int = word.replaceAll("a", "").length
457
+
458
+ def rankedWords(wordScore: String => Int, words: List[String]): List[String] =
459
+ words.sortBy(wordScore).reverse
460
+
461
+ // 基本スコア
462
+ rankedWords(score, words)
463
+ // ボーナス付き
464
+ rankedWords(w => score(w) + bonus(w), words)
465
+ // 複合スコア
466
+ rankedWords(w => score(w) + bonus(w) - penalty(w), words)
467
+ ```
468
+
469
+ **Python**: Callable 型ヒント
470
+
471
+ ```python
472
+ def score(word: str) -> int:
473
+ return len(word.replace("a", ""))
474
+
475
+ def ranked_words(words: list[str], word_score: Callable[[str], int]) -> list[str]:
476
+ return sorted(words, key=word_score, reverse=True)
477
+
478
+ # 基本スコア
479
+ ranked_words(words, score)
480
+ # ボーナス付き
481
+ ranked_words(words, lambda w: score(w) + bonus(w))
482
+ # 複合スコア
483
+ ranked_words(words, lambda w: score(w) + bonus(w) - penalty(w))
484
+ ```
485
+
486
+ **共通パターン**: `rankedWords` 関数は「スコアリングのロジック」を知りません。どのスコア関数を使うかは呼び出し側が決めます。これが高階関数による**関心の分離**です。
487
+
488
+ ### 全 11 言語の実装
489
+
490
+ #### 関数型ファースト言語
491
+
492
+ <details>
493
+ <summary>Haskell 実装</summary>
494
+
495
+ ```haskell
496
+ score :: String -> Int
497
+ score word = length $ filter (/= 'a') word
498
+
499
+ bonus :: String -> Int
500
+ bonus word = if 'c' `elem` word then 5 else 0
501
+
502
+ penalty :: String -> Int
503
+ penalty word = if 's' `elem` word then 7 else 0
504
+
505
+ rankedWords :: (String -> Int) -> [String] -> [String]
506
+ rankedWords wordScore words = reverse $ sortBy (comparing wordScore) words
507
+
508
+ -- 使用例
509
+ rankedWords score words
510
+ rankedWords (\w -> score w + bonus w) words
511
+ rankedWords (\w -> score w + bonus w - penalty w) words
512
+ ```
513
+
514
+ `comparing` は `Data.Ord` の関数で、値の変換関数から比較関数を生成します。
515
+
516
+ </details>
517
+
518
+ <details>
519
+ <summary>Clojure 実装</summary>
520
+
521
+ ```clojure
522
+ (defn score [word]
523
+ (count (clojure.string/replace word "a" "")))
524
+
525
+ (defn bonus [word]
526
+ (if (clojure.string/includes? word "c") 5 0))
527
+
528
+ (defn penalty [word]
529
+ (if (clojure.string/includes? word "s") 7 0))
530
+
531
+ (defn ranked-words [word-scorer words]
532
+ (reverse (sort-by word-scorer words)))
533
+
534
+ ;; 使用例
535
+ (ranked-words score words)
536
+ (ranked-words #(+ (score %) (bonus %)) words)
537
+ (ranked-words #(+ (score %) (bonus %) (- (penalty %))) words)
538
+ ```
539
+
540
+ `#(...)` は無名関数リテラルで、`%` が引数を表します。
541
+
542
+ </details>
543
+
544
+ <details>
545
+ <summary>Elixir 実装</summary>
546
+
547
+ ```elixir
548
+ def score(word), do: word |> String.replace("a", "") |> String.length()
549
+ def bonus(word), do: if String.contains?(word, "c"), do: 5, else: 0
550
+ def penalty(word), do: if String.contains?(word, "s"), do: 7, else: 0
551
+
552
+ def ranked_words(word_score, words) do
553
+ words
554
+ |> Enum.sort_by(word_score)
555
+ |> Enum.reverse()
556
+ end
557
+
558
+ # 使用例
559
+ ranked_words(&score/1, words)
560
+ ranked_words(fn w -> score(w) + bonus(w) end, words)
561
+ ranked_words(fn w -> score(w) + bonus(w) - penalty(w) end, words)
562
+ ```
563
+
564
+ `&score/1` はキャプチャ演算子で、`score` 関数(アリティ 1)を無名関数として渡します。
565
+
566
+ </details>
567
+
568
+ <details>
569
+ <summary>F# 実装</summary>
570
+
571
+ ```fsharp
572
+ let wordScore (word: string) : int =
573
+ word.Replace("a", "").Length
574
+
575
+ let bonus (word: string) : int =
576
+ if word.Contains("c") then 5 else 0
577
+
578
+ let penalty (word: string) : int =
579
+ if word.Contains("s") then 7 else 0
580
+
581
+ let rankedWords (scoreFn: string -> int) (words: string list) : string list =
582
+ words |> List.sortByDescending scoreFn
583
+
584
+ // 使用例
585
+ rankedWords wordScore words
586
+ rankedWords (fun w -> wordScore w + bonus w) words
587
+ rankedWords (fun w -> wordScore w + bonus w - penalty w) words
588
+ ```
589
+
590
+ F# の関数はデフォルトでカリー化されており、`rankedWords wordScore` で部分適用が可能です。
591
+
592
+ </details>
593
+
594
+ #### マルチパラダイム言語
595
+
596
+ <details>
597
+ <summary>Scala 実装</summary>
598
+
599
+ ```scala
600
+ def score(word: String): Int = word.replaceAll("a", "").length
601
+ def bonus(word: String): Int = if (word.contains("c")) 5 else 0
602
+ def penalty(word: String): Int = if (word.contains("s")) 7 else 0
603
+
604
+ def rankedWords(wordScore: String => Int, words: List[String]): List[String] =
605
+ words.sortBy(wordScore).reverse
606
+
607
+ // 使用例
608
+ rankedWords(score, words)
609
+ rankedWords(w => score(w) + bonus(w), words)
610
+ rankedWords(w => score(w) + bonus(w) - penalty(w), words)
611
+ ```
612
+
613
+ </details>
614
+
615
+ <details>
616
+ <summary>Rust 実装</summary>
617
+
618
+ ```rust
619
+ pub fn score(word: &str) -> usize {
620
+ word.chars().filter(|&c| c != 'a').count()
621
+ }
622
+
623
+ pub fn ranked_words<'a, F>(words: &[&'a str], word_score: F) -> Vec<&'a str>
624
+ where
625
+ F: Fn(&str) -> i32,
626
+ {
627
+ let mut result: Vec<&'a str> = words.to_vec();
628
+ result.sort_by(|a, b| word_score(b).cmp(&word_score(a)));
629
+ result
630
+ }
631
+
632
+ // 使用例
633
+ let ranking1 = ranked_words(&words, |w| score(w) as i32);
634
+ let ranking2 = ranked_words(&words, |w| score(w) as i32 + bonus(w));
635
+ let ranking3 = ranked_words(&words, |w| score(w) as i32 + bonus(w) - penalty(w));
636
+ ```
637
+
638
+ Rust のジェネリクスとトレイト境界 `F: Fn(&str) -> i32` で、クロージャの型を静的に制約します。
639
+
640
+ </details>
641
+
642
+ <details>
643
+ <summary>TypeScript (fp-ts) 実装</summary>
644
+
645
+ ```typescript
646
+ const score = (word: string): number =>
647
+ word.replace(/a/g, '').length
648
+
649
+ const rankedWords = (
650
+ wordScoreFn: (word: string) => number,
651
+ words: readonly string[]
652
+ ): readonly string[] =>
653
+ pipe(words, RA.sortBy([Ord.reverse(Ord.contramap(wordScoreFn)(N.Ord))]))
654
+
655
+ // 使用例
656
+ rankedWords(score, words)
657
+ rankedWords((w) => score(w) + bonus(w), words)
658
+ rankedWords((w) => score(w) + bonus(w) - penalty(w), words)
659
+ ```
660
+
661
+ fp-ts の `Ord.contramap` は、比較対象を変換する関数を受け取り新しい `Ord` を生成します。
662
+
663
+ </details>
664
+
665
+ #### OOP + FP ライブラリ言語
666
+
667
+ <details>
668
+ <summary>Java (Vavr) 実装</summary>
669
+
670
+ ```java
671
+ public static int score(String word) {
672
+ return word.replaceAll("a", "").length();
673
+ }
674
+
675
+ public static List<String> rankedWords(Function<String, Integer> wordScore, List<String> words) {
676
+ return words.sortBy(wordScore).reverse();
677
+ }
678
+
679
+ // 使用例
680
+ rankedWords(WordScoring::score, words);
681
+ rankedWords(w -> score(w) + bonus(w), words);
682
+ rankedWords(w -> score(w) + bonus(w) - penalty(w), words);
683
+ ```
684
+
685
+ Java のメソッド参照 `WordScoring::score` で、既存のメソッドを `Function` として渡せます。
686
+
687
+ </details>
688
+
689
+ <details>
690
+ <summary>C# (LanguageExt) 実装</summary>
691
+
692
+ ```csharp
693
+ public static int WordScore(string word) =>
694
+ word.Replace("a", "").Length;
695
+
696
+ public static Seq<string> RankedWords(Seq<string> words, Func<string, int> scoreFn) =>
697
+ toSeq(words.OrderByDescending(scoreFn));
698
+
699
+ // 使用例
700
+ RankedWords(words, WordScore);
701
+ RankedWords(words, w => WordScore(w) + Bonus(w));
702
+ RankedWords(words, w => WordScore(w) + Bonus(w) - Penalty(w));
703
+ ```
704
+
705
+ </details>
706
+
707
+ <details>
708
+ <summary>Python 実装</summary>
709
+
710
+ ```python
711
+ def score(word: str) -> int:
712
+ return len(word.replace("a", ""))
713
+
714
+ def ranked_words(words: list[str], word_score: Callable[[str], int]) -> list[str]:
715
+ return sorted(words, key=word_score, reverse=True)
716
+
717
+ # 使用例
718
+ ranked_words(words, score)
719
+ ranked_words(words, lambda w: score(w) + bonus(w))
720
+ ranked_words(words, lambda w: score(w) + bonus(w) - penalty(w))
721
+ ```
722
+
723
+ Python の `sorted` は `key` パラメータで高階関数パターンを実現します。
724
+
725
+ </details>
726
+
727
+ <details>
728
+ <summary>Ruby 実装</summary>
729
+
730
+ ```ruby
731
+ def score(word)
732
+ word.gsub("a", "").length
733
+ end
734
+
735
+ def ranked_words(words, &score_fn)
736
+ words.sort_by(&score_fn).reverse
737
+ end
738
+
739
+ # 使用例
740
+ ranking1 = ranked_words(words) { |w| score(w) }
741
+ ranking2 = ranked_words(words) { |w| score(w) + bonus(w) }
742
+ ranking3 = ranked_words(words) { |w| score(w) + bonus(w) - penalty(w) }
743
+ ```
744
+
745
+ Ruby はブロック構文 `{ |w| ... }` で無名関数を渡します。`&score_fn` でブロックを Proc として受け取り、`&` で再度ブロックに変換して `sort_by` に渡します。
746
+
747
+ </details>
748
+
749
+ ---
750
+
751
+ ## 4.5 関数を返す関数:カリー化と部分適用
752
+
753
+ 高階関数のもう一つの側面は、「関数を返す関数」です。特に「閾値より大きい要素をフィルタする」パターンで比較します。
754
+
755
+ ### 代表 3 言語の比較
756
+
757
+ **Haskell**: すべての関数がデフォルトでカリー化
758
+
759
+ ```haskell
760
+ largerThan :: Int -> (Int -> Bool)
761
+ largerThan n = \i -> i > n
762
+
763
+ -- 部分適用で新しい関数を生成
764
+ filter (largerThan 4) [5, 1, 2, 4, 0] -- [5]
765
+ filter (largerThan 1) [5, 1, 2, 4, 0] -- [5, 2, 4]
766
+ ```
767
+
768
+ **Scala**: 明示的なカリー化
769
+
770
+ ```scala
771
+ def largerThan(n: Int): Int => Boolean = i => i > n
772
+
773
+ List(5, 1, 2, 4, 0).filter(largerThan(4)) // List(5)
774
+ List(5, 1, 2, 4, 0).filter(largerThan(1)) // List(5, 2, 4)
775
+ ```
776
+
777
+ **Python**: クロージャによる関数生成
778
+
779
+ ```python
780
+ def larger_than(n: int) -> Callable[[int], bool]:
781
+ return lambda i: i > n
782
+
783
+ list(filter(larger_than(4), [5, 1, 2, 4, 0])) # [5]
784
+ list(filter(larger_than(1), [5, 1, 2, 4, 0])) # [5, 2, 4]
785
+ ```
786
+
787
+ ### 全 11 言語の実装
788
+
789
+ <details>
790
+ <summary>全 11 言語の「関数を返す関数」</summary>
791
+
792
+ **Haskell**:
793
+ ```haskell
794
+ largerThan :: Int -> (Int -> Bool)
795
+ largerThan n = \i -> i > n
796
+ ```
797
+
798
+ **Clojure**:
799
+ ```clojure
800
+ (defn larger-than [n]
801
+ (fn [i] (> i n)))
802
+ ```
803
+
804
+ **Elixir**:
805
+ ```elixir
806
+ def larger_than(n), do: fn i -> i > n end
807
+ ```
808
+
809
+ **F#**:
810
+ ```fsharp
811
+ let largerThan (n: int) : int -> bool = fun i -> i > n
812
+ ```
813
+
814
+ **Scala**:
815
+ ```scala
816
+ def largerThan(n: Int): Int => Boolean = i => i > n
817
+ ```
818
+
819
+ **Rust**:
820
+ ```rust
821
+ pub fn larger_than(n: i32) -> impl Fn(i32) -> bool {
822
+ move |i| i > n
823
+ }
824
+ ```
825
+
826
+ **TypeScript**:
827
+ ```typescript
828
+ const largerThan = (n: number): ((i: number) => boolean) => (i) => i > n
829
+ ```
830
+
831
+ **Java**:
832
+ ```java
833
+ public static Predicate<Integer> largerThan(int n) {
834
+ return i -> i > n;
835
+ }
836
+ ```
837
+
838
+ **C#**:
839
+ ```csharp
840
+ public static Func<int, bool> LargerThan(int n) => i => i > n;
841
+ ```
842
+
843
+ **Python**:
844
+ ```python
845
+ def larger_than(n: int) -> Callable[[int], bool]:
846
+ return lambda i: i > n
847
+ ```
848
+
849
+ **Ruby**:
850
+ ```ruby
851
+ def larger_than_fn(n)
852
+ ->(i) { i > n }
853
+ end
854
+ ```
855
+
856
+ </details>
857
+
858
+ ### カリー化の比較
859
+
860
+ | レベル | 言語 | 特徴 |
861
+ |--------|------|------|
862
+ | **自動カリー化** | Haskell, F# | すべての多引数関数が自動的にカリー化される |
863
+ | **構文サポート** | Scala, Rust, TypeScript | 戻り値型に関数型を明示して実現 |
864
+ | **ラムダ式で実現** | Java, C#, Clojure, Elixir | クロージャ / ラムダ式で関数を返す |
865
+ | **慣習的** | Python, Ruby | `lambda` / `->` で手動構築 |
866
+
867
+ **発見**: Haskell と F# では `largerThan 4` が自然な部分適用ですが、他の言語では関数の返却を明示的に記述する必要があります。Rust の `move |i| i > n` は、キャプチャした値の所有権を明示する独自のパターンです。
868
+
869
+ ---
870
+
871
+ ## 4.6 パイプラインスタイルの比較
872
+
873
+ 高階関数の連鎖(パイプライン)は、言語によって記法が大きく異なります。同じ処理を 5 つのスタイルで比較します。
874
+
875
+ ### 処理内容
876
+
877
+ 「奇数のみ抽出 → 二乗 → 合計」を `[1, 2, 3, 4, 5]` に適用(期待結果: 35)
878
+
879
+ ### F# パイプ演算子 `|>`
880
+
881
+ ```fsharp
882
+ [1; 2; 3; 4; 5]
883
+ |> List.filter (fun n -> n % 2 = 1)
884
+ |> List.map (fun n -> n * n)
885
+ |> List.fold (fun acc n -> acc + n) 0
886
+ ```
887
+
888
+ データが左から右に流れ、変換の各ステップが明確です。
889
+
890
+ ### Clojure スレッディングマクロ `->>`
891
+
892
+ ```clojure
893
+ (->> [1 2 3 4 5]
894
+ (filter odd?)
895
+ (map #(* % %))
896
+ (reduce +))
897
+ ```
898
+
899
+ `->>` は値を各フォームの**最後の引数**に挿入します。LISP の S 式でありながら、上から下にデータが流れる読みやすさを実現しています。
900
+
901
+ ### Scala メソッドチェーン
902
+
903
+ ```scala
904
+ List(1, 2, 3, 4, 5)
905
+ .filter(_ % 2 == 1)
906
+ .map(n => n * n)
907
+ .foldLeft(0)(_ + _)
908
+ ```
909
+
910
+ OOP スタイルのメソッドチェーンは、多くの開発者にとって最も馴染みやすい形式です。
911
+
912
+ ### Haskell 関数合成 `.` と `$`
913
+
914
+ ```haskell
915
+ foldl (+) 0 . map (\n -> n * n) . filter odd $ [1, 2, 3, 4, 5]
916
+ ```
917
+
918
+ Haskell は右から左に関数を合成し、`$` でデータを渡します。数学的な関数合成 `f . g` に最も近い表現です。
919
+
920
+ ### TypeScript fp-ts `pipe()`
921
+
922
+ ```typescript
923
+ pipe(
924
+ [1, 2, 3, 4, 5],
925
+ RA.filter((n) => n % 2 === 1),
926
+ RA.map((n) => n * n),
927
+ RA.reduce(0, (acc, n) => acc + n)
928
+ )
929
+ ```
930
+
931
+ fp-ts の `pipe()` は Haskell の `|>` を関数として再現し、型推論が各ステップで効きます。
932
+
933
+ ### Rust イテレータチェーン
934
+
935
+ ```rust
936
+ vec![1, 2, 3, 4, 5].iter()
937
+ .filter(|&&n| n % 2 == 1)
938
+ .map(|&n| n * n)
939
+ .fold(0, |acc, n| acc + n)
940
+ ```
941
+
942
+ Rust のイテレータチェーンは遅延評価で、`.collect()` を呼ぶまで実行されません。
943
+
944
+ ### パイプラインスタイル比較表
945
+
946
+ | スタイル | 言語 | データの流れ | 特徴 |
947
+ |---------|------|------------|------|
948
+ | パイプ演算子 `\|>` | F#, Elixir | 左 → 右 | 最も直感的なデータフロー |
949
+ | スレッディングマクロ | Clojure | 上 → 下 | S 式でありながら読みやすい |
950
+ | メソッドチェーン | Scala, Java, C#, Ruby | 左 → 右 | OOP 開発者に馴染みやすい |
951
+ | 関数合成 `.` / `$` | Haskell | 右 → 左 | 数学的な関数合成に忠実 |
952
+ | `pipe()` 関数 | TypeScript (fp-ts) | 上 → 下 | 型推論との両立 |
953
+ | イテレータチェーン | Rust | 左 → 右 | ゼロコスト抽象化 |
954
+
955
+ ---
956
+
957
+ ## 4.7 比較分析:3 つの発見
958
+
959
+ ### 発見 1: map / filter は普遍的、fold の命名は分裂している
960
+
961
+ `map` と `filter`(Ruby の `select` を除く)はほぼ全言語で同名ですが、畳み込み操作の命名は 2 派に分かれます:
962
+
963
+ - **fold 派**: Haskell (`foldl`), F# (`List.fold`), Scala (`foldLeft`), Rust (`.fold`), C# (`.Fold`)
964
+ - **reduce 派**: Clojure (`reduce`), Elixir (`Enum.reduce`), Python (`reduce`), Ruby (`.reduce`), TypeScript (`RA.reduce`)
965
+ - **Java は両方**: Vavr は `foldLeft`、標準 Stream API は `reduce`
966
+
967
+ これは歴史的な系譜を反映しています。`fold` は ML / Haskell 系、`reduce` は Lisp / APL 系の伝統です。
968
+
969
+ ### 発見 2: 関数の渡し方は 4 パターンに分類できる
970
+
971
+ | パターン | 言語 | 例 |
972
+ |---------|------|-----|
973
+ | **名前で渡す** | Haskell, Clojure, F# | `map length`, `(map count)` |
974
+ | **メソッド参照** | Java, Scala | `String::length`, `_.length` |
975
+ | **ブロック / キャプチャ** | Ruby, Elixir | `{ \|w\| w.length }`, `&String.length/1` |
976
+ | **ラムダ / アロー関数** | TypeScript, Python, Rust, C# | `(w) => w.length`, `lambda w: len(w)` |
977
+
978
+ 関数型ファースト言語ほど、関数を「名前だけ」で渡せるシンプルな構文を持ちます。
979
+
980
+ ### 発見 3: ワードスコアリングパターンは「戦略パターン」の関数型版
981
+
982
+ OOP のデザインパターンにおける**戦略パターン**(Strategy Pattern)は、振る舞いをインターフェースで抽象化し、実行時に切り替えます。関数型では、高階関数が同じ目的を**インターフェース定義なし**で実現します。
983
+
984
+ ```
985
+ OOP: interface ScoreStrategy { int score(String word); }
986
+ FP: (String -> Int) ← 関数型そのものがインターフェース
987
+ ```
988
+
989
+ 11 言語すべてで `rankedWords(scoreFunction, words)` という同一のパターンが成立するのは、高階関数が戦略パターンの普遍的な簡易版であることを示しています。
990
+
991
+ ---
992
+
993
+ ## 4.8 言語固有の特徴
994
+
995
+ ### Python: リスト内包表記という独自イディオム
996
+
997
+ Python では `map` / `filter` よりもリスト内包表記が推奨されています。これは Pythonic なスタイルとされ、ネストした変換も読みやすく書けます。
998
+
999
+ ```python
1000
+ # map + filter を 1 つの内包表記で
1001
+ [n * n for n in [1, 2, 3, 4, 5] if n % 2 == 1] # [1, 9, 25]
1002
+ ```
1003
+
1004
+ ### Ruby: ブロックとシンボル変換
1005
+
1006
+ Ruby の `&:method_name` は、シンボルを Proc に変換する構文糖衣で、高階関数呼び出しを極めて簡潔にします。
1007
+
1008
+ ```ruby
1009
+ ["hello", "world"].map(&:upcase) # ["HELLO", "WORLD"]
1010
+ [1, 2, 3, nil, 4].select(&:itself) # [1, 2, 3, 4]
1011
+ ```
1012
+
1013
+ ### Rust: ゼロコスト抽象化
1014
+
1015
+ Rust のイテレータアダプタは、コンパイル時にインライン化され、手書きのループと同等のパフォーマンスを発揮します。さらに、クロージャが値をキャプチャする際の所有権を `move` キーワードで明示します。
1016
+
1017
+ ```rust
1018
+ pub fn larger_than(n: i32) -> impl Fn(i32) -> bool {
1019
+ move |i| i > n // n の所有権をクロージャに移動
1020
+ }
1021
+ ```
1022
+
1023
+ ### Elixir: キャプチャ演算子
1024
+
1025
+ Elixir の `&` / `/arity` は、名前付き関数を無名関数に変換するユニークな構文です。
1026
+
1027
+ ```elixir
1028
+ # 関数キャプチャ
1029
+ Enum.map(words, &score/1)
1030
+
1031
+ # 短縮無名関数
1032
+ Enum.map(words, &(&1 * 2)) # 各要素を2倍
1033
+ ```
1034
+
1035
+ ---
1036
+
1037
+ ## 4.9 実践的な選択指針
1038
+
1039
+ ### パイプラインスタイルの選択
1040
+
1041
+ | 重視する点 | 推奨スタイル | 言語 |
1042
+ |-----------|------------|------|
1043
+ | データフローの可視性 | パイプ演算子 | F#, Elixir |
1044
+ | OOP チームとの親和性 | メソッドチェーン | Scala, Java, C#, Ruby |
1045
+ | 数学的な厳密性 | 関数合成 | Haskell |
1046
+ | 型安全なパイプライン | pipe() + fp-ts | TypeScript |
1047
+ | パフォーマンス | イテレータチェーン | Rust |
1048
+
1049
+ ### 高階関数の導入戦略
1050
+
1051
+ **OOP から移行する場合**:
1052
+
1053
+ 1. まず `map` / `filter` をコレクション操作に導入(最も直感的)
1054
+ 2. `fold` / `reduce` で集約パターンを学ぶ
1055
+ 3. 関数を引数に渡すパターンで戦略パターンを置き換え
1056
+ 4. 関数を返す関数(カリー化)で設定のパラメータ化
1057
+
1058
+ **すでに FP に慣れている場合**:
1059
+
1060
+ 1. パイプラインスタイルの統一(チーム内で一貫性を持たせる)
1061
+ 2. 部分適用とカリー化で再利用性を向上
1062
+ 3. `fold` による汎用的なデータ変換パターンの活用
1063
+
1064
+ ---
1065
+
1066
+ ## 4.10 まとめ
1067
+
1068
+ 本章では、11 言語での高階関数の実装を比較し、以下を確認しました:
1069
+
1070
+ **共通の原則**:
1071
+
1072
+ - `map` / `filter` / `fold`(`reduce`)は全言語に存在する普遍的な操作
1073
+ - ワードスコアリングパターン(振る舞いのパラメータ化)は全言語で同じ構造
1074
+ - 高階関数は OOP の戦略パターンの関数型版として機能する
1075
+
1076
+ **言語間の差異**:
1077
+
1078
+ - 畳み込みの命名は `fold` 系と `reduce` 系に分裂
1079
+ - パイプラインスタイルは 6 種類(パイプ演算子、スレッディングマクロ、メソッドチェーン、関数合成、pipe 関数、イテレータチェーン)
1080
+ - カリー化の自動度は Haskell/F# > Scala/Rust/TypeScript > Java/C#/Clojure/Elixir > Python/Ruby
1081
+
1082
+ **学び**:
1083
+
1084
+ - 高階関数の概念は言語に依存しない
1085
+ - 言語の違いは「関数をどう渡すか」「パイプラインをどう表現するか」に表れる
1086
+ - Python のリスト内包表記と Ruby のブロック構文は、高階関数の独自の進化形
1087
+
1088
+ ---
1089
+
1090
+ ### 各言語の詳細記事
1091
+
1092
+ | 言語 | 記事リンク |
1093
+ |------|-----------|
1094
+ | Scala | [Part II: 関数型スタイルのプログラミング](../scala/part-2.md) |
1095
+ | Java | [Part II: 関数型スタイルのプログラミング](../java/part-2.md) |
1096
+ | F# | [Part II: 関数型スタイルのプログラミング](../fsharp/part-2.md) |
1097
+ | C# | [Part II: 関数型スタイルのプログラミング](../csharp/part-2.md) |
1098
+ | Haskell | [Part II: 関数型スタイルのプログラミング](../haskell/part-2.md) |
1099
+ | Clojure | [Part II: 関数型スタイルのプログラミング](../clojure/part-2.md) |
1100
+ | Elixir | [Part II: 関数型スタイルのプログラミング](../elixir/part-2.md) |
1101
+ | Rust | [Part II: 関数型スタイルのプログラミング](../rust/part-2.md) |
1102
+ | Python | [Part II: 関数型スタイルのプログラミング](../python/part-2.md) |
1103
+ | TypeScript | [Part II: 関数型スタイルのプログラミング](../typescript/part-2.md) |
1104
+ | Ruby | [Part II: 関数型スタイルのプログラミング](../ruby/part-2.md) |