@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,946 @@
1
+ # Part III: エラーハンドリングと Maybe/Result
2
+
3
+ 本章では、関数型プログラミングにおける安全なエラーハンドリングを学びます。`nil` や例外に頼らず、dry-monads の `Maybe` と `Result` を使って型安全にエラーを扱う方法を習得します。
4
+
5
+ ---
6
+
7
+ ## 第6章: Maybe 型による安全なエラーハンドリング
8
+
9
+ ### 6.1 なぜ Maybe が必要か
10
+
11
+ 従来のエラーハンドリングには問題があります。
12
+
13
+ ```plantuml
14
+ @startuml
15
+ !theme plain
16
+
17
+ rectangle "従来のエラーハンドリング" {
18
+ rectangle "nil を返す" as nil_ret {
19
+ card "NoMethodError の危険"
20
+ card "実行時まで検出できない"
21
+ }
22
+
23
+ rectangle "例外をスローする" as exception {
24
+ card "制御フローが複雑化"
25
+ card "純粋関数ではなくなる"
26
+ }
27
+ }
28
+
29
+ rectangle "Maybe による解決" as maybe {
30
+ card "型で「値がないかもしれない」を表現"
31
+ card "パターンで安全に処理"
32
+ card "純粋関数のまま"
33
+ }
34
+
35
+ nil_ret --> maybe : 置き換え
36
+ exception --> maybe : 置き換え
37
+
38
+ @enduml
39
+ ```
40
+
41
+ **ソースファイル**: `app/ruby/src/ch06_error_handling.rb`
42
+
43
+ ### 6.2 Maybe の基本
44
+
45
+ dry-monads の `Maybe` は「値があるか、ないか」を表す型です。
46
+
47
+ ```plantuml
48
+ @startuml
49
+ !theme plain
50
+
51
+ rectangle "Maybe[A]" as maybe {
52
+ rectangle "Some(value)" as some {
53
+ card "値が存在する"
54
+ card "value を保持"
55
+ }
56
+
57
+ rectangle "None" as none {
58
+ card "値が存在しない"
59
+ card "nil の代わり"
60
+ }
61
+ }
62
+
63
+ @enduml
64
+ ```
65
+
66
+ ```ruby
67
+ require 'dry/monads'
68
+
69
+ module MyModule
70
+ include Dry::Monads[:maybe]
71
+
72
+ # Some を作成
73
+ result = Some(42)
74
+ result.value! # => 42
75
+
76
+ # None を作成
77
+ no_value = None()
78
+ no_value.value_or(0) # => 0
79
+
80
+ # 値を Maybe でラップ(nil は None になる)
81
+ Maybe(5) # => Some(5)
82
+ Maybe(nil) # => None
83
+ end
84
+ ```
85
+
86
+ ### 6.3 安全な操作
87
+
88
+ #### 安全な除算
89
+
90
+ ```ruby
91
+ def self.safe_divide(a, b)
92
+ return None() if b.zero?
93
+ Some(a / b)
94
+ end
95
+
96
+ safe_divide(10, 2) # => Some(5)
97
+ safe_divide(10, 0) # => None
98
+ ```
99
+
100
+ #### 安全な整数パース
101
+
102
+ ```ruby
103
+ def self.safe_parse_int(str)
104
+ Some(Integer(str))
105
+ rescue ArgumentError, TypeError
106
+ None()
107
+ end
108
+
109
+ safe_parse_int('42') # => Some(42)
110
+ safe_parse_int('abc') # => None
111
+ ```
112
+
113
+ ### 6.4 TV番組のパース例
114
+
115
+ TV番組の文字列をパースする例で Maybe の使い方を学びます。
116
+
117
+ ```ruby
118
+ TvShow = Struct.new(:title, :start_year, :end_year, keyword_init: true)
119
+
120
+ # 入力例: "Breaking Bad (2008-2013)"
121
+ # 期待する出力: TvShow(title: "Breaking Bad", start_year: 2008, end_year: 2013)
122
+ ```
123
+
124
+ #### 小さな関数から組み立てる
125
+
126
+ ```ruby
127
+ # 名前を抽出
128
+ def self.extract_name(raw_show)
129
+ bracket_open = raw_show.index('(')
130
+ return None() if bracket_open.nil? || bracket_open <= 0
131
+
132
+ Some(raw_show[0...bracket_open].strip)
133
+ end
134
+
135
+ # 開始年を抽出
136
+ def self.extract_year_start(raw_show)
137
+ bracket_open = raw_show.index('(')
138
+ dash = raw_show.index('-')
139
+
140
+ return None() if bracket_open.nil? || dash.nil?
141
+ return None() if dash <= bracket_open + 1
142
+
143
+ year_str = raw_show[(bracket_open + 1)...dash]
144
+ safe_parse_int(year_str)
145
+ end
146
+
147
+ # 終了年を抽出
148
+ def self.extract_year_end(raw_show)
149
+ dash = raw_show.index('-')
150
+ bracket_close = raw_show.index(')')
151
+
152
+ return None() if dash.nil? || bracket_close.nil?
153
+ return None() if bracket_close <= dash + 1
154
+
155
+ year_str = raw_show[(dash + 1)...bracket_close]
156
+ safe_parse_int(year_str)
157
+ end
158
+ ```
159
+
160
+ ```plantuml
161
+ @startuml
162
+ !theme plain
163
+
164
+ rectangle "パース処理の分解" {
165
+ card "\"Breaking Bad (2008-2013)\"" as input
166
+
167
+ rectangle "小さな関数" as funcs {
168
+ card "extract_name" as name
169
+ card "extract_year_start" as start
170
+ card "extract_year_end" as end_year
171
+ }
172
+
173
+ card "TvShow" as output
174
+
175
+ input --> funcs
176
+ funcs --> output : bind/fmap で合成
177
+ }
178
+
179
+ @enduml
180
+ ```
181
+
182
+ ### 6.5 or によるフォールバック
183
+
184
+ `or` を使って、最初の Maybe が `None` の場合に代替を試すことができます。
185
+
186
+ ```ruby
187
+ seven = Some(7)
188
+ eight = Some(8)
189
+ none = None()
190
+
191
+ seven.or(eight) # => Some(7) - 最初が Some なのでそのまま
192
+ none.or(eight) # => Some(8) - 最初が None なので代替を使用
193
+ seven.or(none) # => Some(7)
194
+ none.or(none) # => None
195
+ ```
196
+
197
+ #### 単年の番組に対応する
198
+
199
+ ```ruby
200
+ # 単年を抽出("Chernobyl (2019)" 形式)
201
+ def self.extract_single_year(raw_show)
202
+ dash = raw_show.index('-')
203
+ return None() unless dash.nil? # ダッシュがあれば単年ではない
204
+
205
+ bracket_open = raw_show.index('(')
206
+ bracket_close = raw_show.index(')')
207
+ return None() if bracket_open.nil? || bracket_close.nil?
208
+
209
+ year_str = raw_show[(bracket_open + 1)...bracket_close]
210
+ safe_parse_int(year_str)
211
+ end
212
+
213
+ # パース関数(or でフォールバック)
214
+ def self.parse_show(raw_show)
215
+ name = extract_name(raw_show)
216
+ year_start = extract_year_start(raw_show).or(extract_single_year(raw_show))
217
+ year_end = extract_year_end(raw_show).or(extract_single_year(raw_show))
218
+
219
+ name.bind do |n|
220
+ year_start.bind do |ys|
221
+ year_end.fmap do |ye|
222
+ TvShow.new(title: n, start_year: ys, end_year: ye)
223
+ end
224
+ end
225
+ end
226
+ end
227
+
228
+ parse_show('Breaking Bad (2008-2013)') # => Some(TvShow(...))
229
+ parse_show('Chernobyl (2019)') # => Some(TvShow(start_year: 2019, end_year: 2019))
230
+ parse_show('Invalid') # => None
231
+ ```
232
+
233
+ ### 6.6 Maybe の主要メソッド
234
+
235
+ | メソッド | 説明 | 例 |
236
+ |----------|------|-----|
237
+ | `fmap` | 値があれば変換 | `Some(5).fmap { \|x\| x * 2 }` → `Some(10)` |
238
+ | `bind` | Maybe を返す関数を適用 | `Some(5).bind { \|x\| Some(x * 2) }` → `Some(10)` |
239
+ | `or` | None なら代替を使用 | `None().or(Some(5))` → `Some(5)` |
240
+ | `value_or` | None ならデフォルト値 | `None().value_or(0)` → `0` |
241
+ | `value!` | 値を取り出す(None なら例外) | `Some(5).value!` → `5` |
242
+
243
+ ```ruby
244
+ year = Some(996)
245
+ no_year = None()
246
+
247
+ # fmap
248
+ year.fmap { |y| y * 2 } # => Some(1992)
249
+ no_year.fmap { |y| y * 2 } # => None
250
+
251
+ # bind
252
+ year.bind { |y| Some(y * 2) } # => Some(1992)
253
+ no_year.bind { |y| Some(y * 2) } # => None
254
+
255
+ # or
256
+ year.or(Some(2020)) # => Some(996)
257
+ no_year.or(Some(2020)) # => Some(2020)
258
+
259
+ # value_or
260
+ year.value_or(2020) # => 996
261
+ no_year.value_or(2020) # => 2020
262
+ ```
263
+
264
+ ### 6.7 エラーハンドリング戦略
265
+
266
+ 複数の要素をパースする場合、2つの戦略があります。
267
+
268
+ ```plantuml
269
+ @startuml
270
+ !theme plain
271
+
272
+ rectangle "エラーハンドリング戦略" {
273
+ rectangle "Best-effort 戦略" as best {
274
+ card "パースできたものだけ返す"
275
+ card "エラーは無視"
276
+ card "Array[TvShow] を返す"
277
+ }
278
+
279
+ rectangle "All-or-nothing 戦略" as all {
280
+ card "全部成功するか、全部失敗"
281
+ card "一つでも失敗したら None"
282
+ card "Maybe[Array[TvShow]] を返す"
283
+ }
284
+ }
285
+
286
+ @enduml
287
+ ```
288
+
289
+ #### Best-effort 戦略
290
+
291
+ ```ruby
292
+ def self.parse_shows_best_effort(raw_shows)
293
+ raw_shows
294
+ .map { |raw| parse_show(raw) }
295
+ .flat_map { |maybe| maybe_to_array(maybe) }
296
+ end
297
+
298
+ raw_shows = [
299
+ 'Breaking Bad (2008-2013)',
300
+ 'Invalid Show', # 無効な形式
301
+ 'Mad Men (2007-2015)'
302
+ ]
303
+
304
+ parse_shows_best_effort(raw_shows)
305
+ # => [TvShow("Breaking Bad", ...), TvShow("Mad Men", ...)]
306
+ # 無効なものは無視される
307
+ ```
308
+
309
+ #### All-or-nothing 戦略
310
+
311
+ ```ruby
312
+ def self.parse_shows_all_or_nothing(raw_shows)
313
+ initial = Some([])
314
+
315
+ raw_shows.reduce(initial) do |acc, raw|
316
+ parsed = parse_show(raw)
317
+ acc.bind do |shows|
318
+ parsed.fmap { |show| shows + [show] }
319
+ end
320
+ end
321
+ end
322
+
323
+ # 全部成功 → Some([...])
324
+ parse_shows_all_or_nothing(['Breaking Bad (2008-2013)', 'Mad Men (2007-2015)'])
325
+ # => Some([TvShow(...), TvShow(...)])
326
+
327
+ # 一つでも失敗 → None
328
+ parse_shows_all_or_nothing(['Breaking Bad (2008-2013)', 'Invalid'])
329
+ # => None
330
+ ```
331
+
332
+ ---
333
+
334
+ ## 第7章: Result 型と複合的なエラー処理
335
+
336
+ ### 7.1 Maybe の限界
337
+
338
+ `Maybe` は「値があるかないか」しか表現できません。**なぜ失敗したのか**を伝えられません。
339
+
340
+ ```plantuml
341
+ @startuml
342
+ !theme plain
343
+
344
+ rectangle "Maybe vs Result" {
345
+ rectangle "Maybe[A]" as opt {
346
+ card "Some(value)" as some
347
+ card "None" as none
348
+ }
349
+
350
+ rectangle "Result[A]" as result {
351
+ card "Success(value)" as success
352
+ card "Failure(error)" as failure
353
+ }
354
+
355
+ opt --> result : 進化
356
+ }
357
+
358
+ note bottom of none
359
+ 失敗理由が分からない
360
+ end note
361
+
362
+ note bottom of failure
363
+ エラー情報を保持できる
364
+ end note
365
+
366
+ @enduml
367
+ ```
368
+
369
+ **ソースファイル**: `app/ruby/src/ch07_result.rb`
370
+
371
+ ### 7.2 Result の基本
372
+
373
+ dry-monads の `Result` は「成功値かエラーか」を表す型です。
374
+
375
+ - `Success(value)`: 成功(Scala の `Right` 相当)
376
+ - `Failure(error)`: 失敗(Scala の `Left` 相当)
377
+
378
+ ```ruby
379
+ require 'dry/monads'
380
+
381
+ module MyModule
382
+ include Dry::Monads[:result]
383
+
384
+ def extract_name(show)
385
+ bracket_open = show.index('(')
386
+ if bracket_open && bracket_open > 0
387
+ Success(show[0...bracket_open].strip)
388
+ else
389
+ Failure("Can't extract name from #{show}")
390
+ end
391
+ end
392
+
393
+ extract_name('The Wire (2002-2008)') # => Success("The Wire")
394
+ extract_name('(2022)') # => Failure("Can't extract name from (2022)")
395
+ end
396
+ ```
397
+
398
+ ### 7.3 Result を使ったパース
399
+
400
+ ```ruby
401
+ def self.safe_parse_int(str)
402
+ Success(Integer(str))
403
+ rescue ArgumentError, TypeError
404
+ Failure("Cannot parse '#{str}' as integer")
405
+ end
406
+
407
+ def self.extract_year_start(raw_show)
408
+ bracket_open = raw_show.index('(')
409
+ dash = raw_show.index('-')
410
+
411
+ if bracket_open.nil? || dash.nil? || dash <= bracket_open + 1
412
+ Failure("Cannot extract start year from '#{raw_show}'")
413
+ else
414
+ year_str = raw_show[(bracket_open + 1)...dash]
415
+ safe_parse_int(year_str)
416
+ end
417
+ end
418
+
419
+ extract_year_start('The Wire (2002-2008)') # => Success(2002)
420
+ extract_year_start('The Wire (-2008)') # => Failure("Cannot extract start year from...")
421
+ extract_year_start('The Wire (oops-2008)') # => Failure("Cannot parse 'oops' as integer")
422
+ ```
423
+
424
+ ### 7.4 Maybe から Result への変換
425
+
426
+ ```ruby
427
+ def self.maybe_to_result(maybe_value, error_msg)
428
+ case maybe_value
429
+ when Dry::Monads::Some
430
+ Success(maybe_value.value!)
431
+ else
432
+ Failure(error_msg)
433
+ end
434
+ end
435
+
436
+ maybe_to_result(Some(5), 'not found') # => Success(5)
437
+ maybe_to_result(None(), 'not found') # => Failure('not found')
438
+ ```
439
+
440
+ ### 7.5 Result の主要メソッド
441
+
442
+ | メソッド | 説明 | 例 |
443
+ |----------|------|-----|
444
+ | `fmap` | Success の値を変換 | `Success(5).fmap { \|x\| x * 2 }` → `Success(10)` |
445
+ | `bind` | Result を返す関数を適用 | `Success(5).bind { \|x\| Success(x * 2) }` → `Success(10)` |
446
+ | `or` | Failure なら代替を使用 | `Failure('err').or(Success(5))` → `Success(5)` |
447
+ | `value_or` | Failure ならデフォルト値 | `Failure('err').value_or(0)` → `0` |
448
+ | `to_maybe` | Maybe に変換 | `Success(5).to_maybe` → `Some(5)` |
449
+
450
+ ```ruby
451
+ year = Success(996)
452
+ no_year = Failure('no year')
453
+
454
+ # fmap
455
+ year.fmap { |y| y * 2 } # => Success(1992)
456
+ no_year.fmap { |y| y * 2 } # => Failure('no year')
457
+
458
+ # bind
459
+ year.bind { |y| Success(y * 2) } # => Success(1992)
460
+ year.bind { |_| Failure("can't proceed") } # => Failure("can't proceed")
461
+
462
+ # or
463
+ year.or(Success(2020)) # => Success(996)
464
+ no_year.or(Success(2020)) # => Success(2020)
465
+
466
+ # to_maybe
467
+ year.to_maybe # => Some(996)
468
+ no_year.to_maybe # => None
469
+ ```
470
+
471
+ ### 7.6 バリデーション例
472
+
473
+ ```ruby
474
+ def self.validate_age(age)
475
+ if age.negative?
476
+ Failure('Age cannot be negative')
477
+ elsif age > 150
478
+ Failure('Age cannot be greater than 150')
479
+ else
480
+ Success(age)
481
+ end
482
+ end
483
+
484
+ def self.validate_email(email)
485
+ if email.nil? || email.strip.empty?
486
+ Failure('Email cannot be empty')
487
+ elsif !email.include?('@')
488
+ Failure('Email must contain @')
489
+ else
490
+ Success(email.strip)
491
+ end
492
+ end
493
+
494
+ # 複数のバリデーションを組み合わせ
495
+ Person = Struct.new(:name, :age, :email, keyword_init: true)
496
+
497
+ def self.validate_person(name, age, email)
498
+ validate_non_empty(name, 'Name').bind do |n|
499
+ validate_age(age).bind do |a|
500
+ validate_email(email).fmap do |e|
501
+ Person.new(name: n, age: a, email: e)
502
+ end
503
+ end
504
+ end
505
+ end
506
+
507
+ validate_person('Alice', 25, 'alice@example.com') # => Success(Person(...))
508
+ validate_person('', 25, 'alice@example.com') # => Failure('Name cannot be empty')
509
+ validate_person('Alice', -5, 'alice@example.com') # => Failure('Age cannot be negative')
510
+ ```
511
+
512
+ ### 7.7 ADT(代数的データ型)を Ruby で表現
513
+
514
+ #### 直積型(Product Type)
515
+
516
+ 複数のフィールドを **AND** で組み合わせる型です。Ruby では `Struct` を使います。
517
+
518
+ ```ruby
519
+ Artist = Struct.new(:name, :genre, :origin, :years_active, keyword_init: true)
520
+ ```
521
+
522
+ #### 直和型(Sum Type)
523
+
524
+ 複数の選択肢を **OR** で表す型です。Ruby ではモジュールとクラスで表現します。
525
+
526
+ ```ruby
527
+ module YearsActive
528
+ class StillActive
529
+ attr_reader :since
530
+
531
+ def initialize(since)
532
+ @since = since
533
+ end
534
+
535
+ def active_during?(year_start, year_end)
536
+ since <= year_end
537
+ end
538
+
539
+ def active_length(current_year)
540
+ current_year - since
541
+ end
542
+ end
543
+
544
+ class ActiveBetween
545
+ attr_reader :start_year, :end_year
546
+
547
+ def initialize(start_year, end_year)
548
+ @start_year = start_year
549
+ @end_year = end_year
550
+ end
551
+
552
+ def active_during?(year_start, year_end)
553
+ start_year <= year_end && end_year >= year_start
554
+ end
555
+
556
+ def active_length(_current_year = nil)
557
+ end_year - start_year
558
+ end
559
+ end
560
+ end
561
+
562
+ metallica = Artist.new(
563
+ name: 'Metallica',
564
+ genre: :heavy_metal,
565
+ origin: 'U.S.',
566
+ years_active: YearsActive::StillActive.new(1981)
567
+ )
568
+
569
+ led_zeppelin = Artist.new(
570
+ name: 'Led Zeppelin',
571
+ genre: :hard_rock,
572
+ origin: 'England',
573
+ years_active: YearsActive::ActiveBetween.new(1968, 1980)
574
+ )
575
+ ```
576
+
577
+ ```plantuml
578
+ @startuml
579
+ !theme plain
580
+
581
+ rectangle "代数的データ型(ADT)" {
582
+ rectangle "直積型(Product Type)" as product {
583
+ card "Struct"
584
+ card "A AND B AND C"
585
+ card "フィールドの組み合わせ"
586
+ }
587
+
588
+ rectangle "直和型(Sum Type)" as sum {
589
+ card "Module + Classes"
590
+ card "A OR B OR C"
591
+ card "選択肢のいずれか"
592
+ }
593
+ }
594
+
595
+ note bottom of product
596
+ Artist = name AND genre AND origin AND years_active
597
+ end note
598
+
599
+ note bottom of sum
600
+ YearsActive = StillActive OR ActiveBetween
601
+ end note
602
+
603
+ @enduml
604
+ ```
605
+
606
+ ### 7.8 パターンマッチング
607
+
608
+ Ruby 3.0+ では `case/when` でパターンマッチングができます。
609
+
610
+ ```ruby
611
+ def self.describe_years_active(years_active)
612
+ case years_active
613
+ when YearsActive::StillActive
614
+ "Active since #{years_active.since}"
615
+ when YearsActive::ActiveBetween
616
+ "Active from #{years_active.start_year} to #{years_active.end_year}"
617
+ else
618
+ 'Unknown'
619
+ end
620
+ end
621
+
622
+ describe_years_active(metallica.years_active)
623
+ # => "Active since 1981"
624
+
625
+ describe_years_active(led_zeppelin.years_active)
626
+ # => "Active from 1968 to 1980"
627
+ ```
628
+
629
+ ### 7.9 検索条件のモデリング
630
+
631
+ ```ruby
632
+ module SearchCondition
633
+ class ByGenre
634
+ attr_reader :genres
635
+
636
+ def initialize(genres)
637
+ @genres = genres
638
+ end
639
+
640
+ def matches?(artist)
641
+ genres.include?(artist.genre)
642
+ end
643
+ end
644
+
645
+ class ByOrigin
646
+ attr_reader :locations
647
+
648
+ def initialize(locations)
649
+ @locations = locations
650
+ end
651
+
652
+ def matches?(artist)
653
+ locations.include?(artist.origin)
654
+ end
655
+ end
656
+
657
+ class ByActiveYears
658
+ attr_reader :start_year, :end_year
659
+
660
+ def initialize(start_year, end_year)
661
+ @start_year = start_year
662
+ @end_year = end_year
663
+ end
664
+
665
+ def matches?(artist)
666
+ artist.years_active.active_during?(start_year, end_year)
667
+ end
668
+ end
669
+ end
670
+
671
+ def self.search_artists(artists, conditions)
672
+ artists.select do |artist|
673
+ conditions.all? { |condition| condition.matches?(artist) }
674
+ end
675
+ end
676
+
677
+ # 使用例
678
+ conditions = [
679
+ SearchCondition::ByGenre.new(%i[heavy_metal]),
680
+ SearchCondition::ByOrigin.new(['U.S.'])
681
+ ]
682
+
683
+ search_artists([metallica, led_zeppelin], conditions)
684
+ # => [metallica]
685
+ ```
686
+
687
+ ### 7.10 エラーの収集
688
+
689
+ 通常の `bind` チェーンでは最初のエラーで停止しますが、全てのエラーを収集することも可能です。
690
+
691
+ ```ruby
692
+ def self.validate_all(validations)
693
+ errors = []
694
+ values = []
695
+
696
+ validations.each do |validation|
697
+ case validation
698
+ when Dry::Monads::Success
699
+ values << validation.value!
700
+ when Dry::Monads::Failure
701
+ errors << validation.failure
702
+ end
703
+ end
704
+
705
+ if errors.empty?
706
+ Success(values)
707
+ else
708
+ Failure(errors)
709
+ end
710
+ end
711
+
712
+ validations = [
713
+ validate_non_empty('', 'Name'), # Failure
714
+ validate_age(-5), # Failure
715
+ validate_email('invalid') # Failure
716
+ ]
717
+
718
+ validate_all(validations)
719
+ # => Failure(['Name cannot be empty', 'Age cannot be negative', 'Email must contain @'])
720
+ ```
721
+
722
+ ---
723
+
724
+ ## まとめ
725
+
726
+ ### Part III で学んだこと
727
+
728
+ ```plantuml
729
+ @startuml
730
+ !theme plain
731
+
732
+ rectangle "Part III: エラーハンドリング" {
733
+ rectangle "第6章" as ch6 {
734
+ card "Maybe (Some/None)"
735
+ card "fmap / bind"
736
+ card "or でフォールバック"
737
+ card "エラーハンドリング戦略"
738
+ }
739
+
740
+ rectangle "第7章" as ch7 {
741
+ card "Result (Success/Failure)"
742
+ card "エラーメッセージの保持"
743
+ card "ADT(代数的データ型)"
744
+ card "パターンマッチング"
745
+ }
746
+ }
747
+
748
+ ch6 --> ch7
749
+
750
+ @enduml
751
+ ```
752
+
753
+ ### Maybe vs Result の使い分け
754
+
755
+ | 状況 | 使用する型 |
756
+ |------|------------|
757
+ | 値があるかないかだけが重要 | `Maybe` |
758
+ | 失敗理由を伝える必要がある | `Result` |
759
+ | 検索結果が見つからない | `Maybe` |
760
+ | バリデーションエラーを伝える | `Result` |
761
+ | 複数のエラー種別がある | `Result` |
762
+
763
+ ### Scala との対応
764
+
765
+ | Scala | dry-monads | 説明 |
766
+ |-------|------------|------|
767
+ | `Option[A]` | `Maybe` | 値の有無 |
768
+ | `Some(x)` | `Some(x)` | 値あり |
769
+ | `None` | `None()` | 値なし |
770
+ | `Either[E, A]` | `Result` | 成功/失敗 |
771
+ | `Right(x)` | `Success(x)` | 成功 |
772
+ | `Left(e)` | `Failure(e)` | 失敗 |
773
+ | `map` | `fmap` | 値の変換 |
774
+ | `flatMap` | `bind` | モナディック合成 |
775
+ | `orElse` | `or` | フォールバック |
776
+ | `getOrElse` | `value_or` | デフォルト値 |
777
+
778
+ ### キーポイント
779
+
780
+ 1. **Maybe**: 値の有無を型で表現する
781
+ 2. **Result**: 成功/失敗とエラー情報を型で表現する
782
+ 3. **bind チェーン**: Maybe/Result を組み合わせて使う
783
+ 4. **or**: フォールバックを提供する
784
+ 5. **ADT**: 直積型(Struct)と直和型(Module+Class)でドメインをモデリング
785
+ 6. **パターンマッチング**: 直和型を安全に処理する
786
+
787
+ ### 次のステップ
788
+
789
+ Part IV では、以下のトピックを学びます:
790
+
791
+ - IO モナドの導入
792
+ - 副作用の管理
793
+ - 非同期処理
794
+
795
+ ---
796
+
797
+ ## 演習問題
798
+
799
+ ### 問題 1: Maybe の基本
800
+
801
+ 以下の関数を実装してください。
802
+
803
+ ```ruby
804
+ def safe_divide(a, b)
805
+ # 実装してください
806
+ end
807
+
808
+ # 期待される動作
809
+ safe_divide(10, 2) # => Some(5)
810
+ safe_divide(10, 0) # => None
811
+ safe_divide(7, 2) # => Some(3)
812
+ ```
813
+
814
+ <details>
815
+ <summary>解答</summary>
816
+
817
+ ```ruby
818
+ def safe_divide(a, b)
819
+ return None() if b.zero?
820
+ Some(a / b)
821
+ end
822
+ ```
823
+
824
+ </details>
825
+
826
+ ### 問題 2: Maybe の合成
827
+
828
+ 以下の関数を実装してください。2つの数値文字列を受け取り、その合計を返します。
829
+
830
+ ```ruby
831
+ def add_strings(a, b)
832
+ # 実装してください
833
+ end
834
+
835
+ # 期待される動作
836
+ add_strings('10', '20') # => Some(30)
837
+ add_strings('10', 'abc') # => None
838
+ add_strings('xyz', '20') # => None
839
+ ```
840
+
841
+ <details>
842
+ <summary>解答</summary>
843
+
844
+ ```ruby
845
+ def add_strings(a, b)
846
+ safe_parse_int(a).bind do |x|
847
+ safe_parse_int(b).fmap do |y|
848
+ x + y
849
+ end
850
+ end
851
+ end
852
+ ```
853
+
854
+ </details>
855
+
856
+ ### 問題 3: Result によるバリデーション
857
+
858
+ 以下の関数を実装してください。年齢を検証し、エラーメッセージを返します。
859
+
860
+ ```ruby
861
+ def validate_age(age)
862
+ # 実装してください
863
+ end
864
+
865
+ # 期待される動作
866
+ validate_age(25) # => Success(25)
867
+ validate_age(-5) # => Failure('Age cannot be negative')
868
+ validate_age(200) # => Failure('Age cannot be greater than 150')
869
+ ```
870
+
871
+ <details>
872
+ <summary>解答</summary>
873
+
874
+ ```ruby
875
+ def validate_age(age)
876
+ if age.negative?
877
+ Failure('Age cannot be negative')
878
+ elsif age > 150
879
+ Failure('Age cannot be greater than 150')
880
+ else
881
+ Success(age)
882
+ end
883
+ end
884
+ ```
885
+
886
+ </details>
887
+
888
+ ### 問題 4: パターンマッチング
889
+
890
+ 以下のモジュールとパターンマッチングを使った関数を実装してください。
891
+
892
+ ```ruby
893
+ module PaymentMethod
894
+ class CreditCard
895
+ attr_reader :number, :expiry
896
+ def initialize(number, expiry)
897
+ @number = number
898
+ @expiry = expiry
899
+ end
900
+ end
901
+
902
+ class BankTransfer
903
+ attr_reader :account_number
904
+ def initialize(account_number)
905
+ @account_number = account_number
906
+ end
907
+ end
908
+
909
+ class Cash
910
+ end
911
+ end
912
+
913
+ def describe_payment(method)
914
+ # 実装してください
915
+ end
916
+
917
+ # 期待される動作
918
+ describe_payment(PaymentMethod::CreditCard.new('1234', '12/25'))
919
+ # => 'Credit card ending in 1234'
920
+
921
+ describe_payment(PaymentMethod::BankTransfer.new('9876'))
922
+ # => 'Bank transfer to account 9876'
923
+
924
+ describe_payment(PaymentMethod::Cash.new)
925
+ # => 'Cash payment'
926
+ ```
927
+
928
+ <details>
929
+ <summary>解答</summary>
930
+
931
+ ```ruby
932
+ def describe_payment(method)
933
+ case method
934
+ when PaymentMethod::CreditCard
935
+ "Credit card ending in #{method.number}"
936
+ when PaymentMethod::BankTransfer
937
+ "Bank transfer to account #{method.account_number}"
938
+ when PaymentMethod::Cash
939
+ 'Cash payment'
940
+ else
941
+ 'Unknown payment method'
942
+ end
943
+ end
944
+ ```
945
+
946
+ </details>