@k2works/claude-code-booster 3.0.0 → 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 (524) 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 -106
  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/strategy/index.md +11 -4
  522. package/lib/assets/docs/template/index.md +9 -5
  523. package/lib/assets/mkdocs.yml +29 -17
  524. package/package.json +1 -1
@@ -0,0 +1,672 @@
1
+ # Part III: エラーハンドリングと Option/Either
2
+
3
+ 本章では、関数型プログラミングにおける安全なエラーハンドリングを学びます。`null` や例外に頼らず、Vavr の `Option` と `Either` を使って型安全にエラーを扱う方法を習得します。
4
+
5
+ ---
6
+
7
+ ## 第6章: Option 型による安全なエラーハンドリング
8
+
9
+ ### 6.1 なぜ Option が必要か
10
+
11
+ 従来のエラーハンドリングには問題があります。
12
+
13
+ ```plantuml
14
+ @startuml
15
+ !theme plain
16
+
17
+ rectangle "従来のエラーハンドリング" {
18
+ rectangle "null を返す" as null_ret {
19
+ card "NullPointerException の危険"
20
+ card "コンパイル時に検出できない"
21
+ }
22
+
23
+ rectangle "例外をスローする" as exception {
24
+ card "制御フローが複雑化"
25
+ card "純粋関数ではなくなる"
26
+ }
27
+ }
28
+
29
+ rectangle "Option による解決" as option {
30
+ card "型で「値がないかもしれない」を表現"
31
+ card "コンパイル時にチェック"
32
+ card "純粋関数のまま"
33
+ }
34
+
35
+ null_ret --> option : 置き換え
36
+ exception --> option : 置き換え
37
+
38
+ @enduml
39
+ ```
40
+
41
+ ### 6.2 Option の基本
42
+
43
+ `Option<A>` は「`A` 型の値があるか、ないか」を表す型です。
44
+
45
+ ```plantuml
46
+ @startuml
47
+ !theme plain
48
+
49
+ rectangle "Option<A>" as option {
50
+ rectangle "Some(value)" as some {
51
+ card "値が存在する"
52
+ card "value: A を保持"
53
+ }
54
+
55
+ rectangle "None" as none {
56
+ card "値が存在しない"
57
+ card "null の代わり"
58
+ }
59
+ }
60
+
61
+ @enduml
62
+ ```
63
+
64
+ **ソースファイル**: `app/java/src/main/java/ch06/OptionBasics.java`
65
+
66
+ ```java
67
+ import io.vavr.control.Option;
68
+
69
+ // Some: 値が存在する
70
+ Option<Integer> some = Option.some(42);
71
+
72
+ // None: 値が存在しない
73
+ Option<Integer> none = Option.none();
74
+
75
+ // null から安全に作成
76
+ Option<String> fromNull = Option.of(maybeNull); // null なら None
77
+ ```
78
+
79
+ ### 6.3 TV番組のパース例
80
+
81
+ **ソースファイル**: `app/java/src/main/java/ch06/TvShowParser.java`
82
+
83
+ TV番組の文字列をパースする例で Option の使い方を学びます。
84
+
85
+ ```java
86
+ public record TvShow(String title, int start, int end) {}
87
+
88
+ // 入力例: "Breaking Bad (2008-2013)"
89
+ // 期待する出力: TvShow("Breaking Bad", 2008, 2013)
90
+ ```
91
+
92
+ #### 例外を使う方法(問題あり)
93
+
94
+ ```java
95
+ public static TvShow parseShowUnsafe(String rawShow) {
96
+ int bracketOpen = rawShow.indexOf('(');
97
+ int bracketClose = rawShow.indexOf(')');
98
+ int dash = rawShow.indexOf('-');
99
+
100
+ String name = rawShow.substring(0, bracketOpen).trim();
101
+ int yearStart = Integer.parseInt(rawShow.substring(bracketOpen + 1, dash));
102
+ int yearEnd = Integer.parseInt(rawShow.substring(dash + 1, bracketClose));
103
+
104
+ return new TvShow(name, yearStart, yearEnd);
105
+ }
106
+
107
+ // 正常ケース
108
+ parseShowUnsafe("Breaking Bad (2008-2013)"); // TvShow("Breaking Bad", 2008, 2013)
109
+
110
+ // 異常ケース → 例外がスローされる!
111
+ parseShowUnsafe("Chernobyl (2019)"); // StringIndexOutOfBoundsException
112
+ parseShowUnsafe("The Wire 2002-2008"); // StringIndexOutOfBoundsException
113
+ ```
114
+
115
+ #### Option を使う方法
116
+
117
+ ```java
118
+ public static Option<TvShow> parseShow(String rawShow) {
119
+ return extractName(rawShow).flatMap(name ->
120
+ extractYearStart(rawShow).orElse(() -> extractSingleYear(rawShow)).flatMap(yearStart ->
121
+ extractYearEnd(rawShow).orElse(() -> extractSingleYear(rawShow)).map(yearEnd ->
122
+ new TvShow(name, yearStart, yearEnd)
123
+ )
124
+ )
125
+ );
126
+ }
127
+
128
+ // 正常ケース
129
+ parseShow("Breaking Bad (2008-2013)"); // Some(TvShow("Breaking Bad", 2008, 2013))
130
+
131
+ // 異常ケース → None が返される(例外なし)
132
+ parseShow("The Wire 2002-2008"); // None
133
+ ```
134
+
135
+ ### 6.4 小さな関数から組み立てる
136
+
137
+ 複雑なパース処理を小さな関数に分解します。
138
+
139
+ ```java
140
+ // 名前を抽出
141
+ public static Option<String> extractName(String rawShow) {
142
+ int bracketOpen = rawShow.indexOf('(');
143
+ if (bracketOpen > 0) {
144
+ return Option.some(rawShow.substring(0, bracketOpen).trim());
145
+ }
146
+ return Option.none();
147
+ }
148
+
149
+ // 開始年を抽出
150
+ public static Option<Integer> extractYearStart(String rawShow) {
151
+ int bracketOpen = rawShow.indexOf('(');
152
+ int dash = rawShow.indexOf('-');
153
+
154
+ if (bracketOpen != -1 && dash > bracketOpen + 1) {
155
+ String yearStr = rawShow.substring(bracketOpen + 1, dash);
156
+ return parseYear(yearStr);
157
+ }
158
+ return Option.none();
159
+ }
160
+
161
+ // 文字列を年(整数)にパース
162
+ public static Option<Integer> parseYear(String yearStr) {
163
+ try {
164
+ return Option.some(Integer.parseInt(yearStr.trim()));
165
+ } catch (NumberFormatException e) {
166
+ return Option.none();
167
+ }
168
+ }
169
+ ```
170
+
171
+ ### 6.5 orElse によるフォールバック
172
+
173
+ `orElse` を使って、最初の Option が `None` の場合に代替を試すことができます。
174
+
175
+ ```java
176
+ Option<Integer> seven = Option.some(7);
177
+ Option<Integer> eight = Option.some(8);
178
+ Option<Integer> none = Option.none();
179
+
180
+ seven.orElse(eight); // Some(7) - 最初が Some なのでそのまま
181
+ none.orElse(eight); // Some(8) - 最初が None なので代替を使用
182
+ seven.orElse(none); // Some(7)
183
+ none.orElse(none); // None
184
+ ```
185
+
186
+ #### 単年の番組に対応する
187
+
188
+ 「Chernobyl (2019)」のような単年の番組をパースできるようにします。
189
+
190
+ ```java
191
+ public static Option<Integer> extractSingleYear(String rawShow) {
192
+ int dash = rawShow.indexOf('-');
193
+ int bracketOpen = rawShow.indexOf('(');
194
+ int bracketClose = rawShow.indexOf(')');
195
+
196
+ if (dash == -1 && bracketOpen != -1 && bracketClose > bracketOpen + 1) {
197
+ String yearStr = rawShow.substring(bracketOpen + 1, bracketClose);
198
+ return parseYear(yearStr);
199
+ }
200
+ return Option.none();
201
+ }
202
+
203
+ // これで単年の番組もパースできる
204
+ parseShow("Chernobyl (2019)"); // Some(TvShow("Chernobyl", 2019, 2019))
205
+ ```
206
+
207
+ ### 6.6 Option の主要メソッド
208
+
209
+ | メソッド | 説明 | 例 |
210
+ |----------|------|-----|
211
+ | `map` | 値があれば変換 | `Some(5).map(x -> x * 2)` → `Some(10)` |
212
+ | `flatMap` | 値があれば Option を返す関数を適用 | `Some(5).flatMap(x -> Some(x * 2))` → `Some(10)` |
213
+ | `filter` | 条件を満たさなければ None | `Some(5).filter(x -> x > 10)` → `None` |
214
+ | `orElse` | None なら代替を使用 | `None.orElse(Some(5))` → `Some(5)` |
215
+ | `getOrElse` | None ならデフォルト値 | `None.getOrElse(0)` → `0` |
216
+ | `toList` | List に変換 | `Some(5).toList()` → `List(5)` |
217
+ | `toEither` | Either に変換 | `Some(5).toEither("error")` → `Right(5)` |
218
+
219
+ ```java
220
+ Option<Integer> year = Option.some(996);
221
+ Option<Integer> noYear = Option.none();
222
+
223
+ // map
224
+ year.map(y -> y * 2); // Some(1992)
225
+ noYear.map(y -> y * 2); // None
226
+
227
+ // flatMap
228
+ year.flatMap(y -> Option.some(y * 2)); // Some(1992)
229
+ noYear.flatMap(y -> Option.some(y * 2)); // None
230
+
231
+ // filter
232
+ year.filter(y -> y < 2020); // Some(996)
233
+ year.filter(y -> y > 2020); // None
234
+
235
+ // getOrElse
236
+ year.getOrElse(2020); // 996
237
+ noYear.getOrElse(2020); // 2020
238
+ ```
239
+
240
+ ### 6.7 エラーハンドリング戦略
241
+
242
+ 複数の要素をパースする場合、2つの戦略があります。
243
+
244
+ ```plantuml
245
+ @startuml
246
+ !theme plain
247
+
248
+ rectangle "エラーハンドリング戦略" {
249
+ rectangle "Best-effort 戦略" as best {
250
+ card "パースできたものだけ返す"
251
+ card "エラーは無視"
252
+ card "List<TvShow> を返す"
253
+ }
254
+
255
+ rectangle "All-or-nothing 戦略" as all {
256
+ card "全部成功するか、全部失敗"
257
+ card "一つでも失敗したら None"
258
+ card "Option<List<TvShow>> を返す"
259
+ }
260
+ }
261
+
262
+ @enduml
263
+ ```
264
+
265
+ #### Best-effort 戦略
266
+
267
+ ```java
268
+ public static List<TvShow> parseShowsBestEffort(List<String> rawShows) {
269
+ return rawShows
270
+ .map(TvShowParser::parseShow)
271
+ .flatMap(Option::toList);
272
+ }
273
+
274
+ List<String> rawShows = List.of(
275
+ "Breaking Bad (2008-2013)",
276
+ "The Wire 2002 2008", // 無効な形式
277
+ "Mad Men (2007-2015)"
278
+ );
279
+
280
+ parseShowsBestEffort(rawShows);
281
+ // List(TvShow("Breaking Bad", 2008, 2013), TvShow("Mad Men", 2007, 2015))
282
+ // 無効なものは無視される
283
+ ```
284
+
285
+ #### All-or-nothing 戦略
286
+
287
+ ```java
288
+ public static Option<List<TvShow>> parseShowsAllOrNothing(List<String> rawShows) {
289
+ Option<List<TvShow>> initial = Option.some(List.empty());
290
+
291
+ return rawShows
292
+ .map(TvShowParser::parseShow)
293
+ .foldLeft(initial, (acc, optShow) ->
294
+ acc.flatMap(shows ->
295
+ optShow.map(shows::append)
296
+ )
297
+ );
298
+ }
299
+
300
+ // 全部成功 → Some(List(...))
301
+ parseShowsAllOrNothing(List.of("Breaking Bad (2008-2013)", "Mad Men (2007-2015)"));
302
+ // Some(List(TvShow(...), TvShow(...)))
303
+
304
+ // 一つでも失敗 → None
305
+ parseShowsAllOrNothing(List.of("Breaking Bad (2008-2013)", "Invalid"));
306
+ // None
307
+ ```
308
+
309
+ ### 6.8 forall と exists
310
+
311
+ Option で条件判定をする際に便利なメソッドです。
312
+
313
+ | メソッド | Option での動作 |
314
+ |----------|-----------------|
315
+ | `forAll(p)` | None → true, Some(x) → p(x) |
316
+ | `exists(p)` | None → false, Some(x) → p(x) |
317
+
318
+ ```java
319
+ Option<Integer> year = Option.some(996);
320
+ Option<Integer> noYear = Option.none();
321
+
322
+ // forAll - 「全て」または「存在しない」
323
+ year.forAll(y -> y < 2020); // true (996 < 2020)
324
+ noYear.forAll(y -> y < 2020); // true (値がないので「全て」が自明に真)
325
+ year.forAll(y -> y > 2020); // false
326
+
327
+ // exists - 「存在して条件を満たす」
328
+ year.exists(y -> y < 2020); // true
329
+ noYear.exists(y -> y < 2020); // false (値がないので存在しない)
330
+ ```
331
+
332
+ ---
333
+
334
+ ## 第7章: Either 型と複合的なエラー処理
335
+
336
+ ### 7.1 Option の限界
337
+
338
+ `Option` は「値があるかないか」しか表現できません。**なぜ失敗したのか**を伝えられません。
339
+
340
+ ```plantuml
341
+ @startuml
342
+ !theme plain
343
+
344
+ rectangle "Option vs Either" {
345
+ rectangle "Option<A>" as opt {
346
+ card "Some(value)" as some
347
+ card "None" as none
348
+ }
349
+
350
+ rectangle "Either<E, A>" as either {
351
+ card "Right(value)" as right
352
+ card "Left(error)" as left
353
+ }
354
+
355
+ opt --> either : 進化
356
+ }
357
+
358
+ note bottom of none
359
+ 失敗理由が分からない
360
+ end note
361
+
362
+ note bottom of left
363
+ エラー情報を保持できる
364
+ end note
365
+
366
+ @enduml
367
+ ```
368
+
369
+ ### 7.2 Either の基本
370
+
371
+ **ソースファイル**: `app/java/src/main/java/ch07/EitherBasics.java`
372
+
373
+ `Either<E, A>` は「`E` 型のエラーか、`A` 型の成功値か」を表す型です。
374
+
375
+ - `Right(value)`: 成功(慣例的に「正しい」= right)
376
+ - `Left(error)`: 失敗(エラー情報を保持)
377
+
378
+ ```java
379
+ import io.vavr.control.Either;
380
+
381
+ public static Either<String, String> extractName(String show) {
382
+ int bracketOpen = show.indexOf('(');
383
+ if (bracketOpen > 0) {
384
+ return Either.right(show.substring(0, bracketOpen).trim());
385
+ }
386
+ return Either.left("Can't extract name from: " + show);
387
+ }
388
+
389
+ extractName("The Wire (2002-2008)"); // Right("The Wire")
390
+ extractName("(2022)"); // Left("Can't extract name from: (2022)")
391
+ ```
392
+
393
+ ### 7.3 Either を使ったパース
394
+
395
+ **ソースファイル**: `app/java/src/main/java/ch07/TvShowParserEither.java`
396
+
397
+ ```java
398
+ public static Either<String, Integer> extractYearStart(String rawShow) {
399
+ int bracketOpen = rawShow.indexOf('(');
400
+ int dash = rawShow.indexOf('-');
401
+
402
+ if (bracketOpen != -1 && dash > bracketOpen + 1) {
403
+ String yearStr = rawShow.substring(bracketOpen + 1, dash);
404
+ return parseYear(yearStr, "start year");
405
+ }
406
+ return Either.left("Can't extract start year from: " + rawShow);
407
+ }
408
+
409
+ extractYearStart("The Wire (2002-2008)"); // Right(2002)
410
+ extractYearStart("The Wire (-2008)"); // Left("Can't extract start year from: The Wire (-2008)")
411
+ extractYearStart("The Wire (oops-2008)"); // Left("Can't parse start year: 'oops'")
412
+ ```
413
+
414
+ ### 7.4 Option から Either への変換
415
+
416
+ `toEither` メソッドで `Option` を `Either` に変換できます。
417
+
418
+ ```java
419
+ Option<Integer> year = Option.some(996);
420
+ Option<Integer> noYear = Option.none();
421
+
422
+ year.toEither("no year given"); // Right(996)
423
+ noYear.toEither("no year given"); // Left("no year given")
424
+ ```
425
+
426
+ ### 7.5 Either の主要メソッド
427
+
428
+ | メソッド | 説明 | 例 |
429
+ |----------|------|-----|
430
+ | `map` | Right の値を変換 | `Right(5).map(x -> x * 2)` → `Right(10)` |
431
+ | `flatMap` | Right なら Either を返す関数を適用 | `Right(5).flatMap(x -> Right(x * 2))` → `Right(10)` |
432
+ | `orElse` | Left なら代替を使用 | `Left("err").orElse(Right(5))` → `Right(5)` |
433
+ | `toOption` | Option に変換 | `Right(5).toOption()` → `Some(5)` |
434
+ | `fold` | 両方のケースを処理 | `either.fold(err -> ..., val -> ...)` |
435
+
436
+ ```java
437
+ Either<String, Integer> year = Either.right(996);
438
+ Either<String, Integer> noYear = Either.left("no year");
439
+
440
+ // map
441
+ year.map(y -> y * 2); // Right(1992)
442
+ noYear.map(y -> y * 2); // Left("no year")
443
+
444
+ // flatMap
445
+ year.flatMap(y -> Either.right(y * 2)); // Right(1992)
446
+ noYear.flatMap(y -> Either.right(y * 2)); // Left("no year")
447
+
448
+ // fold
449
+ year.fold(
450
+ error -> "Error: " + error,
451
+ value -> "Success: " + value
452
+ ); // "Success: 996"
453
+ ```
454
+
455
+ ### 7.6 バリデーションの例
456
+
457
+ ```java
458
+ public static Either<String, Integer> validateAge(int age) {
459
+ if (age < 0) {
460
+ return Either.left("Age cannot be negative");
461
+ } else if (age > 150) {
462
+ return Either.left("Age cannot be greater than 150");
463
+ }
464
+ return Either.right(age);
465
+ }
466
+
467
+ validateAge(25); // Right(25)
468
+ validateAge(-5); // Left("Age cannot be negative")
469
+ validateAge(200); // Left("Age cannot be greater than 150")
470
+ ```
471
+
472
+ #### 複合バリデーション
473
+
474
+ ```java
475
+ public record User(String username, String email, int age) {}
476
+
477
+ public static Either<String, User> validateUser(String username, String email, int age) {
478
+ return validateUsername(username).flatMap(validUsername ->
479
+ validateEmail(email).flatMap(validEmail ->
480
+ validateAge(age).map(validAge ->
481
+ new User(validUsername, validEmail, validAge)
482
+ )
483
+ )
484
+ );
485
+ }
486
+
487
+ validateUser("alice", "alice@example.com", 25); // Right(User(...))
488
+ validateUser("ab", "alice@example.com", 25); // Left("Username must be at least 3 characters")
489
+ ```
490
+
491
+ ### 7.7 代数的データ型(ADT)
492
+
493
+ **ソースファイル**: `app/java/src/main/java/ch07/MusicArtist.java`
494
+
495
+ Java 17+ の sealed interface と record を使って ADT を表現します。
496
+
497
+ #### 直和型(Sum Type)- sealed interface
498
+
499
+ ```java
500
+ // 活動期間を表す直和型
501
+ public sealed interface YearsActive permits StillActive, ActiveBetween {}
502
+
503
+ public record StillActive(int since) implements YearsActive {}
504
+ public record ActiveBetween(int start, int end) implements YearsActive {}
505
+ ```
506
+
507
+ #### 直積型(Product Type)- record
508
+
509
+ ```java
510
+ public record Artist(
511
+ String name,
512
+ MusicGenre genre,
513
+ String origin,
514
+ YearsActive yearsActive
515
+ ) {}
516
+ ```
517
+
518
+ ```plantuml
519
+ @startuml
520
+ !theme plain
521
+
522
+ rectangle "代数的データ型(ADT)" {
523
+ rectangle "直積型(Product Type)" as product {
524
+ card "record"
525
+ card "A AND B AND C"
526
+ card "フィールドの組み合わせ"
527
+ }
528
+
529
+ rectangle "直和型(Sum Type)" as sum {
530
+ card "sealed interface"
531
+ card "A OR B OR C"
532
+ card "選択肢のいずれか"
533
+ }
534
+ }
535
+
536
+ note bottom of product
537
+ Artist = name AND genre AND origin AND yearsActive
538
+ end note
539
+
540
+ note bottom of sum
541
+ YearsActive = StillActive OR ActiveBetween
542
+ end note
543
+
544
+ @enduml
545
+ ```
546
+
547
+ ### 7.8 パターンマッチング
548
+
549
+ Java 21 の拡張 switch を使ってパターンマッチングを行います。
550
+
551
+ ```java
552
+ public static boolean wasArtistActive(Artist artist, int yearStart, int yearEnd) {
553
+ return switch (artist.yearsActive()) {
554
+ case StillActive(int since) -> since <= yearEnd;
555
+ case ActiveBetween(int start, int end) -> start <= yearEnd && end >= yearStart;
556
+ };
557
+ }
558
+
559
+ public static int activeLength(Artist artist, int currentYear) {
560
+ return switch (artist.yearsActive()) {
561
+ case StillActive(int since) -> currentYear - since;
562
+ case ActiveBetween(int start, int end) -> end - start;
563
+ };
564
+ }
565
+
566
+ // 使用例
567
+ Artist metallica = new Artist("Metallica", MusicGenre.HEAVY_METAL, "U.S.", new StillActive(1981));
568
+ Artist ledZeppelin = new Artist("Led Zeppelin", MusicGenre.HARD_ROCK, "England", new ActiveBetween(1968, 1980));
569
+
570
+ activeLength(metallica, 2024); // 43 (2024 - 1981)
571
+ activeLength(ledZeppelin, 2024); // 12 (1980 - 1968)
572
+ ```
573
+
574
+ ### 7.9 検索条件のモデリング
575
+
576
+ 検索条件も ADT でモデリングできます。
577
+
578
+ ```java
579
+ public sealed interface SearchCondition permits SearchByGenre, SearchByOrigin, SearchByActiveYears {}
580
+
581
+ public record SearchByGenre(List<MusicGenre> genres) implements SearchCondition {}
582
+ public record SearchByOrigin(List<String> locations) implements SearchCondition {}
583
+ public record SearchByActiveYears(int start, int end) implements SearchCondition {}
584
+
585
+ public static List<Artist> searchArtists(
586
+ List<Artist> artists,
587
+ List<SearchCondition> requiredConditions) {
588
+ return artists.filter(artist ->
589
+ requiredConditions.forAll(condition -> matchesCondition(artist, condition))
590
+ );
591
+ }
592
+
593
+ public static boolean matchesCondition(Artist artist, SearchCondition condition) {
594
+ return switch (condition) {
595
+ case SearchByGenre(List<MusicGenre> genres) ->
596
+ genres.contains(artist.genre());
597
+ case SearchByOrigin(List<String> locations) ->
598
+ locations.contains(artist.origin());
599
+ case SearchByActiveYears(int start, int end) ->
600
+ wasArtistActive(artist, start, end);
601
+ };
602
+ }
603
+ ```
604
+
605
+ ### 7.10 支払い方法の例
606
+
607
+ **ソースファイル**: `app/java/src/main/java/ch07/PaymentMethod.java`
608
+
609
+ ```java
610
+ public sealed interface Payment permits CreditCard, BankTransfer, Cash {}
611
+
612
+ public record CreditCard(String number, String expiry) implements Payment {}
613
+ public record BankTransfer(String accountNumber) implements Payment {}
614
+ public record Cash() implements Payment {}
615
+
616
+ public static String describePayment(Payment method) {
617
+ return switch (method) {
618
+ case CreditCard(String number, String expiry) ->
619
+ "Credit card ending in " + number.substring(number.length() - 4);
620
+ case BankTransfer(String account) ->
621
+ "Bank transfer to account " + account;
622
+ case Cash() ->
623
+ "Cash payment";
624
+ };
625
+ }
626
+ ```
627
+
628
+ ---
629
+
630
+ ## まとめ
631
+
632
+ ### Part III で学んだこと
633
+
634
+ 1. **Option**: 値の有無を型で表現する
635
+ 2. **Either**: 成功/失敗とエラー情報を型で表現する
636
+ 3. **flatMap**: Option/Either を組み合わせて使う
637
+ 4. **orElse**: フォールバックを提供する
638
+ 5. **ADT**: 直積型と直和型でドメインを正確にモデリング
639
+ 6. **パターンマッチング**: 直和型を安全に処理する
640
+
641
+ ### Option vs Either の使い分け
642
+
643
+ | 状況 | 使用する型 |
644
+ |------|------------|
645
+ | 値があるかないかだけが重要 | `Option<A>` |
646
+ | 失敗理由を伝える必要がある | `Either<E, A>` |
647
+ | 検索結果が見つからない | `Option<A>` |
648
+ | バリデーションエラーを伝える | `Either<String, A>` |
649
+ | 複数のエラー種別がある | `Either<ErrorType, A>` |
650
+
651
+ ### Scala との対応
652
+
653
+ | Scala | Java + Vavr |
654
+ |-------|-------------|
655
+ | `Option[A]` | `io.vavr.control.Option<A>` |
656
+ | `Some(x)` | `Option.some(x)` |
657
+ | `None` | `Option.none()` |
658
+ | `Either[E, A]` | `io.vavr.control.Either<E, A>` |
659
+ | `Right(x)` | `Either.right(x)` |
660
+ | `Left(e)` | `Either.left(e)` |
661
+ | `toRight(e)` | `toEither(e)` |
662
+ | `case class` | `record` |
663
+ | `sealed trait` | `sealed interface` |
664
+ | `match { case ... }` | `switch (expr) { case ... -> }` |
665
+
666
+ ### 次のパート
667
+
668
+ Part IV では、以下のトピックを学びます:
669
+
670
+ - IO モナドの導入
671
+ - 副作用の管理
672
+ - ストリーム処理