@k2works/claude-code-booster 2.7.1 → 3.1.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (527) hide show
  1. package/lib/assets/docs/article/functional-desgin-ppp/all/01-immutability-and-data-transformation.md +475 -0
  2. package/lib/assets/docs/article/functional-desgin-ppp/all/02-function-composition.md +519 -0
  3. package/lib/assets/docs/article/functional-desgin-ppp/all/03-polymorphism.md +537 -0
  4. package/lib/assets/docs/article/functional-desgin-ppp/all/04-data-validation.md +300 -0
  5. package/lib/assets/docs/article/functional-desgin-ppp/all/05-property-based-testing.md +320 -0
  6. package/lib/assets/docs/article/functional-desgin-ppp/all/06-tdd-and-functional.md +498 -0
  7. package/lib/assets/docs/article/functional-desgin-ppp/all/07-composite-pattern.md +298 -0
  8. package/lib/assets/docs/article/functional-desgin-ppp/all/08-decorator-pattern.md +291 -0
  9. package/lib/assets/docs/article/functional-desgin-ppp/all/09-adapter-pattern.md +336 -0
  10. package/lib/assets/docs/article/functional-desgin-ppp/all/10-strategy-pattern.md +303 -0
  11. package/lib/assets/docs/article/functional-desgin-ppp/all/11-command-pattern.md +286 -0
  12. package/lib/assets/docs/article/functional-desgin-ppp/all/12-visitor-pattern.md +322 -0
  13. package/lib/assets/docs/article/functional-desgin-ppp/all/13-abstract-factory-pattern.md +319 -0
  14. package/lib/assets/docs/article/functional-desgin-ppp/all/14-abstract-server-pattern.md +365 -0
  15. package/lib/assets/docs/article/functional-desgin-ppp/all/15-gossiping-bus-drivers.md +156 -0
  16. package/lib/assets/docs/article/functional-desgin-ppp/all/16-payroll-system.md +178 -0
  17. package/lib/assets/docs/article/functional-desgin-ppp/all/17-video-rental-system.md +312 -0
  18. package/lib/assets/docs/article/functional-desgin-ppp/all/18-concurrency-system.md +287 -0
  19. package/lib/assets/docs/article/functional-desgin-ppp/all/19-wa-tor-simulation.md +286 -0
  20. package/lib/assets/docs/article/functional-desgin-ppp/all/20-pattern-interactions.md +274 -0
  21. package/lib/assets/docs/article/functional-desgin-ppp/all/21-best-practices.md +294 -0
  22. package/lib/assets/docs/article/functional-desgin-ppp/all/22-oo-to-fp-migration.md +337 -0
  23. package/lib/assets/docs/article/functional-desgin-ppp/all/index.md +388 -0
  24. package/lib/assets/docs/article/functional-desgin-ppp/clojure/01-immutability-and-data-transformation.md +271 -0
  25. package/lib/assets/docs/article/functional-desgin-ppp/clojure/02-function-composition.md +380 -0
  26. package/lib/assets/docs/article/functional-desgin-ppp/clojure/03-polymorphism.md +384 -0
  27. package/lib/assets/docs/article/functional-desgin-ppp/clojure/04-clojure-spec.md +350 -0
  28. package/lib/assets/docs/article/functional-desgin-ppp/clojure/05-property-based-testing.md +352 -0
  29. package/lib/assets/docs/article/functional-desgin-ppp/clojure/06-tdd-in-functional.md +383 -0
  30. package/lib/assets/docs/article/functional-desgin-ppp/clojure/07-composite-pattern.md +529 -0
  31. package/lib/assets/docs/article/functional-desgin-ppp/clojure/08-decorator-pattern.md +395 -0
  32. package/lib/assets/docs/article/functional-desgin-ppp/clojure/09-adapter-pattern.md +399 -0
  33. package/lib/assets/docs/article/functional-desgin-ppp/clojure/10-strategy-pattern.md +485 -0
  34. package/lib/assets/docs/article/functional-desgin-ppp/clojure/11-command-pattern.md +566 -0
  35. package/lib/assets/docs/article/functional-desgin-ppp/clojure/12-visitor-pattern.md +567 -0
  36. package/lib/assets/docs/article/functional-desgin-ppp/clojure/13-abstract-factory-pattern.md +475 -0
  37. package/lib/assets/docs/article/functional-desgin-ppp/clojure/14-abstract-server-pattern.md +462 -0
  38. package/lib/assets/docs/article/functional-desgin-ppp/clojure/15-gossiping-bus-drivers.md +323 -0
  39. package/lib/assets/docs/article/functional-desgin-ppp/clojure/16-payroll-system.md +401 -0
  40. package/lib/assets/docs/article/functional-desgin-ppp/clojure/17-video-rental-system.md +450 -0
  41. package/lib/assets/docs/article/functional-desgin-ppp/clojure/18-concurrency-system.md +475 -0
  42. package/lib/assets/docs/article/functional-desgin-ppp/clojure/19-wator-simulation.md +739 -0
  43. package/lib/assets/docs/article/functional-desgin-ppp/clojure/20-pattern-interactions.md +562 -0
  44. package/lib/assets/docs/article/functional-desgin-ppp/clojure/21-best-practices.md +506 -0
  45. package/lib/assets/docs/article/functional-desgin-ppp/clojure/22-oo-to-fp-migration.md +526 -0
  46. package/lib/assets/docs/article/functional-desgin-ppp/clojure/index.md +197 -0
  47. package/lib/assets/docs/article/functional-desgin-ppp/elixir/01-immutability-and-data-transformation.md +381 -0
  48. package/lib/assets/docs/article/functional-desgin-ppp/elixir/02-function-composition.md +374 -0
  49. package/lib/assets/docs/article/functional-desgin-ppp/elixir/03-polymorphism.md +375 -0
  50. package/lib/assets/docs/article/functional-desgin-ppp/elixir/04-data-validation.md +195 -0
  51. package/lib/assets/docs/article/functional-desgin-ppp/elixir/05-property-based-testing.md +268 -0
  52. package/lib/assets/docs/article/functional-desgin-ppp/elixir/06-tdd-and-fp.md +294 -0
  53. package/lib/assets/docs/article/functional-desgin-ppp/elixir/07-effects-and-pure-functions.md +164 -0
  54. package/lib/assets/docs/article/functional-desgin-ppp/elixir/08-error-handling-strategies.md +168 -0
  55. package/lib/assets/docs/article/functional-desgin-ppp/elixir/09-io-and-external-systems.md +254 -0
  56. package/lib/assets/docs/article/functional-desgin-ppp/elixir/10-concurrency-patterns.md +269 -0
  57. package/lib/assets/docs/article/functional-desgin-ppp/elixir/11-command-pattern.md +148 -0
  58. package/lib/assets/docs/article/functional-desgin-ppp/elixir/12-visitor-pattern.md +176 -0
  59. package/lib/assets/docs/article/functional-desgin-ppp/elixir/13-abstract-factory-pattern.md +604 -0
  60. package/lib/assets/docs/article/functional-desgin-ppp/elixir/14-abstract-server-pattern.md +729 -0
  61. package/lib/assets/docs/article/functional-desgin-ppp/elixir/15-gossiping-bus-drivers.md +291 -0
  62. package/lib/assets/docs/article/functional-desgin-ppp/elixir/16-payroll-system.md +420 -0
  63. package/lib/assets/docs/article/functional-desgin-ppp/elixir/17-video-rental-system.md +319 -0
  64. package/lib/assets/docs/article/functional-desgin-ppp/elixir/18-concurrency-system.md +466 -0
  65. package/lib/assets/docs/article/functional-desgin-ppp/elixir/19-wator-simulation.md +523 -0
  66. package/lib/assets/docs/article/functional-desgin-ppp/elixir/20-pattern-interactions.md +287 -0
  67. package/lib/assets/docs/article/functional-desgin-ppp/elixir/21-best-practices.md +340 -0
  68. package/lib/assets/docs/article/functional-desgin-ppp/elixir/22-oo-to-fp-migration.md +395 -0
  69. package/lib/assets/docs/article/functional-desgin-ppp/elixir/index.md +204 -0
  70. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/01-immutability-and-data-transformation.md +382 -0
  71. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/02-function-composition.md +452 -0
  72. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/03-polymorphism.md +495 -0
  73. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/04-data-validation.md +416 -0
  74. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/05-property-based-testing.md +382 -0
  75. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/06-tdd-functional.md +687 -0
  76. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/07-composite-pattern.md +442 -0
  77. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/08-decorator-pattern.md +479 -0
  78. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/09-adapter-pattern.md +479 -0
  79. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/10-strategy-pattern.md +427 -0
  80. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/11-command-pattern.md +428 -0
  81. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/12-visitor-pattern.md +339 -0
  82. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/13-abstract-factory-pattern.md +309 -0
  83. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/14-abstract-server-pattern.md +596 -0
  84. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/15-gossiping-bus-drivers.md +353 -0
  85. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/16-payroll-system.md +350 -0
  86. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/17-video-rental-system.md +412 -0
  87. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/18-concurrency-system.md +367 -0
  88. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/19-wator-simulation.md +401 -0
  89. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/20-pattern-interactions.md +291 -0
  90. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/21-best-practices.md +320 -0
  91. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/22-oo-to-fp-migration.md +322 -0
  92. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/index.md +230 -0
  93. package/lib/assets/docs/article/functional-desgin-ppp/haskell/01-immutability-and-data-transformation.md +298 -0
  94. package/lib/assets/docs/article/functional-desgin-ppp/haskell/02-function-composition.md +304 -0
  95. package/lib/assets/docs/article/functional-desgin-ppp/haskell/03-polymorphism.md +362 -0
  96. package/lib/assets/docs/article/functional-desgin-ppp/haskell/04-data-validation.md +257 -0
  97. package/lib/assets/docs/article/functional-desgin-ppp/haskell/05-property-based-testing.md +254 -0
  98. package/lib/assets/docs/article/functional-desgin-ppp/haskell/06-tdd-functional.md +283 -0
  99. package/lib/assets/docs/article/functional-desgin-ppp/haskell/07-composite-pattern.md +395 -0
  100. package/lib/assets/docs/article/functional-desgin-ppp/haskell/08-decorator-pattern.md +319 -0
  101. package/lib/assets/docs/article/functional-desgin-ppp/haskell/09-adapter-pattern.md +382 -0
  102. package/lib/assets/docs/article/functional-desgin-ppp/haskell/10-strategy-pattern.md +287 -0
  103. package/lib/assets/docs/article/functional-desgin-ppp/haskell/11-command-pattern.md +303 -0
  104. package/lib/assets/docs/article/functional-desgin-ppp/haskell/12-visitor-pattern.md +326 -0
  105. package/lib/assets/docs/article/functional-desgin-ppp/haskell/13-abstract-factory-pattern.md +332 -0
  106. package/lib/assets/docs/article/functional-desgin-ppp/haskell/14-abstract-server-pattern.md +379 -0
  107. package/lib/assets/docs/article/functional-desgin-ppp/haskell/15-gossiping-bus-drivers.md +175 -0
  108. package/lib/assets/docs/article/functional-desgin-ppp/haskell/16-payroll-system.md +219 -0
  109. package/lib/assets/docs/article/functional-desgin-ppp/haskell/17-video-rental-system.md +244 -0
  110. package/lib/assets/docs/article/functional-desgin-ppp/haskell/18-concurrency-system.md +363 -0
  111. package/lib/assets/docs/article/functional-desgin-ppp/haskell/19-wator-simulation.md +438 -0
  112. package/lib/assets/docs/article/functional-desgin-ppp/haskell/20-pattern-interactions.md +323 -0
  113. package/lib/assets/docs/article/functional-desgin-ppp/haskell/21-best-practices.md +403 -0
  114. package/lib/assets/docs/article/functional-desgin-ppp/haskell/22-oo-to-fp-migration.md +469 -0
  115. package/lib/assets/docs/article/functional-desgin-ppp/haskell/index.md +174 -0
  116. package/lib/assets/docs/article/functional-desgin-ppp/index.md +90 -0
  117. package/lib/assets/docs/article/functional-desgin-ppp/rust/01-immutability-and-data-transformation.md +448 -0
  118. package/lib/assets/docs/article/functional-desgin-ppp/rust/02-function-composition.md +463 -0
  119. package/lib/assets/docs/article/functional-desgin-ppp/rust/03-polymorphism.md +425 -0
  120. package/lib/assets/docs/article/functional-desgin-ppp/rust/04-data-validation.md +273 -0
  121. package/lib/assets/docs/article/functional-desgin-ppp/rust/05-property-based-testing.md +247 -0
  122. package/lib/assets/docs/article/functional-desgin-ppp/rust/06-tdd-and-functional.md +841 -0
  123. package/lib/assets/docs/article/functional-desgin-ppp/rust/07-composite-pattern.md +384 -0
  124. package/lib/assets/docs/article/functional-desgin-ppp/rust/08-decorator-pattern.md +383 -0
  125. package/lib/assets/docs/article/functional-desgin-ppp/rust/09-adapter-pattern.md +339 -0
  126. package/lib/assets/docs/article/functional-desgin-ppp/rust/10-strategy-pattern.md +331 -0
  127. package/lib/assets/docs/article/functional-desgin-ppp/rust/11-command-pattern.md +356 -0
  128. package/lib/assets/docs/article/functional-desgin-ppp/rust/12-visitor-pattern.md +379 -0
  129. package/lib/assets/docs/article/functional-desgin-ppp/rust/13-abstract-factory-pattern.md +361 -0
  130. package/lib/assets/docs/article/functional-desgin-ppp/rust/14-abstract-server-pattern.md +392 -0
  131. package/lib/assets/docs/article/functional-desgin-ppp/rust/15-gossiping-bus-drivers.md +300 -0
  132. package/lib/assets/docs/article/functional-desgin-ppp/rust/16-payroll-system.md +297 -0
  133. package/lib/assets/docs/article/functional-desgin-ppp/rust/17-video-rental-system.md +304 -0
  134. package/lib/assets/docs/article/functional-desgin-ppp/rust/18-concurrency-system.md +315 -0
  135. package/lib/assets/docs/article/functional-desgin-ppp/rust/19-wator-simulation.md +311 -0
  136. package/lib/assets/docs/article/functional-desgin-ppp/rust/20-pattern-interactions.md +304 -0
  137. package/lib/assets/docs/article/functional-desgin-ppp/rust/21-best-practices.md +336 -0
  138. package/lib/assets/docs/article/functional-desgin-ppp/rust/22-oo-to-fp-migration.md +349 -0
  139. package/lib/assets/docs/article/functional-desgin-ppp/rust/index.md +199 -0
  140. package/lib/assets/docs/article/functional-desgin-ppp/scala/01-immutability-and-data-transformation.md +326 -0
  141. package/lib/assets/docs/article/functional-desgin-ppp/scala/02-function-composition.md +348 -0
  142. package/lib/assets/docs/article/functional-desgin-ppp/scala/03-polymorphism.md +357 -0
  143. package/lib/assets/docs/article/functional-desgin-ppp/scala/04-data-validation.md +364 -0
  144. package/lib/assets/docs/article/functional-desgin-ppp/scala/05-property-based-testing.md +515 -0
  145. package/lib/assets/docs/article/functional-desgin-ppp/scala/06-tdd-functional.md +557 -0
  146. package/lib/assets/docs/article/functional-desgin-ppp/scala/07-composite-pattern.md +363 -0
  147. package/lib/assets/docs/article/functional-desgin-ppp/scala/08-decorator-pattern.md +327 -0
  148. package/lib/assets/docs/article/functional-desgin-ppp/scala/09-adapter-pattern.md +517 -0
  149. package/lib/assets/docs/article/functional-desgin-ppp/scala/10-strategy-pattern.md +441 -0
  150. package/lib/assets/docs/article/functional-desgin-ppp/scala/11-command-pattern.md +407 -0
  151. package/lib/assets/docs/article/functional-desgin-ppp/scala/12-visitor-pattern.md +379 -0
  152. package/lib/assets/docs/article/functional-desgin-ppp/scala/13-abstract-factory-pattern.md +398 -0
  153. package/lib/assets/docs/article/functional-desgin-ppp/scala/14-abstract-server-pattern.md +476 -0
  154. package/lib/assets/docs/article/functional-desgin-ppp/scala/15-gossiping-bus-drivers.md +389 -0
  155. package/lib/assets/docs/article/functional-desgin-ppp/scala/16-payroll-system.md +342 -0
  156. package/lib/assets/docs/article/functional-desgin-ppp/scala/17-video-rental-system.md +324 -0
  157. package/lib/assets/docs/article/functional-desgin-ppp/scala/18-concurrency-system.md +730 -0
  158. package/lib/assets/docs/article/functional-desgin-ppp/scala/19-wator-simulation.md +624 -0
  159. package/lib/assets/docs/article/functional-desgin-ppp/scala/20-pattern-interactions.md +512 -0
  160. package/lib/assets/docs/article/functional-desgin-ppp/scala/21-best-practices.md +427 -0
  161. package/lib/assets/docs/article/functional-desgin-ppp/scala/22-oo-to-fp-migration.md +682 -0
  162. package/lib/assets/docs/article/functional-desgin-ppp/scala/index.md +199 -0
  163. package/lib/assets/docs/article/getting-start-tdd/clojure/01-todo-list-and-first-test.md +166 -0
  164. package/lib/assets/docs/article/getting-start-tdd/clojure/02-fake-it-and-triangulation.md +162 -0
  165. package/lib/assets/docs/article/getting-start-tdd/clojure/03-obvious-implementation-and-refactoring.md +135 -0
  166. package/lib/assets/docs/article/getting-start-tdd/clojure/04-version-control-and-conventional-commits.md +88 -0
  167. package/lib/assets/docs/article/getting-start-tdd/clojure/05-package-management-and-static-analysis.md +299 -0
  168. package/lib/assets/docs/article/getting-start-tdd/clojure/06-task-runner-and-ci-cd.md +241 -0
  169. package/lib/assets/docs/article/getting-start-tdd/clojure/07-protocols-and-records.md +131 -0
  170. package/lib/assets/docs/article/getting-start-tdd/clojure/08-multimethods-and-design-patterns.md +130 -0
  171. package/lib/assets/docs/article/getting-start-tdd/clojure/09-namespaces-and-module-design.md +127 -0
  172. package/lib/assets/docs/article/getting-start-tdd/clojure/10-higher-order-functions-and-composition.md +114 -0
  173. package/lib/assets/docs/article/getting-start-tdd/clojure/11-persistent-data-and-pipeline.md +138 -0
  174. package/lib/assets/docs/article/getting-start-tdd/clojure/12-error-handling-and-spec.md +161 -0
  175. package/lib/assets/docs/article/getting-start-tdd/clojure/index.md +65 -0
  176. package/lib/assets/docs/article/getting-start-tdd/csharp/chapter01.md +232 -0
  177. package/lib/assets/docs/article/getting-start-tdd/csharp/chapter02.md +244 -0
  178. package/lib/assets/docs/article/getting-start-tdd/csharp/chapter03.md +202 -0
  179. package/lib/assets/docs/article/getting-start-tdd/csharp/chapter04.md +92 -0
  180. package/lib/assets/docs/article/getting-start-tdd/csharp/chapter05.md +256 -0
  181. package/lib/assets/docs/article/getting-start-tdd/csharp/chapter06.md +195 -0
  182. package/lib/assets/docs/article/getting-start-tdd/csharp/chapter07.md +214 -0
  183. package/lib/assets/docs/article/getting-start-tdd/csharp/chapter08.md +249 -0
  184. package/lib/assets/docs/article/getting-start-tdd/csharp/chapter09.md +174 -0
  185. package/lib/assets/docs/article/getting-start-tdd/csharp/chapter10.md +166 -0
  186. package/lib/assets/docs/article/getting-start-tdd/csharp/chapter11.md +192 -0
  187. package/lib/assets/docs/article/getting-start-tdd/csharp/chapter12.md +211 -0
  188. package/lib/assets/docs/article/getting-start-tdd/csharp/index.md +83 -0
  189. package/lib/assets/docs/article/getting-start-tdd/elixir/01-todo-list-and-first-test.md +87 -0
  190. package/lib/assets/docs/article/getting-start-tdd/elixir/02-fake-it-and-triangulation.md +95 -0
  191. package/lib/assets/docs/article/getting-start-tdd/elixir/03-obvious-implementation-and-refactoring.md +109 -0
  192. package/lib/assets/docs/article/getting-start-tdd/elixir/04-version-control-and-conventional-commits.md +96 -0
  193. package/lib/assets/docs/article/getting-start-tdd/elixir/05-package-management-and-static-analysis.md +88 -0
  194. package/lib/assets/docs/article/getting-start-tdd/elixir/06-task-runner-and-ci-cd.md +71 -0
  195. package/lib/assets/docs/article/getting-start-tdd/elixir/07-structs-and-protocols.md +110 -0
  196. package/lib/assets/docs/article/getting-start-tdd/elixir/08-pattern-matching-and-guards.md +108 -0
  197. package/lib/assets/docs/article/getting-start-tdd/elixir/09-module-design-and-behaviours.md +104 -0
  198. package/lib/assets/docs/article/getting-start-tdd/elixir/10-higher-order-functions-and-pipeline.md +178 -0
  199. package/lib/assets/docs/article/getting-start-tdd/elixir/11-stream-and-lazy-evaluation.md +142 -0
  200. package/lib/assets/docs/article/getting-start-tdd/elixir/12-error-handling-and-with.md +145 -0
  201. package/lib/assets/docs/article/getting-start-tdd/elixir/index.md +35 -0
  202. package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter01.md +202 -0
  203. package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter02.md +246 -0
  204. package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter03.md +218 -0
  205. package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter04.md +179 -0
  206. package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter05.md +267 -0
  207. package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter06.md +190 -0
  208. package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter07.md +161 -0
  209. package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter08.md +175 -0
  210. package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter09.md +222 -0
  211. package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter10.md +189 -0
  212. package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter11.md +212 -0
  213. package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter12.md +215 -0
  214. package/lib/assets/docs/article/getting-start-tdd/fsharp/index.md +71 -0
  215. package/lib/assets/docs/article/getting-start-tdd/go/01-todo-list-and-first-test.md +213 -0
  216. package/lib/assets/docs/article/getting-start-tdd/go/02-fake-it-and-triangulation.md +302 -0
  217. package/lib/assets/docs/article/getting-start-tdd/go/03-obvious-implementation-and-refactoring.md +339 -0
  218. package/lib/assets/docs/article/getting-start-tdd/go/04-version-control-and-conventional-commits.md +112 -0
  219. package/lib/assets/docs/article/getting-start-tdd/go/05-package-management-and-static-analysis.md +272 -0
  220. package/lib/assets/docs/article/getting-start-tdd/go/06-task-runner-and-ci-cd.md +233 -0
  221. package/lib/assets/docs/article/getting-start-tdd/go/07-encapsulation-and-polymorphism.md +394 -0
  222. package/lib/assets/docs/article/getting-start-tdd/go/08-design-patterns.md +422 -0
  223. package/lib/assets/docs/article/getting-start-tdd/go/09-solid-principles-and-module-design.md +400 -0
  224. package/lib/assets/docs/article/getting-start-tdd/go/10-higher-order-functions-and-composition.md +226 -0
  225. package/lib/assets/docs/article/getting-start-tdd/go/11-immutable-data-and-pipeline.md +296 -0
  226. package/lib/assets/docs/article/getting-start-tdd/go/12-error-handling-and-type-safety.md +411 -0
  227. package/lib/assets/docs/article/getting-start-tdd/go/index.md +83 -0
  228. package/lib/assets/docs/article/getting-start-tdd/haskell/01-todo-list-and-first-test.md +279 -0
  229. package/lib/assets/docs/article/getting-start-tdd/haskell/02-fake-it-and-triangulation.md +337 -0
  230. package/lib/assets/docs/article/getting-start-tdd/haskell/03-obvious-implementation-and-refactoring.md +257 -0
  231. package/lib/assets/docs/article/getting-start-tdd/haskell/04-version-control-and-conventional-commits.md +182 -0
  232. package/lib/assets/docs/article/getting-start-tdd/haskell/05-package-management-and-static-analysis.md +313 -0
  233. package/lib/assets/docs/article/getting-start-tdd/haskell/06-task-runner-and-ci-cd.md +309 -0
  234. package/lib/assets/docs/article/getting-start-tdd/haskell/07-algebraic-data-types-and-type-classes.md +412 -0
  235. package/lib/assets/docs/article/getting-start-tdd/haskell/08-pattern-matching-and-guards.md +390 -0
  236. package/lib/assets/docs/article/getting-start-tdd/haskell/09-module-design-and-smart-constructors.md +461 -0
  237. package/lib/assets/docs/article/getting-start-tdd/haskell/10-higher-order-functions-and-currying.md +434 -0
  238. package/lib/assets/docs/article/getting-start-tdd/haskell/11-function-composition-and-point-free.md +392 -0
  239. package/lib/assets/docs/article/getting-start-tdd/haskell/12-monad-and-error-handling.md +631 -0
  240. package/lib/assets/docs/article/getting-start-tdd/haskell/index.md +49 -0
  241. package/lib/assets/docs/article/getting-start-tdd/index.md +93 -0
  242. package/lib/assets/docs/article/getting-start-tdd/integration/01-language-overview.md +375 -0
  243. package/lib/assets/docs/article/getting-start-tdd/integration/02-test-framework-comparison.md +349 -0
  244. package/lib/assets/docs/article/getting-start-tdd/integration/03-tdd-pattern-comparison.md +445 -0
  245. package/lib/assets/docs/article/getting-start-tdd/integration/04-type-system-comparison.md +405 -0
  246. package/lib/assets/docs/article/getting-start-tdd/integration/05-dev-environment-comparison.md +330 -0
  247. package/lib/assets/docs/article/getting-start-tdd/integration/06-learning-roadmap.md +274 -0
  248. package/lib/assets/docs/article/getting-start-tdd/integration/index.md +69 -0
  249. package/lib/assets/docs/article/getting-start-tdd/java/01-todo-list-and-first-test.md +234 -0
  250. package/lib/assets/docs/article/getting-start-tdd/java/02-fake-it-and-triangulation.md +261 -0
  251. package/lib/assets/docs/article/getting-start-tdd/java/03-obvious-implementation-and-refactoring.md +185 -0
  252. package/lib/assets/docs/article/getting-start-tdd/java/04-version-control-and-conventional-commits.md +115 -0
  253. package/lib/assets/docs/article/getting-start-tdd/java/05-package-management-and-static-analysis.md +382 -0
  254. package/lib/assets/docs/article/getting-start-tdd/java/06-task-runner-and-ci-cd.md +272 -0
  255. package/lib/assets/docs/article/getting-start-tdd/java/07-encapsulation-and-polymorphism.md +626 -0
  256. package/lib/assets/docs/article/getting-start-tdd/java/08-design-patterns.md +393 -0
  257. package/lib/assets/docs/article/getting-start-tdd/java/09-solid-principles-and-module-design.md +310 -0
  258. package/lib/assets/docs/article/getting-start-tdd/java/10-higher-order-functions-and-composition.md +188 -0
  259. package/lib/assets/docs/article/getting-start-tdd/java/11-immutable-data-and-pipeline.md +167 -0
  260. package/lib/assets/docs/article/getting-start-tdd/java/12-error-handling-and-type-safety.md +205 -0
  261. package/lib/assets/docs/article/getting-start-tdd/java/index.md +61 -0
  262. package/lib/assets/docs/article/getting-start-tdd/node/01-todo-list-and-first-test.md +244 -0
  263. package/lib/assets/docs/article/getting-start-tdd/node/02-fake-it-and-triangulation.md +262 -0
  264. package/lib/assets/docs/article/getting-start-tdd/node/03-obvious-implementation-and-refactoring.md +169 -0
  265. package/lib/assets/docs/article/getting-start-tdd/node/04-version-control-and-conventional-commits.md +112 -0
  266. package/lib/assets/docs/article/getting-start-tdd/node/05-package-management-and-static-analysis.md +314 -0
  267. package/lib/assets/docs/article/getting-start-tdd/node/06-task-runner-and-ci-cd.md +235 -0
  268. package/lib/assets/docs/article/getting-start-tdd/node/07-encapsulation-and-polymorphism.md +327 -0
  269. package/lib/assets/docs/article/getting-start-tdd/node/08-design-patterns.md +322 -0
  270. package/lib/assets/docs/article/getting-start-tdd/node/09-solid-principles-and-module-design.md +285 -0
  271. package/lib/assets/docs/article/getting-start-tdd/node/10-higher-order-functions-and-composition.md +199 -0
  272. package/lib/assets/docs/article/getting-start-tdd/node/11-immutable-data-and-pipeline.md +207 -0
  273. package/lib/assets/docs/article/getting-start-tdd/node/12-error-handling-and-type-safety.md +295 -0
  274. package/lib/assets/docs/article/getting-start-tdd/node/index.md +56 -0
  275. package/lib/assets/docs/article/getting-start-tdd/php/01-todo-list-and-first-test.md +259 -0
  276. package/lib/assets/docs/article/getting-start-tdd/php/02-fake-it-and-triangulation.md +200 -0
  277. package/lib/assets/docs/article/getting-start-tdd/php/03-obvious-implementation-and-refactoring.md +248 -0
  278. package/lib/assets/docs/article/getting-start-tdd/php/04-version-control-and-conventional-commits.md +141 -0
  279. package/lib/assets/docs/article/getting-start-tdd/php/05-package-management-and-static-analysis.md +410 -0
  280. package/lib/assets/docs/article/getting-start-tdd/php/06-task-runner-and-ci-cd.md +321 -0
  281. package/lib/assets/docs/article/getting-start-tdd/php/07-encapsulation-and-polymorphism.md +372 -0
  282. package/lib/assets/docs/article/getting-start-tdd/php/08-design-patterns.md +453 -0
  283. package/lib/assets/docs/article/getting-start-tdd/php/09-solid-principles-and-module-design.md +460 -0
  284. package/lib/assets/docs/article/getting-start-tdd/php/10-higher-order-functions-and-composition.md +182 -0
  285. package/lib/assets/docs/article/getting-start-tdd/php/11-immutable-data-and-pipeline.md +266 -0
  286. package/lib/assets/docs/article/getting-start-tdd/php/12-error-handling-and-type-safety.md +308 -0
  287. package/lib/assets/docs/article/getting-start-tdd/php/index.md +84 -0
  288. package/lib/assets/docs/article/getting-start-tdd/python/01-todo-list-and-first-test.md +201 -0
  289. package/lib/assets/docs/article/getting-start-tdd/python/02-fake-it-and-triangulation.md +247 -0
  290. package/lib/assets/docs/article/getting-start-tdd/python/03-obvious-implementation-and-refactoring.md +199 -0
  291. package/lib/assets/docs/article/getting-start-tdd/python/04-version-control-and-conventional-commits.md +87 -0
  292. package/lib/assets/docs/article/getting-start-tdd/python/05-package-management-and-static-analysis.md +274 -0
  293. package/lib/assets/docs/article/getting-start-tdd/python/06-task-runner-and-ci-cd.md +190 -0
  294. package/lib/assets/docs/article/getting-start-tdd/python/07-encapsulation-and-polymorphism.md +208 -0
  295. package/lib/assets/docs/article/getting-start-tdd/python/08-design-patterns.md +172 -0
  296. package/lib/assets/docs/article/getting-start-tdd/python/09-solid-principles-and-module-design.md +130 -0
  297. package/lib/assets/docs/article/getting-start-tdd/python/10-higher-order-functions-and-composition.md +122 -0
  298. package/lib/assets/docs/article/getting-start-tdd/python/11-immutable-data-and-pipeline.md +116 -0
  299. package/lib/assets/docs/article/getting-start-tdd/python/12-error-handling-and-type-safety.md +126 -0
  300. package/lib/assets/docs/article/getting-start-tdd/python/index.md +55 -0
  301. package/lib/assets/docs/article/getting-start-tdd/ruby/01-todo-list-and-first-test.md +231 -0
  302. package/lib/assets/docs/article/getting-start-tdd/ruby/02-fake-it-and-triangulation.md +238 -0
  303. package/lib/assets/docs/article/getting-start-tdd/ruby/03-obvious-implementation-and-refactoring.md +228 -0
  304. package/lib/assets/docs/article/getting-start-tdd/ruby/04-version-control-and-conventional-commits.md +112 -0
  305. package/lib/assets/docs/article/getting-start-tdd/ruby/05-package-management-and-static-analysis.md +287 -0
  306. package/lib/assets/docs/article/getting-start-tdd/ruby/06-task-runner-and-ci-cd.md +248 -0
  307. package/lib/assets/docs/article/getting-start-tdd/ruby/07-encapsulation-and-polymorphism.md +279 -0
  308. package/lib/assets/docs/article/getting-start-tdd/ruby/08-design-patterns.md +329 -0
  309. package/lib/assets/docs/article/getting-start-tdd/ruby/09-solid-principles-and-module-design.md +196 -0
  310. package/lib/assets/docs/article/getting-start-tdd/ruby/10-higher-order-functions-and-composition.md +175 -0
  311. package/lib/assets/docs/article/getting-start-tdd/ruby/11-immutable-data-and-pipeline.md +233 -0
  312. package/lib/assets/docs/article/getting-start-tdd/ruby/12-error-handling-and-type-safety.md +398 -0
  313. package/lib/assets/docs/article/getting-start-tdd/ruby/index.md +83 -0
  314. package/lib/assets/docs/article/getting-start-tdd/rust/01-todo-list-and-first-test.md +211 -0
  315. package/lib/assets/docs/article/getting-start-tdd/rust/02-fake-it-and-triangulation.md +264 -0
  316. package/lib/assets/docs/article/getting-start-tdd/rust/03-obvious-implementation-and-refactoring.md +233 -0
  317. package/lib/assets/docs/article/getting-start-tdd/rust/04-version-control-and-conventional-commits.md +92 -0
  318. package/lib/assets/docs/article/getting-start-tdd/rust/05-package-management-and-static-analysis.md +212 -0
  319. package/lib/assets/docs/article/getting-start-tdd/rust/06-task-runner-and-ci-cd.md +164 -0
  320. package/lib/assets/docs/article/getting-start-tdd/rust/07-encapsulation-and-polymorphism.md +142 -0
  321. package/lib/assets/docs/article/getting-start-tdd/rust/08-design-patterns.md +145 -0
  322. package/lib/assets/docs/article/getting-start-tdd/rust/09-solid-principles-and-module-design.md +110 -0
  323. package/lib/assets/docs/article/getting-start-tdd/rust/10-higher-order-functions-and-composition.md +94 -0
  324. package/lib/assets/docs/article/getting-start-tdd/rust/11-immutable-data-and-pipeline.md +105 -0
  325. package/lib/assets/docs/article/getting-start-tdd/rust/12-error-handling-and-type-safety.md +112 -0
  326. package/lib/assets/docs/article/getting-start-tdd/rust/index.md +83 -0
  327. package/lib/assets/docs/article/getting-start-tdd/scala/01-todo-list-and-first-test.md +111 -0
  328. package/lib/assets/docs/article/getting-start-tdd/scala/02-fake-it-and-triangulation.md +107 -0
  329. package/lib/assets/docs/article/getting-start-tdd/scala/03-obvious-implementation-and-refactoring.md +99 -0
  330. package/lib/assets/docs/article/getting-start-tdd/scala/04-version-control-and-conventional-commits.md +123 -0
  331. package/lib/assets/docs/article/getting-start-tdd/scala/05-package-management-and-static-analysis.md +196 -0
  332. package/lib/assets/docs/article/getting-start-tdd/scala/06-task-runner-and-ci-cd.md +186 -0
  333. package/lib/assets/docs/article/getting-start-tdd/scala/07-case-classes-and-traits.md +139 -0
  334. package/lib/assets/docs/article/getting-start-tdd/scala/08-pattern-matching-and-sealed-traits.md +106 -0
  335. package/lib/assets/docs/article/getting-start-tdd/scala/09-packages-and-module-design.md +75 -0
  336. package/lib/assets/docs/article/getting-start-tdd/scala/10-higher-order-functions-and-composition.md +104 -0
  337. package/lib/assets/docs/article/getting-start-tdd/scala/11-collections-and-lazy-evaluation.md +94 -0
  338. package/lib/assets/docs/article/getting-start-tdd/scala/12-error-handling-and-type-safety.md +92 -0
  339. package/lib/assets/docs/article/getting-start-tdd/scala/index.md +65 -0
  340. package/lib/assets/docs/article/grokking-concurrency/all/index.md +404 -0
  341. package/lib/assets/docs/article/grokking-concurrency/all/part-1-ch02-sequential.md +554 -0
  342. package/lib/assets/docs/article/grokking-concurrency/all/part-2-ch04-05-threads.md +469 -0
  343. package/lib/assets/docs/article/grokking-concurrency/all/part-3-ch06-multitasking.md +520 -0
  344. package/lib/assets/docs/article/grokking-concurrency/all/part-4-ch07-parallel-patterns.md +420 -0
  345. package/lib/assets/docs/article/grokking-concurrency/all/part-5-ch08-09-synchronization.md +510 -0
  346. package/lib/assets/docs/article/grokking-concurrency/all/part-6-ch10-11-nonblocking-io.md +435 -0
  347. package/lib/assets/docs/article/grokking-concurrency/all/part-7-ch12-async.md +465 -0
  348. package/lib/assets/docs/article/grokking-concurrency/all/part-8-ch13-mapreduce.md +377 -0
  349. package/lib/assets/docs/article/grokking-concurrency/clojure/index.md +116 -0
  350. package/lib/assets/docs/article/grokking-concurrency/clojure/part-1.md +108 -0
  351. package/lib/assets/docs/article/grokking-concurrency/clojure/part-2.md +101 -0
  352. package/lib/assets/docs/article/grokking-concurrency/clojure/part-3.md +122 -0
  353. package/lib/assets/docs/article/grokking-concurrency/clojure/part-4.md +123 -0
  354. package/lib/assets/docs/article/grokking-concurrency/clojure/part-5.md +118 -0
  355. package/lib/assets/docs/article/grokking-concurrency/clojure/part-6.md +89 -0
  356. package/lib/assets/docs/article/grokking-concurrency/clojure/part-7.md +100 -0
  357. package/lib/assets/docs/article/grokking-concurrency/clojure/part-8.md +120 -0
  358. package/lib/assets/docs/article/grokking-concurrency/csharp/index.md +101 -0
  359. package/lib/assets/docs/article/grokking-concurrency/csharp/part-1.md +97 -0
  360. package/lib/assets/docs/article/grokking-concurrency/csharp/part-2.md +123 -0
  361. package/lib/assets/docs/article/grokking-concurrency/csharp/part-3.md +101 -0
  362. package/lib/assets/docs/article/grokking-concurrency/csharp/part-4.md +112 -0
  363. package/lib/assets/docs/article/grokking-concurrency/csharp/part-5.md +99 -0
  364. package/lib/assets/docs/article/grokking-concurrency/csharp/part-6.md +61 -0
  365. package/lib/assets/docs/article/grokking-concurrency/csharp/part-7.md +84 -0
  366. package/lib/assets/docs/article/grokking-concurrency/csharp/part-8.md +92 -0
  367. package/lib/assets/docs/article/grokking-concurrency/fsharp/index.md +65 -0
  368. package/lib/assets/docs/article/grokking-concurrency/fsharp/part-1.md +80 -0
  369. package/lib/assets/docs/article/grokking-concurrency/fsharp/part-2.md +103 -0
  370. package/lib/assets/docs/article/grokking-concurrency/fsharp/part-3.md +94 -0
  371. package/lib/assets/docs/article/grokking-concurrency/fsharp/part-4.md +110 -0
  372. package/lib/assets/docs/article/grokking-concurrency/fsharp/part-5.md +104 -0
  373. package/lib/assets/docs/article/grokking-concurrency/fsharp/part-6.md +93 -0
  374. package/lib/assets/docs/article/grokking-concurrency/fsharp/part-7.md +121 -0
  375. package/lib/assets/docs/article/grokking-concurrency/fsharp/part-8.md +107 -0
  376. package/lib/assets/docs/article/grokking-concurrency/haskell/index.md +248 -0
  377. package/lib/assets/docs/article/grokking-concurrency/haskell/part-1.md +96 -0
  378. package/lib/assets/docs/article/grokking-concurrency/haskell/part-2.md +96 -0
  379. package/lib/assets/docs/article/grokking-concurrency/haskell/part-3.md +91 -0
  380. package/lib/assets/docs/article/grokking-concurrency/haskell/part-4.md +106 -0
  381. package/lib/assets/docs/article/grokking-concurrency/haskell/part-5.md +99 -0
  382. package/lib/assets/docs/article/grokking-concurrency/haskell/part-6.md +95 -0
  383. package/lib/assets/docs/article/grokking-concurrency/haskell/part-7.md +111 -0
  384. package/lib/assets/docs/article/grokking-concurrency/haskell/part-8.md +118 -0
  385. package/lib/assets/docs/article/grokking-concurrency/index.md +66 -0
  386. package/lib/assets/docs/article/grokking-concurrency/java/index.md +102 -0
  387. package/lib/assets/docs/article/grokking-concurrency/java/part-1.md +308 -0
  388. package/lib/assets/docs/article/grokking-concurrency/java/part-2.md +334 -0
  389. package/lib/assets/docs/article/grokking-concurrency/java/part-3.md +221 -0
  390. package/lib/assets/docs/article/grokking-concurrency/java/part-4.md +213 -0
  391. package/lib/assets/docs/article/grokking-concurrency/java/part-5.md +112 -0
  392. package/lib/assets/docs/article/grokking-concurrency/java/part-6.md +69 -0
  393. package/lib/assets/docs/article/grokking-concurrency/java/part-7.md +101 -0
  394. package/lib/assets/docs/article/grokking-concurrency/java/part-8.md +101 -0
  395. package/lib/assets/docs/article/grokking-concurrency/python/index.md +313 -0
  396. package/lib/assets/docs/article/grokking-concurrency/python/part-1.md +239 -0
  397. package/lib/assets/docs/article/grokking-concurrency/python/part-2.md +418 -0
  398. package/lib/assets/docs/article/grokking-concurrency/python/part-3.md +227 -0
  399. package/lib/assets/docs/article/grokking-concurrency/python/part-4.md +299 -0
  400. package/lib/assets/docs/article/grokking-concurrency/python/part-5.md +315 -0
  401. package/lib/assets/docs/article/grokking-concurrency/python/part-6.md +297 -0
  402. package/lib/assets/docs/article/grokking-concurrency/python/part-7.md +314 -0
  403. package/lib/assets/docs/article/grokking-concurrency/python/part-8.md +360 -0
  404. package/lib/assets/docs/article/grokking-concurrency/rust/index.md +270 -0
  405. package/lib/assets/docs/article/grokking-concurrency/rust/part-1.md +108 -0
  406. package/lib/assets/docs/article/grokking-concurrency/rust/part-2.md +120 -0
  407. package/lib/assets/docs/article/grokking-concurrency/rust/part-3.md +126 -0
  408. package/lib/assets/docs/article/grokking-concurrency/rust/part-4.md +175 -0
  409. package/lib/assets/docs/article/grokking-concurrency/rust/part-5.md +158 -0
  410. package/lib/assets/docs/article/grokking-concurrency/rust/part-6.md +94 -0
  411. package/lib/assets/docs/article/grokking-concurrency/rust/part-7.md +133 -0
  412. package/lib/assets/docs/article/grokking-concurrency/rust/part-8.md +155 -0
  413. package/lib/assets/docs/article/grokking-concurrency/scala/index.md +69 -0
  414. package/lib/assets/docs/article/grokking-concurrency/scala/part-1.md +78 -0
  415. package/lib/assets/docs/article/grokking-concurrency/scala/part-2.md +112 -0
  416. package/lib/assets/docs/article/grokking-concurrency/scala/part-3.md +93 -0
  417. package/lib/assets/docs/article/grokking-concurrency/scala/part-4.md +110 -0
  418. package/lib/assets/docs/article/grokking-concurrency/scala/part-5.md +119 -0
  419. package/lib/assets/docs/article/grokking-concurrency/scala/part-6.md +83 -0
  420. package/lib/assets/docs/article/grokking-concurrency/scala/part-7.md +131 -0
  421. package/lib/assets/docs/article/grokking-concurrency/scala/part-8.md +129 -0
  422. package/lib/assets/docs/article/grokkingfp/all/index.md +368 -0
  423. package/lib/assets/docs/article/grokkingfp/all/part-1-ch01-fp-introduction.md +530 -0
  424. package/lib/assets/docs/article/grokkingfp/all/part-1-ch02-pure-functions.md +923 -0
  425. package/lib/assets/docs/article/grokkingfp/all/part-2-ch03-immutable-data.md +1122 -0
  426. package/lib/assets/docs/article/grokkingfp/all/part-2-ch04-higher-order-functions.md +1104 -0
  427. package/lib/assets/docs/article/grokkingfp/all/part-2-ch05-flatmap.md +1026 -0
  428. package/lib/assets/docs/article/grokkingfp/all/part-3-ch06-option.md +777 -0
  429. package/lib/assets/docs/article/grokkingfp/all/part-3-ch07-either-adt.md +871 -0
  430. package/lib/assets/docs/article/grokkingfp/all/part-4-ch08-io-monad.md +972 -0
  431. package/lib/assets/docs/article/grokkingfp/all/part-4-ch09-streams.md +926 -0
  432. package/lib/assets/docs/article/grokkingfp/all/part-5-ch10-concurrency.md +870 -0
  433. package/lib/assets/docs/article/grokkingfp/all/part-6-ch11-application.md +715 -0
  434. package/lib/assets/docs/article/grokkingfp/all/part-6-ch12-testing.md +626 -0
  435. package/lib/assets/docs/article/grokkingfp/all/writing-plan.md +696 -0
  436. package/lib/assets/docs/article/grokkingfp/clojure/index.md +276 -0
  437. package/lib/assets/docs/article/grokkingfp/clojure/part-1.md +667 -0
  438. package/lib/assets/docs/article/grokkingfp/clojure/part-2.md +643 -0
  439. package/lib/assets/docs/article/grokkingfp/clojure/part-3.md +620 -0
  440. package/lib/assets/docs/article/grokkingfp/clojure/part-4.md +697 -0
  441. package/lib/assets/docs/article/grokkingfp/clojure/part-5.md +751 -0
  442. package/lib/assets/docs/article/grokkingfp/clojure/part-6.md +721 -0
  443. package/lib/assets/docs/article/grokkingfp/csharp/index.md +246 -0
  444. package/lib/assets/docs/article/grokkingfp/csharp/part-1.md +811 -0
  445. package/lib/assets/docs/article/grokkingfp/csharp/part-2.md +971 -0
  446. package/lib/assets/docs/article/grokkingfp/csharp/part-3.md +981 -0
  447. package/lib/assets/docs/article/grokkingfp/csharp/part-4.md +949 -0
  448. package/lib/assets/docs/article/grokkingfp/csharp/part-5.md +947 -0
  449. package/lib/assets/docs/article/grokkingfp/csharp/part-6.md +739 -0
  450. package/lib/assets/docs/article/grokkingfp/elixir/index.md +203 -0
  451. package/lib/assets/docs/article/grokkingfp/elixir/part-1.md +710 -0
  452. package/lib/assets/docs/article/grokkingfp/elixir/part-2.md +838 -0
  453. package/lib/assets/docs/article/grokkingfp/elixir/part-3.md +985 -0
  454. package/lib/assets/docs/article/grokkingfp/elixir/part-4.md +974 -0
  455. package/lib/assets/docs/article/grokkingfp/elixir/part-5.md +1284 -0
  456. package/lib/assets/docs/article/grokkingfp/elixir/part-6.md +1047 -0
  457. package/lib/assets/docs/article/grokkingfp/fsharp/index.md +210 -0
  458. package/lib/assets/docs/article/grokkingfp/fsharp/part-1.md +714 -0
  459. package/lib/assets/docs/article/grokkingfp/fsharp/part-2.md +961 -0
  460. package/lib/assets/docs/article/grokkingfp/fsharp/part-3.md +972 -0
  461. package/lib/assets/docs/article/grokkingfp/fsharp/part-4.md +832 -0
  462. package/lib/assets/docs/article/grokkingfp/fsharp/part-5.md +911 -0
  463. package/lib/assets/docs/article/grokkingfp/fsharp/part-6.md +920 -0
  464. package/lib/assets/docs/article/grokkingfp/haskell/index.md +234 -0
  465. package/lib/assets/docs/article/grokkingfp/haskell/part-1.md +591 -0
  466. package/lib/assets/docs/article/grokkingfp/haskell/part-2.md +866 -0
  467. package/lib/assets/docs/article/grokkingfp/haskell/part-3.md +915 -0
  468. package/lib/assets/docs/article/grokkingfp/haskell/part-4.md +876 -0
  469. package/lib/assets/docs/article/grokkingfp/haskell/part-5.md +845 -0
  470. package/lib/assets/docs/article/grokkingfp/haskell/part-6.md +842 -0
  471. package/lib/assets/docs/article/grokkingfp/index.md +143 -0
  472. package/lib/assets/docs/article/grokkingfp/java/index.md +211 -0
  473. package/lib/assets/docs/article/grokkingfp/java/part-1.md +646 -0
  474. package/lib/assets/docs/article/grokkingfp/java/part-2.md +667 -0
  475. package/lib/assets/docs/article/grokkingfp/java/part-3.md +672 -0
  476. package/lib/assets/docs/article/grokkingfp/java/part-4.md +771 -0
  477. package/lib/assets/docs/article/grokkingfp/java/part-5.md +959 -0
  478. package/lib/assets/docs/article/grokkingfp/java/part-6.md +1324 -0
  479. package/lib/assets/docs/article/grokkingfp/python/index.md +258 -0
  480. package/lib/assets/docs/article/grokkingfp/python/part-1.md +437 -0
  481. package/lib/assets/docs/article/grokkingfp/python/part-2.md +958 -0
  482. package/lib/assets/docs/article/grokkingfp/python/part-3.md +1004 -0
  483. package/lib/assets/docs/article/grokkingfp/python/part-4.md +765 -0
  484. package/lib/assets/docs/article/grokkingfp/python/part-5.md +747 -0
  485. package/lib/assets/docs/article/grokkingfp/python/part-6.md +861 -0
  486. package/lib/assets/docs/article/grokkingfp/ruby/index.md +330 -0
  487. package/lib/assets/docs/article/grokkingfp/ruby/part-1.md +753 -0
  488. package/lib/assets/docs/article/grokkingfp/ruby/part-2.md +938 -0
  489. package/lib/assets/docs/article/grokkingfp/ruby/part-3.md +946 -0
  490. package/lib/assets/docs/article/grokkingfp/ruby/part-4.md +921 -0
  491. package/lib/assets/docs/article/grokkingfp/ruby/part-5.md +908 -0
  492. package/lib/assets/docs/article/grokkingfp/ruby/part-6.md +1410 -0
  493. package/lib/assets/docs/article/grokkingfp/rust/index.md +242 -0
  494. package/lib/assets/docs/article/grokkingfp/rust/part-1.md +634 -0
  495. package/lib/assets/docs/article/grokkingfp/rust/part-2.md +1060 -0
  496. package/lib/assets/docs/article/grokkingfp/rust/part-3.md +994 -0
  497. package/lib/assets/docs/article/grokkingfp/rust/part-4.md +571 -0
  498. package/lib/assets/docs/article/grokkingfp/rust/part-5.md +705 -0
  499. package/lib/assets/docs/article/grokkingfp/rust/part-6.md +508 -0
  500. package/lib/assets/docs/article/grokkingfp/scala/index.md +171 -0
  501. package/lib/assets/docs/article/grokkingfp/scala/part-1.md +541 -0
  502. package/lib/assets/docs/article/grokkingfp/scala/part-2.md +946 -0
  503. package/lib/assets/docs/article/grokkingfp/scala/part-3.md +917 -0
  504. package/lib/assets/docs/article/grokkingfp/scala/part-4.md +742 -0
  505. package/lib/assets/docs/article/grokkingfp/scala/part-5.md +722 -0
  506. package/lib/assets/docs/article/grokkingfp/scala/part-6.md +865 -0
  507. package/lib/assets/docs/article/grokkingfp/typescript/index.md +273 -0
  508. package/lib/assets/docs/article/grokkingfp/typescript/part-1.md +559 -0
  509. package/lib/assets/docs/article/grokkingfp/typescript/part-2.md +1129 -0
  510. package/lib/assets/docs/article/grokkingfp/typescript/part-3.md +842 -0
  511. package/lib/assets/docs/article/grokkingfp/typescript/part-4.md +1085 -0
  512. package/lib/assets/docs/article/grokkingfp/typescript/part-5.md +717 -0
  513. package/lib/assets/docs/article/grokkingfp/typescript/part-6.md +980 -0
  514. package/lib/assets/docs/article/index.md +36 -0
  515. package/lib/assets/docs/design/index.md +39 -27
  516. package/lib/assets/docs/development/index.md +11 -1
  517. package/lib/assets/docs/index.md +33 -103
  518. package/lib/assets/docs/operation/index.md +16 -6
  519. package/lib/assets/docs/reference/index.md +5 -4
  520. package/lib/assets/docs/requirements/index.md +13 -6
  521. package/lib/assets/docs/review/index.md +5 -0
  522. package/lib/assets/docs/strategy/index.md +15 -0
  523. package/lib/assets/docs/template/index.md +9 -5
  524. package/lib/assets/mkdocs.yml +33 -19
  525. package/package.json +1 -1
  526. package/lib/assets/docs/analysis/index.md +0 -8
  527. /package/lib/assets/docs/{analysis → strategy}/slide/.gitkeep +0 -0
