@k2works/claude-code-booster 3.5.0 → 3.6.1

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