@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,832 @@
1
+ # Part IV: 非同期処理とストリーム
2
+
3
+ 本章では、関数型プログラミングにおける副作用の扱い方を学びます。F# の Async を使って副作用を純粋関数内で安全に記述し、Seq(シーケンス)で無限のデータを扱う方法を習得します。
4
+
5
+ ---
6
+
7
+ ## 第8章: Async による非同期処理
8
+
9
+ ### 8.1 副作用の問題
10
+
11
+ 純粋関数は副作用を持ちません。しかし、実際のプログラムには副作用が必要です:
12
+
13
+ - ファイルの読み書き
14
+ - ネットワーク通信
15
+ - データベースアクセス
16
+ - 乱数生成
17
+ - 現在時刻の取得
18
+
19
+ ```plantuml
20
+ @startuml
21
+ !theme plain
22
+
23
+ rectangle "副作用の問題" {
24
+ rectangle "副作用を持つ関数" as impure {
25
+ card "テストが困難"
26
+ card "予測不可能"
27
+ card "参照透過性がない"
28
+ }
29
+
30
+ rectangle "純粋関数" as pure {
31
+ card "テストが容易"
32
+ card "予測可能"
33
+ card "参照透過性がある"
34
+ }
35
+ }
36
+
37
+ note bottom
38
+ どうすれば副作用を
39
+ 純粋関数のように扱えるか?
40
+ end note
41
+
42
+ @enduml
43
+ ```
44
+
45
+ ### 8.2 F# の Async とは
46
+
47
+ **Async**(非同期計算)は「副作用を持つ計算の**記述**」を表す型です。
48
+
49
+ - `Async<'a>` は「実行すると `'a` 型の値を返す副作用のある計算」
50
+ - Async 値を作成しただけでは副作用は発生しない
51
+ - `Async.RunSynchronously` で実際に実行される
52
+
53
+ ```plantuml
54
+ @startuml
55
+ !theme plain
56
+
57
+ rectangle "Async の仕組み" {
58
+ card "async { ... }" as create
59
+ card "Async<'a> 値" as asyncVal
60
+ card "Async.RunSynchronously" as run
61
+ card "副作用が実行される" as effect
62
+
63
+ create --> asyncVal : 記述を作成
64
+ asyncVal --> run : 実行を指示
65
+ run --> effect : 実際に実行
66
+ }
67
+
68
+ note bottom of asyncVal
69
+ この時点では
70
+ 副作用は発生しない
71
+ end note
72
+
73
+ @enduml
74
+ ```
75
+
76
+ ### 8.3 サイコロを振る例
77
+
78
+ **ソースファイル**: `app/fsharp/src/Ch08/AsyncIO.fs`
79
+
80
+ #### 不純な関数(副作用あり)
81
+
82
+ ```fsharp
83
+ open System
84
+
85
+ let castTheDieImpure () : int =
86
+ let random = Random()
87
+ random.Next(1, 7)
88
+
89
+ // 呼び出すたびに異なる値が返る
90
+ printfn "%d" (castTheDieImpure ()) // 3
91
+ printfn "%d" (castTheDieImpure ()) // 5
92
+ printfn "%d" (castTheDieImpure ()) // 1
93
+ ```
94
+
95
+ #### Async を使った純粋な記述
96
+
97
+ ```fsharp
98
+ let castTheDie () : Async<int> =
99
+ async { return castTheDieImpure () }
100
+
101
+ // Async 値を作成(この時点では実行されない)
102
+ let dieCast: Async<int> = castTheDie ()
103
+ printfn "%A" dieCast // Async<int> - まだ実行されていない
104
+
105
+ // 実際に実行
106
+ printfn "%d" (Async.RunSynchronously dieCast) // 4
107
+ ```
108
+
109
+ ### 8.4 Async の作成方法
110
+
111
+ | 方法 | 用途 | 例 |
112
+ |------|------|-----|
113
+ | `async { return expr }` | 副作用のある式をラップ | `async { return castTheDieImpure () }` |
114
+ | `async { return value }` | 既存の値をラップ(副作用なし) | `async { return 42 }` |
115
+ | `async { return () }` | 何もしない Async | `async { return () }` |
116
+
117
+ ```fsharp
118
+ // 副作用を遅延実行
119
+ let delayedPrint: Async<unit> = async {
120
+ printfn "Hello"
121
+ return ()
122
+ }
123
+ // println はまだ実行されていない
124
+
125
+ // 既存の値をラップ
126
+ let pureValue: Async<int> = async { return 42 }
127
+ // 副作用なし、即座に 42 が確定
128
+ ```
129
+
130
+ ### 8.5 Async の合成
131
+
132
+ Async 値は `let!` を使って合成できます。
133
+
134
+ ```fsharp
135
+ let castTheDieTwice () : Async<int> =
136
+ async {
137
+ let! firstCast = castTheDie ()
138
+ let! secondCast = castTheDie ()
139
+ return firstCast + secondCast
140
+ }
141
+
142
+ // まだ実行されていない
143
+ let program: Async<int> = castTheDieTwice ()
144
+
145
+ // 実行
146
+ let result: int = Async.RunSynchronously program
147
+ ```
148
+
149
+ ```plantuml
150
+ @startuml
151
+ !theme plain
152
+
153
+ rectangle "Async の合成" {
154
+ card "castTheDie()" as cast1
155
+ card "castTheDie()" as cast2
156
+ card "firstCast + secondCast" as combine
157
+
158
+ cast1 --> combine : let!
159
+ cast2 --> combine : let!
160
+ }
161
+
162
+ note bottom
163
+ async { } で
164
+ 順序付けて合成
165
+ end note
166
+
167
+ @enduml
168
+ ```
169
+
170
+ ### 8.6 ミーティングスケジューリングの例
171
+
172
+ **ソースファイル**: `app/fsharp/src/Ch08/AsyncIO.fs`
173
+
174
+ より実践的な例として、ミーティングのスケジューリングを見てみましょう。
175
+
176
+ ```fsharp
177
+ type MeetingTime = { StartHour: int; EndHour: int }
178
+
179
+ // 副作用のある API 呼び出しを Async でラップ
180
+ let calendarEntries (name: string) : Async<MeetingTime list> =
181
+ async { return calendarEntriesApiCall name }
182
+
183
+ let createMeeting (names: string list) (meeting: MeetingTime) : Async<unit> =
184
+ async { return createMeetingApiCall names meeting }
185
+ ```
186
+
187
+ #### 予定の取得
188
+
189
+ ```fsharp
190
+ let scheduledMeetings (person1: string) (person2: string) : Async<MeetingTime list> =
191
+ async {
192
+ let! entries1 = calendarEntries person1
193
+ let! entries2 = calendarEntries person2
194
+ return entries1 @ entries2
195
+ }
196
+ ```
197
+
198
+ #### 空き時間の計算(純粋関数)
199
+
200
+ ```fsharp
201
+ let possibleMeetings
202
+ (existingMeetings: MeetingTime list)
203
+ (startHour: int)
204
+ (endHour: int)
205
+ (lengthHours: int)
206
+ : MeetingTime list =
207
+ [ startHour .. (endHour - lengthHours) ]
208
+ |> List.map (fun start -> { StartHour = start; EndHour = start + lengthHours })
209
+ |> List.filter (fun slot ->
210
+ existingMeetings |> List.forall (fun meeting -> not (meetingsOverlap meeting slot)))
211
+ ```
212
+
213
+ ### 8.7 orElse によるエラーハンドリング
214
+
215
+ 失敗時のフォールバックを指定できます。
216
+
217
+ ```fsharp
218
+ let orElse (fallback: Async<'a>) (primary: Async<'a>) : Async<'a> =
219
+ async {
220
+ try
221
+ return! primary
222
+ with _ ->
223
+ return! fallback
224
+ }
225
+
226
+ let year: Async<int> = async { return 996 }
227
+ let noYear: Async<int> = async { return failwith "no year" }
228
+
229
+ year |> orElse (async { return 2020 }) |> Async.RunSynchronously // 996
230
+ noYear |> orElse (async { return 2020 }) |> Async.RunSynchronously // 2020
231
+ ```
232
+
233
+ ```plantuml
234
+ @startuml
235
+ !theme plain
236
+
237
+ rectangle "orElse の動作" {
238
+ card "メインの Async" as main
239
+ card "フォールバック Async" as fallback
240
+ card "結果" as result
241
+
242
+ main --> result : 成功時
243
+ main --> fallback : 失敗時
244
+ fallback --> result
245
+ }
246
+
247
+ @enduml
248
+ ```
249
+
250
+ #### リトライ戦略
251
+
252
+ ```fsharp
253
+ // API 呼び出しを3回までリトライ
254
+ calendarEntries "Alice"
255
+ |> orElse (calendarEntries "Alice")
256
+ |> orElse (calendarEntries "Alice")
257
+ |> orElse (async { return [] }) // 全部失敗したら空リスト
258
+ ```
259
+
260
+ #### 汎用リトライ関数
261
+
262
+ ```fsharp
263
+ let retry (maxRetries: int) (action: Async<'a>) : Async<'a> =
264
+ let rec loop remaining =
265
+ async {
266
+ try
267
+ return! action
268
+ with ex ->
269
+ if remaining > 0 then
270
+ return! loop (remaining - 1)
271
+ else
272
+ return raise ex
273
+ }
274
+ loop maxRetries
275
+
276
+ // 使用例
277
+ retry 10 (calendarEntries "Alice")
278
+ ```
279
+
280
+ ### 8.8 sequence による Async のリスト処理
281
+
282
+ `Async<'a> list` を `Async<'a list>` に変換するには sequence を使います。
283
+
284
+ ```fsharp
285
+ let sequence (asyncList: Async<'a> list) : Async<'a list> =
286
+ async {
287
+ let! results =
288
+ asyncList
289
+ |> List.map (fun a -> async {
290
+ let! result = a
291
+ return result
292
+ })
293
+ |> Async.Sequential
294
+ return results |> Array.toList
295
+ }
296
+
297
+ let actions: Async<int> list = [ async { return 1 }; async { return 2 }; async { return 3 } ]
298
+ let combined: Async<int list> = sequence actions
299
+
300
+ Async.RunSynchronously combined // [1; 2; 3]
301
+ ```
302
+
303
+ #### 複数人の予定を取得
304
+
305
+ ```fsharp
306
+ let scheduledMeetingsMultiple (attendees: string list) : Async<MeetingTime list> =
307
+ async {
308
+ let! allMeetings =
309
+ attendees
310
+ |> List.map (fun name -> retry 10 (calendarEntries name))
311
+ |> sequence
312
+ return allMeetings |> List.concat
313
+ }
314
+ ```
315
+
316
+ ### 8.9 並列実行
317
+
318
+ F# では `Async.Parallel` で複数の Async を並列実行できます。
319
+
320
+ ```fsharp
321
+ let parallelAll (asyncList: Async<'a> list) : Async<'a list> =
322
+ async {
323
+ let! results = Async.Parallel asyncList
324
+ return results |> Array.toList
325
+ }
326
+
327
+ // 使用例
328
+ let tasks = [ calendarEntries "Alice"; calendarEntries "Bob"; calendarEntries "Charlie" ]
329
+ let allResults = parallelAll tasks |> Async.RunSynchronously
330
+ ```
331
+
332
+ ---
333
+
334
+ ## 第9章: ストリーム処理
335
+
336
+ ### 9.1 Seq(シーケンス)とは
337
+
338
+ **Seq**(シーケンス)は、要素の(潜在的に無限の)シーケンスを表します。
339
+
340
+ ```plantuml
341
+ @startuml
342
+ !theme plain
343
+
344
+ rectangle "List vs Seq" {
345
+ rectangle "List" as list {
346
+ card "全要素がメモリに存在"
347
+ card "有限"
348
+ card "即座に評価"
349
+ }
350
+
351
+ rectangle "Seq" as stream {
352
+ card "必要な時に要素を生成"
353
+ card "無限も可能"
354
+ card "遅延評価"
355
+ }
356
+ }
357
+
358
+ @enduml
359
+ ```
360
+
361
+ ### 9.2 純粋なシーケンス
362
+
363
+ **ソースファイル**: `app/fsharp/src/Ch09/StreamProcessing.fs`
364
+
365
+ ```fsharp
366
+ // 有限シーケンス
367
+ let numbers: int seq = seq { 1; 2; 3 }
368
+
369
+ // List に変換
370
+ numbers |> Seq.toList // [1; 2; 3]
371
+
372
+ // フィルタリング
373
+ let oddNumbers = numbers |> Seq.filter (fun n -> n % 2 <> 0)
374
+ oddNumbers |> Seq.toList // [1; 3]
375
+ ```
376
+
377
+ ### 9.3 無限シーケンス
378
+
379
+ ```fsharp
380
+ // repeat で無限に繰り返し
381
+ let repeat (elements: 'a seq) : 'a seq =
382
+ seq {
383
+ while true do
384
+ yield! elements
385
+ }
386
+
387
+ let infinite123s: int seq = repeat (seq { 1; 2; 3 })
388
+
389
+ // take で有限個を取得
390
+ infinite123s |> Seq.take 8 |> Seq.toList // [1; 2; 3; 1; 2; 3; 1; 2]
391
+ ```
392
+
393
+ ```plantuml
394
+ @startuml
395
+ !theme plain
396
+
397
+ rectangle "無限シーケンス" {
398
+ card "repeat (seq { 1; 2; 3 })" as stream
399
+ card "1, 2, 3, 1, 2, 3, 1, 2, 3, ..." as infinite
400
+ card "Seq.take 8" as take
401
+ card "[1; 2; 3; 1; 2; 3; 1; 2]" as result
402
+
403
+ stream --> infinite
404
+ infinite --> take
405
+ take --> result
406
+ }
407
+
408
+ note bottom
409
+ 無限のシーケンスから
410
+ 必要な分だけ取得
411
+ end note
412
+
413
+ @enduml
414
+ ```
415
+
416
+ ### 9.4 サイコロを振るストリーム
417
+
418
+ ```fsharp
419
+ let private random = Random()
420
+
421
+ let private castTheDieImpure () : int =
422
+ random.Next(1, 7)
423
+
424
+ // サイコロを無限に振るストリーム
425
+ let infiniteDieCasts : int seq =
426
+ seq {
427
+ while true do
428
+ yield castTheDieImpure ()
429
+ }
430
+
431
+ // 最初の3回を取得
432
+ infiniteDieCasts |> Seq.take 3 |> Seq.toList // [4; 2; 6]
433
+
434
+ // 6 が出るまで振り続ける
435
+ let castUntil (target: int) : int seq =
436
+ infiniteDieCasts
437
+ |> Seq.takeWhile (fun n -> n <> target)
438
+ |> Seq.append (Seq.singleton target)
439
+ ```
440
+
441
+ ### 9.5 シーケンスの主要操作
442
+
443
+ | 操作 | 説明 | 例 |
444
+ |------|------|-----|
445
+ | `Seq.take n` | 最初の n 要素を取得 | `seq \|> Seq.take 3` |
446
+ | `Seq.filter p` | 条件を満たす要素のみ | `seq \|> Seq.filter (fun x -> x > 0)` |
447
+ | `Seq.map f` | 各要素を変換 | `seq \|> Seq.map (fun x -> x * 2)` |
448
+ | `Seq.append s1 s2` | 2つのシーケンスを結合 | `Seq.append s1 s2` |
449
+ | `Seq.windowed n` | スライディングウィンドウ | `seq \|> Seq.windowed 3` |
450
+
451
+ ### 9.6 通貨交換レートの例
452
+
453
+ **ソースファイル**: `app/fsharp/src/Ch09/StreamProcessing.fs`
454
+
455
+ 為替レートを監視して、上昇トレンドを検出する例です。
456
+
457
+ #### トレンド判定(純粋関数)
458
+
459
+ ```fsharp
460
+ let trending (rates: decimal list) : bool =
461
+ rates.Length > 1 &&
462
+ rates
463
+ |> List.pairwise
464
+ |> List.forall (fun (prev, curr) -> curr > prev)
465
+
466
+ trending [0.81m; 0.82m; 0.83m] // true (上昇トレンド)
467
+ trending [0.81m; 0.84m; 0.83m] // false
468
+ ```
469
+
470
+ #### レートのストリーム
471
+
472
+ ```fsharp
473
+ type Currency = USD | EUR | GBP | JPY
474
+
475
+ let rates (from: Currency) (toC: Currency) : decimal seq =
476
+ seq {
477
+ while true do
478
+ yield getExchangeRate from toC
479
+ }
480
+ ```
481
+
482
+ ### 9.7 スライディングウィンドウ
483
+
484
+ `Seq.windowed` で連続する要素をグループ化できます。
485
+
486
+ ```fsharp
487
+ let stream = seq { 1; 2; 3; 4; 5 }
488
+
489
+ stream |> Seq.windowed 3 |> Seq.toList
490
+ // [[|1; 2; 3|]; [|2; 3; 4|]; [|3; 4; 5|]]
491
+ ```
492
+
493
+ ```plantuml
494
+ @startuml
495
+ !theme plain
496
+
497
+ rectangle "Seq.windowed 3 の動作" {
498
+ card "[1; 2; 3; 4; 5]" as input
499
+ card "[1; 2; 3]" as w1
500
+ card "[2; 3; 4]" as w2
501
+ card "[3; 4; 5]" as w3
502
+
503
+ input --> w1
504
+ input --> w2
505
+ input --> w3
506
+ }
507
+
508
+ @enduml
509
+ ```
510
+
511
+ #### トレンドを検出して交換
512
+
513
+ ```fsharp
514
+ let exchangeIfTrending
515
+ (amount: decimal)
516
+ (from: Currency)
517
+ (toC: Currency)
518
+ (windowSize: int)
519
+ : decimal option =
520
+ rates from toC
521
+ |> Seq.windowed windowSize
522
+ |> Seq.map Array.toList
523
+ |> Seq.tryFind trending
524
+ |> Option.map (fun rateWindow ->
525
+ let lastRate = rateWindow |> List.last
526
+ amount * lastRate)
527
+ ```
528
+
529
+ ### 9.8 シーケンスの結合
530
+
531
+ 2つのシーケンスを `Seq.zip` で結合できます。
532
+
533
+ ```fsharp
534
+ let s1 = seq { 1; 2; 3 }
535
+ let s2 = seq { "a"; "b"; "c" }
536
+
537
+ Seq.zip s1 s2 |> Seq.toList // [(1, "a"); (2, "b"); (3, "c")]
538
+
539
+ // 左側の値のみを返す
540
+ let zipLeft (stream1: 'a seq) (stream2: 'b seq) : 'a seq =
541
+ Seq.zip stream1 stream2
542
+ |> Seq.map fst
543
+ ```
544
+
545
+ ```plantuml
546
+ @startuml
547
+ !theme plain
548
+
549
+ rectangle "Seq.zip の動作" {
550
+ card "s1: [1; 2; 3; ...]" as s1
551
+ card "s2: [a; b; c; ...]" as s2
552
+ card "Seq.zip" as zip
553
+ card "[(1,a); (2,b); (3,c); ...]" as result
554
+
555
+ s1 --> zip
556
+ s2 --> zip
557
+ zip --> result
558
+ }
559
+
560
+ @enduml
561
+ ```
562
+
563
+ ### 9.9 実用的なストリーム操作
564
+
565
+ ```fsharp
566
+ // 累積和
567
+ let runningSum (stream: int seq) : int seq =
568
+ stream |> Seq.scan (+) 0 |> Seq.skip 1
569
+
570
+ runningSum (seq { 1; 2; 3; 4; 5 }) |> Seq.toList // [1; 3; 6; 10; 15]
571
+
572
+ // 移動平均
573
+ let movingAverage (windowSize: int) (stream: decimal seq) : decimal seq =
574
+ stream
575
+ |> Seq.windowed windowSize
576
+ |> Seq.map (fun window ->
577
+ window |> Array.sum |> fun s -> s / decimal windowSize)
578
+
579
+ // 連続する重複を除去
580
+ let distinctConsecutive (stream: 'a seq) : 'a seq =
581
+ seq {
582
+ let mutable prev = None
583
+ for item in stream do
584
+ match prev with
585
+ | Some p when p = item -> ()
586
+ | _ ->
587
+ yield item
588
+ prev <- Some item
589
+ }
590
+ ```
591
+
592
+ ---
593
+
594
+ ## Scala との比較
595
+
596
+ ### IO と Async の比較
597
+
598
+ | Scala (Cats Effect) | F# | 説明 |
599
+ |---------------------|-----|------|
600
+ | `IO[A]` | `Async<'a>` | 副作用を記述する型 |
601
+ | `IO.delay(expr)` | `async { return expr }` | 副作用をラップ |
602
+ | `IO.pure(value)` | `async { return value }` | 純粋な値をラップ |
603
+ | `for { a <- io1; b <- io2 } yield ...` | `async { let! a = io1; let! b = io2; return ... }` | 合成 |
604
+ | `io.unsafeRunSync()` | `Async.RunSynchronously io` | 同期実行 |
605
+ | `io1.orElse(io2)` | `io1 \|> orElse io2` | フォールバック |
606
+ | `ios.sequence` | `sequence ios` | リストの変換 |
607
+
608
+ ### Stream と Seq の比較
609
+
610
+ | Scala (fs2) | F# | 説明 |
611
+ |-------------|-----|------|
612
+ | `Stream[Pure, A]` | `'a seq` | 純粋なストリーム |
613
+ | `Stream.eval(io)` | `async { ... }` + 変換 | IO を含むストリーム |
614
+ | `stream.repeat` | `repeat stream` | 無限繰り返し |
615
+ | `stream.take(n)` | `Seq.take n stream` | 最初の n 要素 |
616
+ | `stream.filter(p)` | `Seq.filter p stream` | フィルタリング |
617
+ | `stream.sliding(n)` | `Seq.windowed n stream` | スライディングウィンドウ |
618
+
619
+ ---
620
+
621
+ ## まとめ
622
+
623
+ ### Part IV で学んだこと
624
+
625
+ ```plantuml
626
+ @startuml
627
+ !theme plain
628
+
629
+ rectangle "Part IV: 非同期処理とストリーム" {
630
+ rectangle "第8章" as ch8 {
631
+ card "Async<'a>"
632
+ card "async { ... }"
633
+ card "let! で合成"
634
+ card "orElse"
635
+ card "retry"
636
+ card "sequence"
637
+ card "Async.Parallel"
638
+ }
639
+
640
+ rectangle "第9章" as ch9 {
641
+ card "Seq(シーケンス)"
642
+ card "無限シーケンス"
643
+ card "Seq.take / Seq.filter"
644
+ card "Seq.windowed"
645
+ card "Seq.zip"
646
+ }
647
+ }
648
+
649
+ ch8 --> ch9
650
+
651
+ @enduml
652
+ ```
653
+
654
+ ### Async と Seq の比較
655
+
656
+ | 特性 | Async<'a> | 'a seq |
657
+ |------|-----------|--------|
658
+ | 要素数 | 1つ | 0個以上(無限も可) |
659
+ | 実行 | `Async.RunSynchronously` | `Seq.toList` |
660
+ | 用途 | 単一の副作用 | 連続した要素の処理 |
661
+
662
+ ### キーポイント
663
+
664
+ 1. **Async**: 副作用を「記述」として扱い、実行を遅延させる
665
+ 2. **async { return ... }**: 副作用のある式を Async にラップ
666
+ 3. **let!**: Async を合成(Scala の flatMap 相当)
667
+ 4. **orElse**: 失敗時のフォールバックを指定
668
+ 5. **sequence**: `Async<'a> list` → `Async<'a list>`
669
+ 6. **Seq**: 潜在的に無限のシーケンスを遅延評価で処理
670
+ 7. **Seq.windowed**: 連続する要素をグループ化してパターンを検出
671
+
672
+ ### 次のステップ
673
+
674
+ Part V では、以下のトピックを学びます:
675
+
676
+ - 並行・並列処理
677
+ - Agent(MailboxProcessor)による軽量並行処理
678
+ - 共有状態の管理
679
+
680
+ ---
681
+
682
+ ## 演習問題
683
+
684
+ ### 問題 1: Async の基本
685
+
686
+ 以下の関数を実装してください。
687
+
688
+ ```fsharp
689
+ let printAndReturn (message: string) : Async<string> = ???
690
+
691
+ // 期待される動作
692
+ // printAndReturn "Hello" |> Async.RunSynchronously は
693
+ // "Hello" をコンソールに出力し、"Hello" を返す
694
+ ```
695
+
696
+ <details>
697
+ <summary>解答</summary>
698
+
699
+ ```fsharp
700
+ let printAndReturn (message: string) : Async<string> =
701
+ async {
702
+ printfn "%s" message
703
+ return message
704
+ }
705
+ ```
706
+
707
+ </details>
708
+
709
+ ### 問題 2: Async の合成
710
+
711
+ 以下の関数を実装してください。2つの Async を順番に実行し、結果を結合します。
712
+
713
+ ```fsharp
714
+ let combineAsync (async1: Async<'a>) (async2: Async<'b>) (f: 'a -> 'b -> 'c) : Async<'c> = ???
715
+
716
+ // 期待される動作
717
+ let result = combineAsync (async { return 1 }) (async { return 2 }) (+)
718
+ Async.RunSynchronously result // 3
719
+ ```
720
+
721
+ <details>
722
+ <summary>解答</summary>
723
+
724
+ ```fsharp
725
+ let combineAsync (async1: Async<'a>) (async2: Async<'b>) (f: 'a -> 'b -> 'c) : Async<'c> =
726
+ async {
727
+ let! a = async1
728
+ let! b = async2
729
+ return f a b
730
+ }
731
+ ```
732
+
733
+ </details>
734
+
735
+ ### 問題 3: リトライ
736
+
737
+ 以下の関数を実装してください。指定回数リトライし、全部失敗したらデフォルト値を返します。
738
+
739
+ ```fsharp
740
+ let retryWithDefault (maxRetries: int) (defaultValue: 'a) (action: Async<'a>) : Async<'a> = ???
741
+ ```
742
+
743
+ <details>
744
+ <summary>解答</summary>
745
+
746
+ ```fsharp
747
+ let retryWithDefault (maxRetries: int) (defaultValue: 'a) (action: Async<'a>) : Async<'a> =
748
+ let rec loop remaining =
749
+ async {
750
+ try
751
+ return! action
752
+ with _ ->
753
+ if remaining > 0 then
754
+ return! loop (remaining - 1)
755
+ else
756
+ return defaultValue
757
+ }
758
+ loop maxRetries
759
+ ```
760
+
761
+ </details>
762
+
763
+ ### 問題 4: シーケンス操作
764
+
765
+ 以下のシーケンスを作成してください。
766
+
767
+ ```fsharp
768
+ // 1. 1から10までの偶数のシーケンス
769
+ let evens: int seq = ???
770
+
771
+ // 2. 無限に交互に true/false を返すシーケンス
772
+ let alternating: bool seq = ???
773
+
774
+ // 3. 最初の5つの要素の合計を計算
775
+ let sum: int = seq { 1; 2; 3; 4; 5; 6; 7; 8; 9; 10 } |> Seq.take 5 |> ???
776
+ ```
777
+
778
+ <details>
779
+ <summary>解答</summary>
780
+
781
+ ```fsharp
782
+ // 1. 1から10までの偶数
783
+ let evens: int seq = seq { 1 .. 10 } |> Seq.filter (fun n -> n % 2 = 0)
784
+ // または
785
+ let evens: int seq = seq { 2; 4; 6; 8; 10 }
786
+
787
+ // 2. 無限に交互に true/false
788
+ let alternating: bool seq =
789
+ seq {
790
+ while true do
791
+ yield true
792
+ yield false
793
+ }
794
+
795
+ // 3. 最初の5つの要素の合計
796
+ let sum: int = seq { 1; 2; 3; 4; 5; 6; 7; 8; 9; 10 }
797
+ |> Seq.take 5
798
+ |> Seq.sum // 15
799
+ ```
800
+
801
+ </details>
802
+
803
+ ### 問題 5: トレンド検出
804
+
805
+ 以下の関数を実装してください。直近3つの値が全て同じかどうかを判定します。
806
+
807
+ ```fsharp
808
+ let isStable (values: int list) : bool = ???
809
+
810
+ // 期待される動作
811
+ assert (isStable [5; 5; 5] = true)
812
+ assert (isStable [5; 5; 6] = false)
813
+ assert (isStable [5; 6; 5] = false)
814
+ assert (isStable [5] = false) // 3つ未満は false
815
+ ```
816
+
817
+ <details>
818
+ <summary>解答</summary>
819
+
820
+ ```fsharp
821
+ let isStable (values: int list) : bool =
822
+ values.Length >= 3 &&
823
+ values
824
+ |> List.pairwise
825
+ |> List.forall (fun (prev, curr) -> prev = curr)
826
+
827
+ // または
828
+ let isStable (values: int list) : bool =
829
+ values.Length >= 3 && values |> List.distinct |> List.length = 1
830
+ ```
831
+
832
+ </details>