@@ -0,0 +1,425 @@
1
+ # 第3章: 多態性とディスパッチ
2
+
3
+ ## はじめに
4
+
5
+ 多態性(ポリモーフィズム)は、同じインターフェースで異なる振る舞いを実現する強力な概念です。Rust では、enum、trait、ジェネリクスという複数のメカニズムで多態性を実現します。
6
+
7
+ 本章では、これらのメカニズムを使い分けて、柔軟で拡張性の高いコードを書く方法を学びます。
8
+
9
+ ## 1. Enum による多態性(代数的データ型)
10
+
11
+ Rust の `enum` は、有限の型のバリエーションを定義するのに最適です。コンパイラがパターンマッチングの網羅性をチェックしてくれます。
12
+
13
+ ### 基本的な使い方
14
+
15
+ ```rust
16
+ /// 図形を表す enum
17
+ #[derive(Debug, Clone, PartialEq)]
18
+ pub enum Shape {
19
+ Rectangle { width: f64, height: f64 },
20
+ Circle { radius: f64 },
21
+ Triangle { base: f64, height: f64 },
22
+ }
23
+
24
+ impl Shape {
25
+ /// 図形の面積を計算する
26
+ pub fn area(&self) -> f64 {
27
+ match self {
28
+ Shape::Rectangle { width, height } => width * height,
29
+ Shape::Circle { radius } => std::f64::consts::PI * radius * radius,
30
+ Shape::Triangle { base, height } => base * height / 2.0,
31
+ }
32
+ }
33
+ }
34
+
35
+ // 使用例
36
+ let rect = Shape::Rectangle { width: 4.0, height: 5.0 };
37
+ rect.area() // => 20.0
38
+
39
+ let circle = Shape::Circle { radius: 3.0 };
40
+ circle.area() // => 28.27...
41
+ ```
42
+
43
+ ### Enum の利点
44
+
45
+ 1. **網羅性チェック**: コンパイラがすべてのケースがカバーされているか確認
46
+ 2. **型安全性**: 不正な型の値を渡せない
47
+ 3. **パターンマッチング**: 分岐を簡潔に記述可能
48
+
49
+ ## 2. 複合ディスパッチ
50
+
51
+ タプルを使ったパターンマッチングで、複数の値に基づくディスパッチを実現できます。
52
+
53
+ ```rust
54
+ #[derive(Debug, Clone, PartialEq)]
55
+ pub enum PaymentMethod {
56
+ CreditCard,
57
+ BankTransfer,
58
+ Cash,
59
+ }
60
+
61
+ #[derive(Debug, Clone, PartialEq)]
62
+ pub enum Currency {
63
+ JPY,
64
+ USD,
65
+ EUR,
66
+ }
67
+
68
+ impl Payment {
69
+ /// 支払いを処理する(複合ディスパッチ)
70
+ pub fn process(&self) -> PaymentResult {
71
+ match (&self.method, &self.currency) {
72
+ (PaymentMethod::CreditCard, Currency::JPY) => PaymentResult {
73
+ status: "processed".to_string(),
74
+ message: "クレジットカード(円)で処理しました".to_string(),
75
+ amount: self.amount,
76
+ converted: None,
77
+ },
78
+ (PaymentMethod::CreditCard, Currency::USD) => PaymentResult {
79
+ status: "processed".to_string(),
80
+ message: "Credit card (USD) processed".to_string(),
81
+ amount: self.amount,
82
+ converted: Some(self.amount * 150),
83
+ },
84
+ (PaymentMethod::BankTransfer, Currency::JPY) => PaymentResult {
85
+ status: "pending".to_string(),
86
+ message: "銀行振込を受け付けました".to_string(),
87
+ amount: self.amount,
88
+ converted: None,
89
+ },
90
+ _ => PaymentResult {
91
+ status: "error".to_string(),
92
+ message: "サポートされていない支払い方法です".to_string(),
93
+ amount: self.amount,
94
+ converted: None,
95
+ },
96
+ }
97
+ }
98
+ }
99
+ ```
100
+
101
+ ## 3. Trait による階層的ディスパッチ
102
+
103
+ Rust では trait を使って型の共通インターフェースを定義し、各型に固有の振る舞いを持たせることができます。
104
+
105
+ ```rust
106
+ /// 口座の共通トレイト
107
+ pub trait Account {
108
+ fn balance(&self) -> i32;
109
+ fn interest_rate(&self) -> f64;
110
+
111
+ fn calculate_interest(&self) -> f64 {
112
+ self.balance() as f64 * self.interest_rate()
113
+ }
114
+ }
115
+
116
+ /// 普通預金口座
117
+ #[derive(Debug, Clone, PartialEq)]
118
+ pub struct SavingsAccount {
119
+ pub balance: i32,
120
+ }
121
+
122
+ impl Account for SavingsAccount {
123
+ fn balance(&self) -> i32 { self.balance }
124
+ fn interest_rate(&self) -> f64 { 0.02 }
125
+ }
126
+
127
+ /// プレミアム普通預金口座
128
+ #[derive(Debug, Clone, PartialEq)]
129
+ pub struct PremiumSavingsAccount {
130
+ pub balance: i32,
131
+ }
132
+
133
+ impl Account for PremiumSavingsAccount {
134
+ fn balance(&self) -> i32 { self.balance }
135
+ fn interest_rate(&self) -> f64 { 0.05 }
136
+ }
137
+
138
+ // 使用例
139
+ let savings = SavingsAccount { balance: 10000 };
140
+ savings.calculate_interest() // => 200.0
141
+
142
+ let premium = PremiumSavingsAccount { balance: 10000 };
143
+ premium.calculate_interest() // => 500.0
144
+ ```
145
+
146
+ ## 4. Trait(Protocol に相当)
147
+
148
+ Trait は、特定の操作セットを定義するインターフェースです。
149
+
150
+ ### Trait の定義
151
+
152
+ ```rust
153
+ /// バウンディングボックス
154
+ #[derive(Debug, Clone, PartialEq)]
155
+ pub struct BoundingBox {
156
+ pub x: f64,
157
+ pub y: f64,
158
+ pub width: f64,
159
+ pub height: f64,
160
+ }
161
+
162
+ /// 描画可能なオブジェクトのトレイト
163
+ pub trait Drawable {
164
+ fn draw(&self) -> String;
165
+ fn bounding_box(&self) -> BoundingBox;
166
+ }
167
+
168
+ /// 変換可能なオブジェクトのトレイト
169
+ pub trait Transformable: Sized {
170
+ fn translate(&self, dx: f64, dy: f64) -> Self;
171
+ fn scale(&self, factor: f64) -> Self;
172
+ fn rotate(&self, angle: f64) -> Self;
173
+ }
174
+ ```
175
+
176
+ ### Trait の利点
177
+
178
+ 1. **パフォーマンス**: 静的ディスパッチによる高速な実行
179
+ 2. **明確なコントラクト**: 実装すべきメソッドが明示的
180
+ 3. **複数実装**: 一つの型が複数の trait を実装可能
181
+
182
+ ## 5. Trait を実装する構造体
183
+
184
+ ```rust
185
+ #[derive(Debug, Clone, PartialEq)]
186
+ pub struct DrawableRectangle {
187
+ pub x: f64,
188
+ pub y: f64,
189
+ pub width: f64,
190
+ pub height: f64,
191
+ }
192
+
193
+ impl Drawable for DrawableRectangle {
194
+ fn draw(&self) -> String {
195
+ format!(
196
+ "Rectangle at ({},{}) with size {}x{}",
197
+ self.x, self.y, self.width, self.height
198
+ )
199
+ }
200
+
201
+ fn bounding_box(&self) -> BoundingBox {
202
+ BoundingBox {
203
+ x: self.x,
204
+ y: self.y,
205
+ width: self.width,
206
+ height: self.height,
207
+ }
208
+ }
209
+ }
210
+
211
+ impl Transformable for DrawableRectangle {
212
+ fn translate(&self, dx: f64, dy: f64) -> Self {
213
+ DrawableRectangle {
214
+ x: self.x + dx,
215
+ y: self.y + dy,
216
+ ..*self
217
+ }
218
+ }
219
+
220
+ fn scale(&self, factor: f64) -> Self {
221
+ DrawableRectangle {
222
+ width: self.width * factor,
223
+ height: self.height * factor,
224
+ ..*self
225
+ }
226
+ }
227
+
228
+ fn rotate(&self, _angle: f64) -> Self {
229
+ self.clone()
230
+ }
231
+ }
232
+
233
+ // 使用例
234
+ let rect = DrawableRectangle::new(10.0, 20.0, 100.0, 50.0);
235
+ rect.draw() // => "Rectangle at (10,20) with size 100x50"
236
+ rect.translate(5.0, 10.0) // => DrawableRectangle { x: 15.0, y: 30.0, ... }
237
+ ```
238
+
239
+ ## 6. 既存型への拡張(Extension Trait)
240
+
241
+ Rust では既存の型に後から振る舞いを追加できます。
242
+
243
+ ```rust
244
+ /// 文字列に変換可能なトレイト
245
+ pub trait Stringable {
246
+ fn to_custom_string(&self) -> String;
247
+ }
248
+
249
+ impl<T: std::fmt::Display> Stringable for Vec<T> {
250
+ fn to_custom_string(&self) -> String {
251
+ let parts: Vec<String> = self.iter().map(|x| x.to_string()).collect();
252
+ format!("[{}]", parts.join(", "))
253
+ }
254
+ }
255
+
256
+ impl Stringable for i32 {
257
+ fn to_custom_string(&self) -> String {
258
+ self.to_string()
259
+ }
260
+ }
261
+
262
+ impl<T: Stringable> Stringable for Option<T> {
263
+ fn to_custom_string(&self) -> String {
264
+ match self {
265
+ Some(v) => v.to_custom_string(),
266
+ None => "nil".to_string(),
267
+ }
268
+ }
269
+ }
270
+
271
+ // 使用例
272
+ let v = vec![1, 2, 3];
273
+ v.to_custom_string() // => "[1, 2, 3]"
274
+
275
+ let opt: Option<i32> = Some(42);
276
+ opt.to_custom_string() // => "42"
277
+
278
+ let none: Option<i32> = None;
279
+ none.to_custom_string() // => "nil"
280
+ ```
281
+
282
+ ## 7. コンポーネントパターン
283
+
284
+ Trait を使って、コンポーネントのライフサイクル管理を実現します。
285
+
286
+ ```rust
287
+ /// ライフサイクル管理トレイト
288
+ pub trait Lifecycle: Sized {
289
+ fn start(self) -> Self;
290
+ fn stop(self) -> Self;
291
+ }
292
+
293
+ #[derive(Debug, Clone, PartialEq)]
294
+ pub struct DatabaseConnection {
295
+ pub host: String,
296
+ pub port: u16,
297
+ pub connected: bool,
298
+ }
299
+
300
+ impl Lifecycle for DatabaseConnection {
301
+ fn start(mut self) -> Self {
302
+ println!("データベースに接続中: {} : {}", self.host, self.port);
303
+ self.connected = true;
304
+ self
305
+ }
306
+
307
+ fn stop(mut self) -> Self {
308
+ println!("データベース接続を切断中");
309
+ self.connected = false;
310
+ self
311
+ }
312
+ }
313
+
314
+ // 使用例
315
+ let db = DatabaseConnection::new("localhost", 5432);
316
+ let db = db.start(); // データベースに接続中
317
+ let db = db.stop(); // データベース接続を切断中
318
+ ```
319
+
320
+ ## 8. 条件分岐の置き換え(Strategy パターン)
321
+
322
+ 多態性を使って、switch/case 文による型判定を排除できます。
323
+
324
+ ### Before(条件分岐)
325
+
326
+ ```rust
327
+ // 悪い例:型による条件分岐
328
+ fn send_notification_bad(notification_type: &str, message: &str, to: &str) -> Result<(), String> {
329
+ match notification_type {
330
+ "email" => { /* メール送信 */ Ok(()) }
331
+ "sms" => { /* SMS送信 */ Ok(()) }
332
+ "push" => { /* プッシュ通知 */ Ok(()) }
333
+ _ => Err("未知の通知タイプ".to_string())
334
+ }
335
+ }
336
+ ```
337
+
338
+ ### After(多態性)
339
+
340
+ ```rust
341
+ /// 通知送信トレイト
342
+ pub trait NotificationSender {
343
+ fn send_notification(&self, message: &str) -> NotificationResult;
344
+ fn delivery_time(&self) -> &str;
345
+ }
346
+
347
+ #[derive(Debug, Clone, PartialEq)]
348
+ pub struct EmailNotification {
349
+ pub to: String,
350
+ pub subject: String,
351
+ }
352
+
353
+ impl NotificationSender for EmailNotification {
354
+ fn send_notification(&self, message: &str) -> NotificationResult {
355
+ NotificationResult {
356
+ notification_type: "email".to_string(),
357
+ to: self.to.clone(),
358
+ body: message.to_string(),
359
+ status: "sent".to_string(),
360
+ subject: Some(self.subject.clone()),
361
+ }
362
+ }
363
+
364
+ fn delivery_time(&self) -> &str {
365
+ "1-2分"
366
+ }
367
+ }
368
+
369
+ // ファクトリ関数
370
+ pub fn create_notification(
371
+ notification_type: &str,
372
+ to: &str,
373
+ subject: Option<&str>,
374
+ ) -> Result<Box<dyn NotificationSender>, String> {
375
+ match notification_type {
376
+ "email" => Ok(Box::new(EmailNotification::new(to, subject.unwrap_or("通知")))),
377
+ "sms" => Ok(Box::new(SMSNotification::new(to))),
378
+ "push" => Ok(Box::new(PushNotification::new(to))),
379
+ _ => Err(format!("未知の通知タイプ: {}", notification_type)),
380
+ }
381
+ }
382
+
383
+ // 使用例
384
+ let email = create_notification("email", "user@example.com", Some("お知らせ")).unwrap();
385
+ email.send_notification("重要なお知らせ")
386
+ ```
387
+
388
+ ## 9. Enum、Trait、ジェネリクスの使い分け
389
+
390
+ | 特徴 | Enum | Trait | ジェネリクス |
391
+ |------|------|-------|------------|
392
+ | ディスパッチ | 値に基づく | 型に基づく | コンパイル時 |
393
+ | 拡張性 | クローズド | オープン | オープン |
394
+ | パフォーマンス | 良い | 良い〜最良 | 最良 |
395
+ | 用途 | 有限の型バリエーション | 共通インターフェース | 汎用的な処理 |
396
+
397
+ ### 使い分けの指針
398
+
399
+ - **Enum**: 有限で固定された型のバリエーション(Option、Result など)
400
+ - **Trait**: 新しい型が追加される可能性がある場合、共通のインターフェースが必要な場合
401
+ - **Trait + dyn**: 実行時に異なる型を扱う必要がある場合(動的ディスパッチ)
402
+ - **ジェネリクス + Trait bounds**: コンパイル時に型が決まり、最大のパフォーマンスが必要な場合
403
+
404
+ ## まとめ
405
+
406
+ 本章では、Rust における多態性について学びました:
407
+
408
+ 1. **Enum**: 代数的データ型による有限の型バリエーション
409
+ 2. **複合ディスパッチ**: タプルによる複数の値に基づくパターンマッチング
410
+ 3. **Trait**: 共通インターフェースの定義
411
+ 4. **Extension Trait**: 既存型への振る舞いの追加
412
+ 5. **コンポーネントパターン**: ライフサイクル管理
413
+ 6. **Strategy パターン**: 条件分岐の置き換え
414
+
415
+ これらのメカニズムを適切に使い分けることで、拡張性が高く保守しやすいコードを実現できます。
416
+
417
+ ## 参考コード
418
+
419
+ 本章のコード例は以下のファイルで確認できます:
420
+
421
+ - ソースコード: `apps/rust/part1/src/chapter03.rs`
422
+
423
+ ## 次章予告
424
+
425
+ 次章から第2部「仕様とテスト」に入ります。Rust のデータバリデーションと仕様定義について学びます。
@@ -0,0 +1,273 @@
1
+ # 第4章: データ検証
2
+
3
+ ## 概要
4
+
5
+ この章では、Rust の型システムと Result/Option を使ったデータバリデーションの実装方法を学びます。Newtype パターン、スマートコンストラクタ、エラー蓄積パターンなど、堅牢なドメインモデルを構築するための技法を扱います。
6
+
7
+ ## 学習目標
8
+
9
+ 1. 基本的なバリデーション関数の実装
10
+ 2. Validated 型によるエラー蓄積パターン
11
+ 3. Newtype パターンによる型安全なドメインモデル
12
+ 4. 列挙型とスマートコンストラクタ
13
+ 5. 条件付きバリデーション
14
+
15
+ ## 基本概念
16
+
17
+ ### 1. バリデーション結果型
18
+
19
+ Rust の `Result` 型を使って、バリデーションの成功・失敗を表現します:
20
+
21
+ ```rust
22
+ pub type ValidationResult<T> = Result<T, Vec<String>>;
23
+
24
+ pub fn validate_name(name: &str) -> ValidationResult<String> {
25
+ if name.is_empty() {
26
+ Err(vec!["名前は空にできません".to_string()])
27
+ } else if name.len() > 100 {
28
+ Err(vec!["名前は100文字以内である必要があります".to_string()])
29
+ } else {
30
+ Ok(name.to_string())
31
+ }
32
+ }
33
+ ```
34
+
35
+ ### 2. Validated 型(エラー蓄積)
36
+
37
+ `Result` は最初のエラーで停止しますが、`Validated` 型を使うと全てのエラーを蓄積できます:
38
+
39
+ ```rust
40
+ #[derive(Debug, Clone, PartialEq)]
41
+ pub enum Validated<E, A> {
42
+ Valid(A),
43
+ Invalid(Vec<E>),
44
+ }
45
+
46
+ impl<E: Clone, A> Validated<E, A> {
47
+ pub fn combine<B, C, F>(self, other: Validated<E, B>, f: F) -> Validated<E, C>
48
+ where
49
+ F: FnOnce(A, B) -> C,
50
+ {
51
+ match (self, other) {
52
+ (Validated::Valid(a), Validated::Valid(b)) => Validated::Valid(f(a, b)),
53
+ (Validated::Invalid(e1), Validated::Invalid(e2)) => {
54
+ let mut errors = e1;
55
+ errors.extend(e2);
56
+ Validated::Invalid(errors)
57
+ }
58
+ (Validated::Invalid(e), _) => Validated::Invalid(e),
59
+ (_, Validated::Invalid(e)) => Validated::Invalid(e),
60
+ }
61
+ }
62
+ }
63
+ ```
64
+
65
+ ### 3. Newtype パターン
66
+
67
+ プリミティブ型をラップして型安全性を高めます:
68
+
69
+ ```rust
70
+ #[derive(Debug, Clone, PartialEq, Eq)]
71
+ pub struct ProductId(String);
72
+
73
+ impl ProductId {
74
+ pub fn new(id: &str) -> Validated<String, ProductId> {
75
+ let pattern = regex::Regex::new(r"^PROD-\d{5}$").unwrap();
76
+ if pattern.is_match(id) {
77
+ Validated::valid(ProductId(id.to_string()))
78
+ } else {
79
+ Validated::invalid(vec![format!(
80
+ "無効な商品ID形式: {} (PROD-XXXXXの形式が必要)",
81
+ id
82
+ )])
83
+ }
84
+ }
85
+
86
+ pub fn value(&self) -> &str {
87
+ &self.0
88
+ }
89
+ }
90
+ ```
91
+
92
+ ### 4. ドメインモデルの構築
93
+
94
+ Newtype を組み合わせて、安全なドメインモデルを構築します:
95
+
96
+ ```rust
97
+ #[derive(Debug, Clone, PartialEq)]
98
+ pub struct Product {
99
+ pub id: ProductId,
100
+ pub name: ProductName,
101
+ pub price: Price,
102
+ pub description: Option<String>,
103
+ pub category: Option<String>,
104
+ }
105
+
106
+ impl Product {
107
+ pub fn create(
108
+ id: &str,
109
+ name: &str,
110
+ price: f64,
111
+ description: Option<String>,
112
+ category: Option<String>,
113
+ ) -> Validated<String, Product> {
114
+ ProductId::new(id).combine3(
115
+ ProductName::new(name),
116
+ Price::new(price),
117
+ |pid, pname, pprice| Product {
118
+ id: pid,
119
+ name: pname,
120
+ price: pprice,
121
+ description,
122
+ category,
123
+ },
124
+ )
125
+ }
126
+ }
127
+ ```
128
+
129
+ ## 実装パターン
130
+
131
+ ### 列挙型とスマートコンストラクタ
132
+
133
+ ```rust
134
+ #[derive(Debug, Clone, Copy, PartialEq, Eq)]
135
+ pub enum Membership {
136
+ Bronze,
137
+ Silver,
138
+ Gold,
139
+ Platinum,
140
+ }
141
+
142
+ impl Membership {
143
+ pub fn from_str(s: &str) -> ValidationResult<Membership> {
144
+ match s.to_lowercase().as_str() {
145
+ "bronze" => Ok(Membership::Bronze),
146
+ "silver" => Ok(Membership::Silver),
147
+ "gold" => Ok(Membership::Gold),
148
+ "platinum" => Ok(Membership::Platinum),
149
+ _ => Err(vec![format!("無効な会員種別: {}", s)]),
150
+ }
151
+ }
152
+ }
153
+ ```
154
+
155
+ ### 条件付きバリデーション(ADT)
156
+
157
+ 通知タイプによって異なるバリデーションルールを適用:
158
+
159
+ ```rust
160
+ #[derive(Debug, Clone, PartialEq)]
161
+ pub enum Notification {
162
+ Email { to: String, subject: String, body: String },
163
+ SMS { phone_number: String, body: String },
164
+ Push { device_token: String, body: String },
165
+ }
166
+
167
+ impl Notification {
168
+ pub fn create_email(to: &str, subject: &str, body: &str) -> Validated<String, Notification> {
169
+ let mut errors = Vec::new();
170
+
171
+ if !to.contains('@') || !to.contains('.') {
172
+ errors.push("無効なメールアドレス形式です".to_string());
173
+ }
174
+ if subject.is_empty() {
175
+ errors.push("件名は空にできません".to_string());
176
+ }
177
+ if body.is_empty() {
178
+ errors.push("本文は空にできません".to_string());
179
+ }
180
+
181
+ if errors.is_empty() {
182
+ Validated::valid(Notification::Email {
183
+ to: to.to_string(),
184
+ subject: subject.to_string(),
185
+ body: body.to_string(),
186
+ })
187
+ } else {
188
+ Validated::invalid(errors)
189
+ }
190
+ }
191
+ }
192
+ ```
193
+
194
+ ### バリデーションレスポンス
195
+
196
+ API レスポンス向けの構造化された結果:
197
+
198
+ ```rust
199
+ #[derive(Debug, Clone, PartialEq)]
200
+ pub struct ValidationResponse<A> {
201
+ pub valid: bool,
202
+ pub data: Option<A>,
203
+ pub errors: Vec<String>,
204
+ }
205
+
206
+ impl<A> ValidationResponse<A> {
207
+ pub fn from_validated(validated: Validated<String, A>) -> Self {
208
+ match validated {
209
+ Validated::Valid(a) => ValidationResponse {
210
+ valid: true,
211
+ data: Some(a),
212
+ errors: Vec::new(),
213
+ },
214
+ Validated::Invalid(errors) => ValidationResponse {
215
+ valid: false,
216
+ data: None,
217
+ errors,
218
+ },
219
+ }
220
+ }
221
+ }
222
+ ```
223
+
224
+ ## 他言語との比較
225
+
226
+ | 概念 | Rust | Scala | F# |
227
+ |------|------|-------|-----|
228
+ | バリデーション結果 | `Result<T, Vec<E>>` | `Validated[E, A]` | `Result<'a, 'e>` |
229
+ | エラー蓄積 | カスタム `Validated` 型 | cats `Validated` | カスタム実装 |
230
+ | Newtype | `struct Name(Type)` | `case class` / opaque type | 単一ケース DU |
231
+ | スマートコンストラクタ | `impl` ブロック内 | `apply` メソッド | モジュール内関数 |
232
+
233
+ ## テスト例
234
+
235
+ ```rust
236
+ #[test]
237
+ fn test_product_create_all_invalid() {
238
+ let result = Product::create("INVALID", "", -100.0, None, None);
239
+ match result {
240
+ Validated::Invalid(errors) => {
241
+ assert_eq!(errors.len(), 3); // 3つのエラーが蓄積される
242
+ }
243
+ _ => panic!("Expected Invalid"),
244
+ }
245
+ }
246
+
247
+ #[test]
248
+ fn test_validated_combine_both_invalid() {
249
+ let v1: Validated<String, i32> = Validated::invalid(vec!["error1".to_string()]);
250
+ let v2: Validated<String, i32> = Validated::invalid(vec!["error2".to_string()]);
251
+ let result = v1.combine(v2, |a, b| a + b);
252
+ match result {
253
+ Validated::Invalid(errors) => {
254
+ assert_eq!(errors.len(), 2);
255
+ assert!(errors.contains(&"error1".to_string()));
256
+ assert!(errors.contains(&"error2".to_string()));
257
+ }
258
+ _ => panic!("Expected Invalid"),
259
+ }
260
+ }
261
+ ```
262
+
263
+ ## まとめ
264
+
265
+ - **Result vs Validated**: `Result` は fail-fast、`Validated` はエラー蓄積
266
+ - **Newtype パターン**: プリミティブ型に意味と制約を付与
267
+ - **スマートコンストラクタ**: 不正な値の生成を型レベルで防止
268
+ - **combine/combine3**: 複数のバリデーションを合成
269
+ - **ADT**: タイプごとに異なるバリデーションルールを適用
270
+
271
+ ## 次の章
272
+
273
+ [第5章: プロパティベーステスト](05-property-based-testing.md) では、proptest クレートを使った自動テスト生成を学びます。