@k2works/claude-code-booster 6.2.0 → 6.3.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 (618) hide show
  1. package/lib/assets/.claude/skills/practicing-getting-start-tdd/SKILL.md +3 -7
  2. package/lib/assets/docs/article/index.md +16 -41
  3. package/lib/assets/docs/index.md +1 -1
  4. package/lib/assets/mkdocs.yml +0 -6
  5. package/package.json +1 -1
  6. package/lib/assets/docs/article/functional-desgin-ppp/all/01-immutability-and-data-transformation.md +0 -484
  7. package/lib/assets/docs/article/functional-desgin-ppp/all/02-function-composition.md +0 -528
  8. package/lib/assets/docs/article/functional-desgin-ppp/all/03-polymorphism.md +0 -546
  9. package/lib/assets/docs/article/functional-desgin-ppp/all/04-data-validation.md +0 -309
  10. package/lib/assets/docs/article/functional-desgin-ppp/all/05-property-based-testing.md +0 -329
  11. package/lib/assets/docs/article/functional-desgin-ppp/all/06-tdd-and-functional.md +0 -507
  12. package/lib/assets/docs/article/functional-desgin-ppp/all/07-composite-pattern.md +0 -307
  13. package/lib/assets/docs/article/functional-desgin-ppp/all/08-decorator-pattern.md +0 -300
  14. package/lib/assets/docs/article/functional-desgin-ppp/all/09-adapter-pattern.md +0 -345
  15. package/lib/assets/docs/article/functional-desgin-ppp/all/10-strategy-pattern.md +0 -312
  16. package/lib/assets/docs/article/functional-desgin-ppp/all/11-command-pattern.md +0 -295
  17. package/lib/assets/docs/article/functional-desgin-ppp/all/12-visitor-pattern.md +0 -331
  18. package/lib/assets/docs/article/functional-desgin-ppp/all/13-abstract-factory-pattern.md +0 -328
  19. package/lib/assets/docs/article/functional-desgin-ppp/all/14-abstract-server-pattern.md +0 -374
  20. package/lib/assets/docs/article/functional-desgin-ppp/all/15-gossiping-bus-drivers.md +0 -165
  21. package/lib/assets/docs/article/functional-desgin-ppp/all/16-payroll-system.md +0 -187
  22. package/lib/assets/docs/article/functional-desgin-ppp/all/17-video-rental-system.md +0 -321
  23. package/lib/assets/docs/article/functional-desgin-ppp/all/18-concurrency-system.md +0 -296
  24. package/lib/assets/docs/article/functional-desgin-ppp/all/19-wa-tor-simulation.md +0 -295
  25. package/lib/assets/docs/article/functional-desgin-ppp/all/20-pattern-interactions.md +0 -283
  26. package/lib/assets/docs/article/functional-desgin-ppp/all/21-best-practices.md +0 -303
  27. package/lib/assets/docs/article/functional-desgin-ppp/all/22-oo-to-fp-migration.md +0 -346
  28. package/lib/assets/docs/article/functional-desgin-ppp/all/index.md +0 -388
  29. package/lib/assets/docs/article/functional-desgin-ppp/clojure/01-immutability-and-data-transformation.md +0 -282
  30. package/lib/assets/docs/article/functional-desgin-ppp/clojure/02-function-composition.md +0 -389
  31. package/lib/assets/docs/article/functional-desgin-ppp/clojure/03-polymorphism.md +0 -393
  32. package/lib/assets/docs/article/functional-desgin-ppp/clojure/04-clojure-spec.md +0 -359
  33. package/lib/assets/docs/article/functional-desgin-ppp/clojure/05-property-based-testing.md +0 -361
  34. package/lib/assets/docs/article/functional-desgin-ppp/clojure/06-tdd-in-functional.md +0 -392
  35. package/lib/assets/docs/article/functional-desgin-ppp/clojure/07-composite-pattern.md +0 -538
  36. package/lib/assets/docs/article/functional-desgin-ppp/clojure/08-decorator-pattern.md +0 -404
  37. package/lib/assets/docs/article/functional-desgin-ppp/clojure/09-adapter-pattern.md +0 -408
  38. package/lib/assets/docs/article/functional-desgin-ppp/clojure/10-strategy-pattern.md +0 -494
  39. package/lib/assets/docs/article/functional-desgin-ppp/clojure/11-command-pattern.md +0 -575
  40. package/lib/assets/docs/article/functional-desgin-ppp/clojure/12-visitor-pattern.md +0 -576
  41. package/lib/assets/docs/article/functional-desgin-ppp/clojure/13-abstract-factory-pattern.md +0 -484
  42. package/lib/assets/docs/article/functional-desgin-ppp/clojure/14-abstract-server-pattern.md +0 -471
  43. package/lib/assets/docs/article/functional-desgin-ppp/clojure/15-gossiping-bus-drivers.md +0 -334
  44. package/lib/assets/docs/article/functional-desgin-ppp/clojure/16-payroll-system.md +0 -410
  45. package/lib/assets/docs/article/functional-desgin-ppp/clojure/17-video-rental-system.md +0 -459
  46. package/lib/assets/docs/article/functional-desgin-ppp/clojure/18-concurrency-system.md +0 -484
  47. package/lib/assets/docs/article/functional-desgin-ppp/clojure/19-wator-simulation.md +0 -748
  48. package/lib/assets/docs/article/functional-desgin-ppp/clojure/20-pattern-interactions.md +0 -576
  49. package/lib/assets/docs/article/functional-desgin-ppp/clojure/21-best-practices.md +0 -527
  50. package/lib/assets/docs/article/functional-desgin-ppp/clojure/22-oo-to-fp-migration.md +0 -541
  51. package/lib/assets/docs/article/functional-desgin-ppp/clojure/index.md +0 -241
  52. package/lib/assets/docs/article/functional-desgin-ppp/elixir/01-immutability-and-data-transformation.md +0 -392
  53. package/lib/assets/docs/article/functional-desgin-ppp/elixir/02-function-composition.md +0 -383
  54. package/lib/assets/docs/article/functional-desgin-ppp/elixir/03-polymorphism.md +0 -384
  55. package/lib/assets/docs/article/functional-desgin-ppp/elixir/04-data-validation.md +0 -204
  56. package/lib/assets/docs/article/functional-desgin-ppp/elixir/05-property-based-testing.md +0 -277
  57. package/lib/assets/docs/article/functional-desgin-ppp/elixir/06-tdd-and-fp.md +0 -303
  58. package/lib/assets/docs/article/functional-desgin-ppp/elixir/07-effects-and-pure-functions.md +0 -173
  59. package/lib/assets/docs/article/functional-desgin-ppp/elixir/08-error-handling-strategies.md +0 -177
  60. package/lib/assets/docs/article/functional-desgin-ppp/elixir/09-io-and-external-systems.md +0 -263
  61. package/lib/assets/docs/article/functional-desgin-ppp/elixir/10-concurrency-patterns.md +0 -278
  62. package/lib/assets/docs/article/functional-desgin-ppp/elixir/11-command-pattern.md +0 -157
  63. package/lib/assets/docs/article/functional-desgin-ppp/elixir/12-visitor-pattern.md +0 -185
  64. package/lib/assets/docs/article/functional-desgin-ppp/elixir/13-abstract-factory-pattern.md +0 -613
  65. package/lib/assets/docs/article/functional-desgin-ppp/elixir/14-abstract-server-pattern.md +0 -738
  66. package/lib/assets/docs/article/functional-desgin-ppp/elixir/15-gossiping-bus-drivers.md +0 -300
  67. package/lib/assets/docs/article/functional-desgin-ppp/elixir/16-payroll-system.md +0 -429
  68. package/lib/assets/docs/article/functional-desgin-ppp/elixir/17-video-rental-system.md +0 -328
  69. package/lib/assets/docs/article/functional-desgin-ppp/elixir/18-concurrency-system.md +0 -475
  70. package/lib/assets/docs/article/functional-desgin-ppp/elixir/19-wator-simulation.md +0 -532
  71. package/lib/assets/docs/article/functional-desgin-ppp/elixir/20-pattern-interactions.md +0 -296
  72. package/lib/assets/docs/article/functional-desgin-ppp/elixir/21-best-practices.md +0 -349
  73. package/lib/assets/docs/article/functional-desgin-ppp/elixir/22-oo-to-fp-migration.md +0 -404
  74. package/lib/assets/docs/article/functional-desgin-ppp/elixir/index.md +0 -248
  75. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/01-immutability-and-data-transformation.md +0 -393
  76. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/02-function-composition.md +0 -461
  77. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/03-polymorphism.md +0 -504
  78. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/04-data-validation.md +0 -425
  79. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/05-property-based-testing.md +0 -391
  80. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/06-tdd-functional.md +0 -696
  81. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/07-composite-pattern.md +0 -451
  82. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/08-decorator-pattern.md +0 -488
  83. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/09-adapter-pattern.md +0 -488
  84. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/10-strategy-pattern.md +0 -436
  85. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/11-command-pattern.md +0 -437
  86. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/12-visitor-pattern.md +0 -348
  87. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/13-abstract-factory-pattern.md +0 -318
  88. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/14-abstract-server-pattern.md +0 -605
  89. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/15-gossiping-bus-drivers.md +0 -364
  90. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/16-payroll-system.md +0 -359
  91. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/17-video-rental-system.md +0 -423
  92. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/18-concurrency-system.md +0 -376
  93. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/19-wator-simulation.md +0 -412
  94. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/20-pattern-interactions.md +0 -300
  95. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/21-best-practices.md +0 -333
  96. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/22-oo-to-fp-migration.md +0 -341
  97. package/lib/assets/docs/article/functional-desgin-ppp/fsharp/index.md +0 -274
  98. package/lib/assets/docs/article/functional-desgin-ppp/haskell/01-immutability-and-data-transformation.md +0 -307
  99. package/lib/assets/docs/article/functional-desgin-ppp/haskell/02-function-composition.md +0 -313
  100. package/lib/assets/docs/article/functional-desgin-ppp/haskell/03-polymorphism.md +0 -371
  101. package/lib/assets/docs/article/functional-desgin-ppp/haskell/04-data-validation.md +0 -266
  102. package/lib/assets/docs/article/functional-desgin-ppp/haskell/05-property-based-testing.md +0 -263
  103. package/lib/assets/docs/article/functional-desgin-ppp/haskell/06-tdd-functional.md +0 -292
  104. package/lib/assets/docs/article/functional-desgin-ppp/haskell/07-composite-pattern.md +0 -404
  105. package/lib/assets/docs/article/functional-desgin-ppp/haskell/08-decorator-pattern.md +0 -328
  106. package/lib/assets/docs/article/functional-desgin-ppp/haskell/09-adapter-pattern.md +0 -391
  107. package/lib/assets/docs/article/functional-desgin-ppp/haskell/10-strategy-pattern.md +0 -296
  108. package/lib/assets/docs/article/functional-desgin-ppp/haskell/11-command-pattern.md +0 -312
  109. package/lib/assets/docs/article/functional-desgin-ppp/haskell/12-visitor-pattern.md +0 -335
  110. package/lib/assets/docs/article/functional-desgin-ppp/haskell/13-abstract-factory-pattern.md +0 -341
  111. package/lib/assets/docs/article/functional-desgin-ppp/haskell/14-abstract-server-pattern.md +0 -388
  112. package/lib/assets/docs/article/functional-desgin-ppp/haskell/15-gossiping-bus-drivers.md +0 -186
  113. package/lib/assets/docs/article/functional-desgin-ppp/haskell/16-payroll-system.md +0 -228
  114. package/lib/assets/docs/article/functional-desgin-ppp/haskell/17-video-rental-system.md +0 -253
  115. package/lib/assets/docs/article/functional-desgin-ppp/haskell/18-concurrency-system.md +0 -372
  116. package/lib/assets/docs/article/functional-desgin-ppp/haskell/19-wator-simulation.md +0 -447
  117. package/lib/assets/docs/article/functional-desgin-ppp/haskell/20-pattern-interactions.md +0 -334
  118. package/lib/assets/docs/article/functional-desgin-ppp/haskell/21-best-practices.md +0 -412
  119. package/lib/assets/docs/article/functional-desgin-ppp/haskell/22-oo-to-fp-migration.md +0 -478
  120. package/lib/assets/docs/article/functional-desgin-ppp/haskell/index.md +0 -174
  121. package/lib/assets/docs/article/functional-desgin-ppp/index.md +0 -90
  122. package/lib/assets/docs/article/functional-desgin-ppp/rust/01-immutability-and-data-transformation.md +0 -459
  123. package/lib/assets/docs/article/functional-desgin-ppp/rust/02-function-composition.md +0 -472
  124. package/lib/assets/docs/article/functional-desgin-ppp/rust/03-polymorphism.md +0 -434
  125. package/lib/assets/docs/article/functional-desgin-ppp/rust/04-data-validation.md +0 -282
  126. package/lib/assets/docs/article/functional-desgin-ppp/rust/05-property-based-testing.md +0 -256
  127. package/lib/assets/docs/article/functional-desgin-ppp/rust/06-tdd-and-functional.md +0 -850
  128. package/lib/assets/docs/article/functional-desgin-ppp/rust/07-composite-pattern.md +0 -393
  129. package/lib/assets/docs/article/functional-desgin-ppp/rust/08-decorator-pattern.md +0 -392
  130. package/lib/assets/docs/article/functional-desgin-ppp/rust/09-adapter-pattern.md +0 -348
  131. package/lib/assets/docs/article/functional-desgin-ppp/rust/10-strategy-pattern.md +0 -340
  132. package/lib/assets/docs/article/functional-desgin-ppp/rust/11-command-pattern.md +0 -365
  133. package/lib/assets/docs/article/functional-desgin-ppp/rust/12-visitor-pattern.md +0 -388
  134. package/lib/assets/docs/article/functional-desgin-ppp/rust/13-abstract-factory-pattern.md +0 -370
  135. package/lib/assets/docs/article/functional-desgin-ppp/rust/14-abstract-server-pattern.md +0 -401
  136. package/lib/assets/docs/article/functional-desgin-ppp/rust/15-gossiping-bus-drivers.md +0 -309
  137. package/lib/assets/docs/article/functional-desgin-ppp/rust/16-payroll-system.md +0 -306
  138. package/lib/assets/docs/article/functional-desgin-ppp/rust/17-video-rental-system.md +0 -313
  139. package/lib/assets/docs/article/functional-desgin-ppp/rust/18-concurrency-system.md +0 -324
  140. package/lib/assets/docs/article/functional-desgin-ppp/rust/19-wator-simulation.md +0 -320
  141. package/lib/assets/docs/article/functional-desgin-ppp/rust/20-pattern-interactions.md +0 -313
  142. package/lib/assets/docs/article/functional-desgin-ppp/rust/21-best-practices.md +0 -345
  143. package/lib/assets/docs/article/functional-desgin-ppp/rust/22-oo-to-fp-migration.md +0 -358
  144. package/lib/assets/docs/article/functional-desgin-ppp/rust/index.md +0 -243
  145. package/lib/assets/docs/article/functional-desgin-ppp/scala/01-immutability-and-data-transformation.md +0 -337
  146. package/lib/assets/docs/article/functional-desgin-ppp/scala/02-function-composition.md +0 -357
  147. package/lib/assets/docs/article/functional-desgin-ppp/scala/03-polymorphism.md +0 -366
  148. package/lib/assets/docs/article/functional-desgin-ppp/scala/04-data-validation.md +0 -373
  149. package/lib/assets/docs/article/functional-desgin-ppp/scala/05-property-based-testing.md +0 -524
  150. package/lib/assets/docs/article/functional-desgin-ppp/scala/06-tdd-functional.md +0 -566
  151. package/lib/assets/docs/article/functional-desgin-ppp/scala/07-composite-pattern.md +0 -372
  152. package/lib/assets/docs/article/functional-desgin-ppp/scala/08-decorator-pattern.md +0 -336
  153. package/lib/assets/docs/article/functional-desgin-ppp/scala/09-adapter-pattern.md +0 -526
  154. package/lib/assets/docs/article/functional-desgin-ppp/scala/10-strategy-pattern.md +0 -450
  155. package/lib/assets/docs/article/functional-desgin-ppp/scala/11-command-pattern.md +0 -416
  156. package/lib/assets/docs/article/functional-desgin-ppp/scala/12-visitor-pattern.md +0 -388
  157. package/lib/assets/docs/article/functional-desgin-ppp/scala/13-abstract-factory-pattern.md +0 -407
  158. package/lib/assets/docs/article/functional-desgin-ppp/scala/14-abstract-server-pattern.md +0 -485
  159. package/lib/assets/docs/article/functional-desgin-ppp/scala/15-gossiping-bus-drivers.md +0 -400
  160. package/lib/assets/docs/article/functional-desgin-ppp/scala/16-payroll-system.md +0 -351
  161. package/lib/assets/docs/article/functional-desgin-ppp/scala/17-video-rental-system.md +0 -333
  162. package/lib/assets/docs/article/functional-desgin-ppp/scala/18-concurrency-system.md +0 -739
  163. package/lib/assets/docs/article/functional-desgin-ppp/scala/19-wator-simulation.md +0 -633
  164. package/lib/assets/docs/article/functional-desgin-ppp/scala/20-pattern-interactions.md +0 -521
  165. package/lib/assets/docs/article/functional-desgin-ppp/scala/21-best-practices.md +0 -442
  166. package/lib/assets/docs/article/functional-desgin-ppp/scala/22-oo-to-fp-migration.md +0 -697
  167. package/lib/assets/docs/article/functional-desgin-ppp/scala/index.md +0 -243
  168. package/lib/assets/docs/article/getting-start-docker-kubernetes/01-container-and-docker-basics.md +0 -341
  169. package/lib/assets/docs/article/getting-start-docker-kubernetes/02-container-deployment.md +0 -785
  170. package/lib/assets/docs/article/getting-start-docker-kubernetes/03-practical-container-build-deploy.md +0 -466
  171. package/lib/assets/docs/article/getting-start-docker-kubernetes/04-multi-container-application.md +0 -878
  172. package/lib/assets/docs/article/getting-start-docker-kubernetes/05-kubernetes-introduction.md +0 -585
  173. package/lib/assets/docs/article/getting-start-docker-kubernetes/06-kubernetes-deploy-cluster.md +0 -620
  174. package/lib/assets/docs/article/getting-start-docker-kubernetes/07-kubernetes-advanced.md +0 -621
  175. package/lib/assets/docs/article/getting-start-docker-kubernetes/08-kubernetes-packaging.md +0 -518
  176. package/lib/assets/docs/article/getting-start-docker-kubernetes/09-container-operations.md +0 -546
  177. package/lib/assets/docs/article/getting-start-docker-kubernetes/10-optimal-container-image.md +0 -640
  178. package/lib/assets/docs/article/getting-start-docker-kubernetes/11-continuous-delivery.md +0 -607
  179. package/lib/assets/docs/article/getting-start-docker-kubernetes/12-container-use-cases.md +0 -463
  180. package/lib/assets/docs/article/getting-start-docker-kubernetes/13-case-monolith-compose-vs-kustomize.md +0 -346
  181. package/lib/assets/docs/article/getting-start-docker-kubernetes/14-case-event-driven-kustomize-vs-helm.md +0 -324
  182. package/lib/assets/docs/article/getting-start-docker-kubernetes/15-case-escqrs-axon-kustomize-vs-helm.md +0 -297
  183. package/lib/assets/docs/article/getting-start-docker-kubernetes/16-case-escqrs-kafka-kustomize-vs-helm.md +0 -256
  184. package/lib/assets/docs/article/getting-start-docker-kubernetes/17-case-comparison-summary.md +0 -141
  185. package/lib/assets/docs/article/getting-start-docker-kubernetes/18-case-load-testing.md +0 -303
  186. package/lib/assets/docs/article/getting-start-docker-kubernetes/appendix-a-dev-tools-setup.md +0 -274
  187. package/lib/assets/docs/article/getting-start-docker-kubernetes/appendix-b-orchestration-environments.md +0 -530
  188. package/lib/assets/docs/article/getting-start-docker-kubernetes/appendix-c-tips.md +0 -519
  189. package/lib/assets/docs/article/getting-start-docker-kubernetes/images/chapter-01-comic.png +0 -0
  190. package/lib/assets/docs/article/getting-start-docker-kubernetes/images/chapter-02-comic.png +0 -0
  191. package/lib/assets/docs/article/getting-start-docker-kubernetes/images/chapter-03-comic.png +0 -0
  192. package/lib/assets/docs/article/getting-start-docker-kubernetes/images/chapter-04-comic.png +0 -0
  193. package/lib/assets/docs/article/getting-start-docker-kubernetes/images/chapter-05-comic.png +0 -0
  194. package/lib/assets/docs/article/getting-start-docker-kubernetes/images/chapter-06-comic.png +0 -0
  195. package/lib/assets/docs/article/getting-start-docker-kubernetes/images/chapter-07-comic.png +0 -0
  196. package/lib/assets/docs/article/getting-start-docker-kubernetes/images/chapter-08-comic.png +0 -0
  197. package/lib/assets/docs/article/getting-start-docker-kubernetes/images/chapter-09-comic.png +0 -0
  198. package/lib/assets/docs/article/getting-start-docker-kubernetes/images/chapter-10-comic.png +0 -0
  199. package/lib/assets/docs/article/getting-start-docker-kubernetes/images/chapter-11-comic.png +0 -0
  200. package/lib/assets/docs/article/getting-start-docker-kubernetes/images/chapter-12-comic.png +0 -0
  201. package/lib/assets/docs/article/getting-start-docker-kubernetes/images/overview-comic.png +0 -0
  202. package/lib/assets/docs/article/getting-start-docker-kubernetes/index.md +0 -82
  203. package/lib/assets/docs/article/getting-start-docker-kubernetes/outline.md +0 -220
  204. package/lib/assets/docs/article/getting-start-tdd/clojure/01-todo-list-and-first-test.md +0 -175
  205. package/lib/assets/docs/article/getting-start-tdd/clojure/02-fake-it-and-triangulation.md +0 -171
  206. package/lib/assets/docs/article/getting-start-tdd/clojure/03-obvious-implementation-and-refactoring.md +0 -144
  207. package/lib/assets/docs/article/getting-start-tdd/clojure/04-version-control-and-conventional-commits.md +0 -97
  208. package/lib/assets/docs/article/getting-start-tdd/clojure/05-package-management-and-static-analysis.md +0 -308
  209. package/lib/assets/docs/article/getting-start-tdd/clojure/06-task-runner-and-ci-cd.md +0 -250
  210. package/lib/assets/docs/article/getting-start-tdd/clojure/07-protocols-and-records.md +0 -140
  211. package/lib/assets/docs/article/getting-start-tdd/clojure/08-multimethods-and-design-patterns.md +0 -139
  212. package/lib/assets/docs/article/getting-start-tdd/clojure/09-namespaces-and-module-design.md +0 -136
  213. package/lib/assets/docs/article/getting-start-tdd/clojure/10-higher-order-functions-and-composition.md +0 -123
  214. package/lib/assets/docs/article/getting-start-tdd/clojure/11-persistent-data-and-pipeline.md +0 -147
  215. package/lib/assets/docs/article/getting-start-tdd/clojure/12-error-handling-and-spec.md +0 -170
  216. package/lib/assets/docs/article/getting-start-tdd/clojure/index.md +0 -65
  217. package/lib/assets/docs/article/getting-start-tdd/csharp/chapter01.md +0 -241
  218. package/lib/assets/docs/article/getting-start-tdd/csharp/chapter02.md +0 -253
  219. package/lib/assets/docs/article/getting-start-tdd/csharp/chapter03.md +0 -211
  220. package/lib/assets/docs/article/getting-start-tdd/csharp/chapter04.md +0 -101
  221. package/lib/assets/docs/article/getting-start-tdd/csharp/chapter05.md +0 -265
  222. package/lib/assets/docs/article/getting-start-tdd/csharp/chapter06.md +0 -204
  223. package/lib/assets/docs/article/getting-start-tdd/csharp/chapter07.md +0 -223
  224. package/lib/assets/docs/article/getting-start-tdd/csharp/chapter08.md +0 -258
  225. package/lib/assets/docs/article/getting-start-tdd/csharp/chapter09.md +0 -183
  226. package/lib/assets/docs/article/getting-start-tdd/csharp/chapter10.md +0 -175
  227. package/lib/assets/docs/article/getting-start-tdd/csharp/chapter11.md +0 -201
  228. package/lib/assets/docs/article/getting-start-tdd/csharp/chapter12.md +0 -220
  229. package/lib/assets/docs/article/getting-start-tdd/csharp/index.md +0 -83
  230. package/lib/assets/docs/article/getting-start-tdd/elixir/01-todo-list-and-first-test.md +0 -96
  231. package/lib/assets/docs/article/getting-start-tdd/elixir/02-fake-it-and-triangulation.md +0 -104
  232. package/lib/assets/docs/article/getting-start-tdd/elixir/03-obvious-implementation-and-refactoring.md +0 -118
  233. package/lib/assets/docs/article/getting-start-tdd/elixir/04-version-control-and-conventional-commits.md +0 -105
  234. package/lib/assets/docs/article/getting-start-tdd/elixir/05-package-management-and-static-analysis.md +0 -97
  235. package/lib/assets/docs/article/getting-start-tdd/elixir/06-task-runner-and-ci-cd.md +0 -80
  236. package/lib/assets/docs/article/getting-start-tdd/elixir/07-structs-and-protocols.md +0 -119
  237. package/lib/assets/docs/article/getting-start-tdd/elixir/08-pattern-matching-and-guards.md +0 -117
  238. package/lib/assets/docs/article/getting-start-tdd/elixir/09-module-design-and-behaviours.md +0 -113
  239. package/lib/assets/docs/article/getting-start-tdd/elixir/10-higher-order-functions-and-pipeline.md +0 -187
  240. package/lib/assets/docs/article/getting-start-tdd/elixir/11-stream-and-lazy-evaluation.md +0 -151
  241. package/lib/assets/docs/article/getting-start-tdd/elixir/12-error-handling-and-with.md +0 -154
  242. package/lib/assets/docs/article/getting-start-tdd/elixir/index.md +0 -35
  243. package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter01.md +0 -211
  244. package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter02.md +0 -255
  245. package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter03.md +0 -227
  246. package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter04.md +0 -188
  247. package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter05.md +0 -276
  248. package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter06.md +0 -199
  249. package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter07.md +0 -170
  250. package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter08.md +0 -184
  251. package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter09.md +0 -231
  252. package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter10.md +0 -198
  253. package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter11.md +0 -221
  254. package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter12.md +0 -224
  255. package/lib/assets/docs/article/getting-start-tdd/fsharp/index.md +0 -71
  256. package/lib/assets/docs/article/getting-start-tdd/go/01-todo-list-and-first-test.md +0 -222
  257. package/lib/assets/docs/article/getting-start-tdd/go/02-fake-it-and-triangulation.md +0 -311
  258. package/lib/assets/docs/article/getting-start-tdd/go/03-obvious-implementation-and-refactoring.md +0 -348
  259. package/lib/assets/docs/article/getting-start-tdd/go/04-version-control-and-conventional-commits.md +0 -121
  260. package/lib/assets/docs/article/getting-start-tdd/go/05-package-management-and-static-analysis.md +0 -281
  261. package/lib/assets/docs/article/getting-start-tdd/go/06-task-runner-and-ci-cd.md +0 -242
  262. package/lib/assets/docs/article/getting-start-tdd/go/07-encapsulation-and-polymorphism.md +0 -402
  263. package/lib/assets/docs/article/getting-start-tdd/go/08-design-patterns.md +0 -430
  264. package/lib/assets/docs/article/getting-start-tdd/go/09-solid-principles-and-module-design.md +0 -408
  265. package/lib/assets/docs/article/getting-start-tdd/go/10-higher-order-functions-and-composition.md +0 -234
  266. package/lib/assets/docs/article/getting-start-tdd/go/11-immutable-data-and-pipeline.md +0 -304
  267. package/lib/assets/docs/article/getting-start-tdd/go/12-error-handling-and-type-safety.md +0 -419
  268. package/lib/assets/docs/article/getting-start-tdd/go/index.md +0 -83
  269. package/lib/assets/docs/article/getting-start-tdd/haskell/01-todo-list-and-first-test.md +0 -288
  270. package/lib/assets/docs/article/getting-start-tdd/haskell/02-fake-it-and-triangulation.md +0 -346
  271. package/lib/assets/docs/article/getting-start-tdd/haskell/03-obvious-implementation-and-refactoring.md +0 -266
  272. package/lib/assets/docs/article/getting-start-tdd/haskell/04-version-control-and-conventional-commits.md +0 -191
  273. package/lib/assets/docs/article/getting-start-tdd/haskell/05-package-management-and-static-analysis.md +0 -322
  274. package/lib/assets/docs/article/getting-start-tdd/haskell/06-task-runner-and-ci-cd.md +0 -318
  275. package/lib/assets/docs/article/getting-start-tdd/haskell/07-algebraic-data-types-and-type-classes.md +0 -421
  276. package/lib/assets/docs/article/getting-start-tdd/haskell/08-pattern-matching-and-guards.md +0 -399
  277. package/lib/assets/docs/article/getting-start-tdd/haskell/09-module-design-and-smart-constructors.md +0 -470
  278. package/lib/assets/docs/article/getting-start-tdd/haskell/10-higher-order-functions-and-currying.md +0 -443
  279. package/lib/assets/docs/article/getting-start-tdd/haskell/11-function-composition-and-point-free.md +0 -401
  280. package/lib/assets/docs/article/getting-start-tdd/haskell/12-monad-and-error-handling.md +0 -640
  281. package/lib/assets/docs/article/getting-start-tdd/haskell/index.md +0 -49
  282. package/lib/assets/docs/article/getting-start-tdd/index.md +0 -93
  283. package/lib/assets/docs/article/getting-start-tdd/integration/01-language-overview.md +0 -384
  284. package/lib/assets/docs/article/getting-start-tdd/integration/02-test-framework-comparison.md +0 -358
  285. package/lib/assets/docs/article/getting-start-tdd/integration/03-tdd-pattern-comparison.md +0 -454
  286. package/lib/assets/docs/article/getting-start-tdd/integration/04-type-system-comparison.md +0 -418
  287. package/lib/assets/docs/article/getting-start-tdd/integration/05-dev-environment-comparison.md +0 -339
  288. package/lib/assets/docs/article/getting-start-tdd/integration/06-learning-roadmap.md +0 -299
  289. package/lib/assets/docs/article/getting-start-tdd/integration/index.md +0 -69
  290. package/lib/assets/docs/article/getting-start-tdd/java/01-todo-list-and-first-test.md +0 -243
  291. package/lib/assets/docs/article/getting-start-tdd/java/02-fake-it-and-triangulation.md +0 -270
  292. package/lib/assets/docs/article/getting-start-tdd/java/03-obvious-implementation-and-refactoring.md +0 -194
  293. package/lib/assets/docs/article/getting-start-tdd/java/04-version-control-and-conventional-commits.md +0 -124
  294. package/lib/assets/docs/article/getting-start-tdd/java/05-package-management-and-static-analysis.md +0 -391
  295. package/lib/assets/docs/article/getting-start-tdd/java/06-task-runner-and-ci-cd.md +0 -281
  296. package/lib/assets/docs/article/getting-start-tdd/java/07-encapsulation-and-polymorphism.md +0 -635
  297. package/lib/assets/docs/article/getting-start-tdd/java/08-design-patterns.md +0 -402
  298. package/lib/assets/docs/article/getting-start-tdd/java/09-solid-principles-and-module-design.md +0 -319
  299. package/lib/assets/docs/article/getting-start-tdd/java/10-higher-order-functions-and-composition.md +0 -197
  300. package/lib/assets/docs/article/getting-start-tdd/java/11-immutable-data-and-pipeline.md +0 -176
  301. package/lib/assets/docs/article/getting-start-tdd/java/12-error-handling-and-type-safety.md +0 -214
  302. package/lib/assets/docs/article/getting-start-tdd/java/index.md +0 -61
  303. package/lib/assets/docs/article/getting-start-tdd/node/01-todo-list-and-first-test.md +0 -253
  304. package/lib/assets/docs/article/getting-start-tdd/node/02-fake-it-and-triangulation.md +0 -271
  305. package/lib/assets/docs/article/getting-start-tdd/node/03-obvious-implementation-and-refactoring.md +0 -178
  306. package/lib/assets/docs/article/getting-start-tdd/node/04-version-control-and-conventional-commits.md +0 -121
  307. package/lib/assets/docs/article/getting-start-tdd/node/05-package-management-and-static-analysis.md +0 -323
  308. package/lib/assets/docs/article/getting-start-tdd/node/06-task-runner-and-ci-cd.md +0 -244
  309. package/lib/assets/docs/article/getting-start-tdd/node/07-encapsulation-and-polymorphism.md +0 -336
  310. package/lib/assets/docs/article/getting-start-tdd/node/08-design-patterns.md +0 -331
  311. package/lib/assets/docs/article/getting-start-tdd/node/09-solid-principles-and-module-design.md +0 -294
  312. package/lib/assets/docs/article/getting-start-tdd/node/10-higher-order-functions-and-composition.md +0 -208
  313. package/lib/assets/docs/article/getting-start-tdd/node/11-immutable-data-and-pipeline.md +0 -216
  314. package/lib/assets/docs/article/getting-start-tdd/node/12-error-handling-and-type-safety.md +0 -304
  315. package/lib/assets/docs/article/getting-start-tdd/node/index.md +0 -56
  316. package/lib/assets/docs/article/getting-start-tdd/php/01-todo-list-and-first-test.md +0 -268
  317. package/lib/assets/docs/article/getting-start-tdd/php/02-fake-it-and-triangulation.md +0 -209
  318. package/lib/assets/docs/article/getting-start-tdd/php/03-obvious-implementation-and-refactoring.md +0 -257
  319. package/lib/assets/docs/article/getting-start-tdd/php/04-version-control-and-conventional-commits.md +0 -150
  320. package/lib/assets/docs/article/getting-start-tdd/php/05-package-management-and-static-analysis.md +0 -419
  321. package/lib/assets/docs/article/getting-start-tdd/php/06-task-runner-and-ci-cd.md +0 -330
  322. package/lib/assets/docs/article/getting-start-tdd/php/07-encapsulation-and-polymorphism.md +0 -380
  323. package/lib/assets/docs/article/getting-start-tdd/php/08-design-patterns.md +0 -461
  324. package/lib/assets/docs/article/getting-start-tdd/php/09-solid-principles-and-module-design.md +0 -468
  325. package/lib/assets/docs/article/getting-start-tdd/php/10-higher-order-functions-and-composition.md +0 -190
  326. package/lib/assets/docs/article/getting-start-tdd/php/11-immutable-data-and-pipeline.md +0 -274
  327. package/lib/assets/docs/article/getting-start-tdd/php/12-error-handling-and-type-safety.md +0 -316
  328. package/lib/assets/docs/article/getting-start-tdd/php/index.md +0 -84
  329. package/lib/assets/docs/article/getting-start-tdd/python/01-todo-list-and-first-test.md +0 -210
  330. package/lib/assets/docs/article/getting-start-tdd/python/02-fake-it-and-triangulation.md +0 -256
  331. package/lib/assets/docs/article/getting-start-tdd/python/03-obvious-implementation-and-refactoring.md +0 -208
  332. package/lib/assets/docs/article/getting-start-tdd/python/04-version-control-and-conventional-commits.md +0 -96
  333. package/lib/assets/docs/article/getting-start-tdd/python/05-package-management-and-static-analysis.md +0 -283
  334. package/lib/assets/docs/article/getting-start-tdd/python/06-task-runner-and-ci-cd.md +0 -199
  335. package/lib/assets/docs/article/getting-start-tdd/python/07-encapsulation-and-polymorphism.md +0 -217
  336. package/lib/assets/docs/article/getting-start-tdd/python/08-design-patterns.md +0 -181
  337. package/lib/assets/docs/article/getting-start-tdd/python/09-solid-principles-and-module-design.md +0 -139
  338. package/lib/assets/docs/article/getting-start-tdd/python/10-higher-order-functions-and-composition.md +0 -131
  339. package/lib/assets/docs/article/getting-start-tdd/python/11-immutable-data-and-pipeline.md +0 -125
  340. package/lib/assets/docs/article/getting-start-tdd/python/12-error-handling-and-type-safety.md +0 -135
  341. package/lib/assets/docs/article/getting-start-tdd/python/index.md +0 -55
  342. package/lib/assets/docs/article/getting-start-tdd/ruby/01-todo-list-and-first-test.md +0 -240
  343. package/lib/assets/docs/article/getting-start-tdd/ruby/02-fake-it-and-triangulation.md +0 -247
  344. package/lib/assets/docs/article/getting-start-tdd/ruby/03-obvious-implementation-and-refactoring.md +0 -237
  345. package/lib/assets/docs/article/getting-start-tdd/ruby/04-version-control-and-conventional-commits.md +0 -121
  346. package/lib/assets/docs/article/getting-start-tdd/ruby/05-package-management-and-static-analysis.md +0 -296
  347. package/lib/assets/docs/article/getting-start-tdd/ruby/06-task-runner-and-ci-cd.md +0 -257
  348. package/lib/assets/docs/article/getting-start-tdd/ruby/07-encapsulation-and-polymorphism.md +0 -288
  349. package/lib/assets/docs/article/getting-start-tdd/ruby/08-design-patterns.md +0 -338
  350. package/lib/assets/docs/article/getting-start-tdd/ruby/09-solid-principles-and-module-design.md +0 -205
  351. package/lib/assets/docs/article/getting-start-tdd/ruby/10-higher-order-functions-and-composition.md +0 -184
  352. package/lib/assets/docs/article/getting-start-tdd/ruby/11-immutable-data-and-pipeline.md +0 -246
  353. package/lib/assets/docs/article/getting-start-tdd/ruby/12-error-handling-and-type-safety.md +0 -407
  354. package/lib/assets/docs/article/getting-start-tdd/ruby/index.md +0 -83
  355. package/lib/assets/docs/article/getting-start-tdd/rust/01-todo-list-and-first-test.md +0 -220
  356. package/lib/assets/docs/article/getting-start-tdd/rust/02-fake-it-and-triangulation.md +0 -273
  357. package/lib/assets/docs/article/getting-start-tdd/rust/03-obvious-implementation-and-refactoring.md +0 -242
  358. package/lib/assets/docs/article/getting-start-tdd/rust/04-version-control-and-conventional-commits.md +0 -101
  359. package/lib/assets/docs/article/getting-start-tdd/rust/05-package-management-and-static-analysis.md +0 -221
  360. package/lib/assets/docs/article/getting-start-tdd/rust/06-task-runner-and-ci-cd.md +0 -173
  361. package/lib/assets/docs/article/getting-start-tdd/rust/07-encapsulation-and-polymorphism.md +0 -151
  362. package/lib/assets/docs/article/getting-start-tdd/rust/08-design-patterns.md +0 -154
  363. package/lib/assets/docs/article/getting-start-tdd/rust/09-solid-principles-and-module-design.md +0 -119
  364. package/lib/assets/docs/article/getting-start-tdd/rust/10-higher-order-functions-and-composition.md +0 -103
  365. package/lib/assets/docs/article/getting-start-tdd/rust/11-immutable-data-and-pipeline.md +0 -114
  366. package/lib/assets/docs/article/getting-start-tdd/rust/12-error-handling-and-type-safety.md +0 -121
  367. package/lib/assets/docs/article/getting-start-tdd/rust/index.md +0 -83
  368. package/lib/assets/docs/article/getting-start-tdd/scala/01-todo-list-and-first-test.md +0 -120
  369. package/lib/assets/docs/article/getting-start-tdd/scala/02-fake-it-and-triangulation.md +0 -116
  370. package/lib/assets/docs/article/getting-start-tdd/scala/03-obvious-implementation-and-refactoring.md +0 -108
  371. package/lib/assets/docs/article/getting-start-tdd/scala/04-version-control-and-conventional-commits.md +0 -132
  372. package/lib/assets/docs/article/getting-start-tdd/scala/05-package-management-and-static-analysis.md +0 -205
  373. package/lib/assets/docs/article/getting-start-tdd/scala/06-task-runner-and-ci-cd.md +0 -195
  374. package/lib/assets/docs/article/getting-start-tdd/scala/07-case-classes-and-traits.md +0 -148
  375. package/lib/assets/docs/article/getting-start-tdd/scala/08-pattern-matching-and-sealed-traits.md +0 -115
  376. package/lib/assets/docs/article/getting-start-tdd/scala/09-packages-and-module-design.md +0 -84
  377. package/lib/assets/docs/article/getting-start-tdd/scala/10-higher-order-functions-and-composition.md +0 -113
  378. package/lib/assets/docs/article/getting-start-tdd/scala/11-collections-and-lazy-evaluation.md +0 -103
  379. package/lib/assets/docs/article/getting-start-tdd/scala/12-error-handling-and-type-safety.md +0 -101
  380. package/lib/assets/docs/article/getting-start-tdd/scala/index.md +0 -65
  381. package/lib/assets/docs/article/grokking-concurrency/all/index.md +0 -403
  382. package/lib/assets/docs/article/grokking-concurrency/all/part-1-ch02-sequential.md +0 -563
  383. package/lib/assets/docs/article/grokking-concurrency/all/part-2-ch04-05-threads.md +0 -478
  384. package/lib/assets/docs/article/grokking-concurrency/all/part-3-ch06-multitasking.md +0 -529
  385. package/lib/assets/docs/article/grokking-concurrency/all/part-4-ch07-parallel-patterns.md +0 -429
  386. package/lib/assets/docs/article/grokking-concurrency/all/part-5-ch08-09-synchronization.md +0 -519
  387. package/lib/assets/docs/article/grokking-concurrency/all/part-6-ch10-11-nonblocking-io.md +0 -444
  388. package/lib/assets/docs/article/grokking-concurrency/all/part-7-ch12-async.md +0 -474
  389. package/lib/assets/docs/article/grokking-concurrency/all/part-8-ch13-mapreduce.md +0 -386
  390. package/lib/assets/docs/article/grokking-concurrency/clojure/index.md +0 -106
  391. package/lib/assets/docs/article/grokking-concurrency/clojure/part-1.md +0 -107
  392. package/lib/assets/docs/article/grokking-concurrency/clojure/part-2.md +0 -100
  393. package/lib/assets/docs/article/grokking-concurrency/clojure/part-3.md +0 -121
  394. package/lib/assets/docs/article/grokking-concurrency/clojure/part-4.md +0 -122
  395. package/lib/assets/docs/article/grokking-concurrency/clojure/part-5.md +0 -117
  396. package/lib/assets/docs/article/grokking-concurrency/clojure/part-6.md +0 -88
  397. package/lib/assets/docs/article/grokking-concurrency/clojure/part-7.md +0 -99
  398. package/lib/assets/docs/article/grokking-concurrency/clojure/part-8.md +0 -119
  399. package/lib/assets/docs/article/grokking-concurrency/csharp/index.md +0 -91
  400. package/lib/assets/docs/article/grokking-concurrency/csharp/part-1.md +0 -96
  401. package/lib/assets/docs/article/grokking-concurrency/csharp/part-2.md +0 -122
  402. package/lib/assets/docs/article/grokking-concurrency/csharp/part-3.md +0 -100
  403. package/lib/assets/docs/article/grokking-concurrency/csharp/part-4.md +0 -111
  404. package/lib/assets/docs/article/grokking-concurrency/csharp/part-5.md +0 -98
  405. package/lib/assets/docs/article/grokking-concurrency/csharp/part-6.md +0 -60
  406. package/lib/assets/docs/article/grokking-concurrency/csharp/part-7.md +0 -83
  407. package/lib/assets/docs/article/grokking-concurrency/csharp/part-8.md +0 -91
  408. package/lib/assets/docs/article/grokking-concurrency/fsharp/index.md +0 -55
  409. package/lib/assets/docs/article/grokking-concurrency/fsharp/part-1.md +0 -79
  410. package/lib/assets/docs/article/grokking-concurrency/fsharp/part-2.md +0 -102
  411. package/lib/assets/docs/article/grokking-concurrency/fsharp/part-3.md +0 -93
  412. package/lib/assets/docs/article/grokking-concurrency/fsharp/part-4.md +0 -109
  413. package/lib/assets/docs/article/grokking-concurrency/fsharp/part-5.md +0 -103
  414. package/lib/assets/docs/article/grokking-concurrency/fsharp/part-6.md +0 -92
  415. package/lib/assets/docs/article/grokking-concurrency/fsharp/part-7.md +0 -120
  416. package/lib/assets/docs/article/grokking-concurrency/fsharp/part-8.md +0 -106
  417. package/lib/assets/docs/article/grokking-concurrency/haskell/index.md +0 -238
  418. package/lib/assets/docs/article/grokking-concurrency/haskell/part-1.md +0 -95
  419. package/lib/assets/docs/article/grokking-concurrency/haskell/part-2.md +0 -95
  420. package/lib/assets/docs/article/grokking-concurrency/haskell/part-3.md +0 -90
  421. package/lib/assets/docs/article/grokking-concurrency/haskell/part-4.md +0 -105
  422. package/lib/assets/docs/article/grokking-concurrency/haskell/part-5.md +0 -98
  423. package/lib/assets/docs/article/grokking-concurrency/haskell/part-6.md +0 -94
  424. package/lib/assets/docs/article/grokking-concurrency/haskell/part-7.md +0 -110
  425. package/lib/assets/docs/article/grokking-concurrency/haskell/part-8.md +0 -117
  426. package/lib/assets/docs/article/grokking-concurrency/index.md +0 -66
  427. package/lib/assets/docs/article/grokking-concurrency/java/index.md +0 -92
  428. package/lib/assets/docs/article/grokking-concurrency/java/part-1.md +0 -307
  429. package/lib/assets/docs/article/grokking-concurrency/java/part-2.md +0 -333
  430. package/lib/assets/docs/article/grokking-concurrency/java/part-3.md +0 -220
  431. package/lib/assets/docs/article/grokking-concurrency/java/part-4.md +0 -212
  432. package/lib/assets/docs/article/grokking-concurrency/java/part-5.md +0 -111
  433. package/lib/assets/docs/article/grokking-concurrency/java/part-6.md +0 -68
  434. package/lib/assets/docs/article/grokking-concurrency/java/part-7.md +0 -100
  435. package/lib/assets/docs/article/grokking-concurrency/java/part-8.md +0 -100
  436. package/lib/assets/docs/article/grokking-concurrency/python/index.md +0 -303
  437. package/lib/assets/docs/article/grokking-concurrency/python/part-1.md +0 -238
  438. package/lib/assets/docs/article/grokking-concurrency/python/part-2.md +0 -417
  439. package/lib/assets/docs/article/grokking-concurrency/python/part-3.md +0 -226
  440. package/lib/assets/docs/article/grokking-concurrency/python/part-4.md +0 -298
  441. package/lib/assets/docs/article/grokking-concurrency/python/part-5.md +0 -314
  442. package/lib/assets/docs/article/grokking-concurrency/python/part-6.md +0 -296
  443. package/lib/assets/docs/article/grokking-concurrency/python/part-7.md +0 -313
  444. package/lib/assets/docs/article/grokking-concurrency/python/part-8.md +0 -359
  445. package/lib/assets/docs/article/grokking-concurrency/rust/index.md +0 -260
  446. package/lib/assets/docs/article/grokking-concurrency/rust/part-1.md +0 -107
  447. package/lib/assets/docs/article/grokking-concurrency/rust/part-2.md +0 -119
  448. package/lib/assets/docs/article/grokking-concurrency/rust/part-3.md +0 -125
  449. package/lib/assets/docs/article/grokking-concurrency/rust/part-4.md +0 -174
  450. package/lib/assets/docs/article/grokking-concurrency/rust/part-5.md +0 -157
  451. package/lib/assets/docs/article/grokking-concurrency/rust/part-6.md +0 -93
  452. package/lib/assets/docs/article/grokking-concurrency/rust/part-7.md +0 -132
  453. package/lib/assets/docs/article/grokking-concurrency/rust/part-8.md +0 -154
  454. package/lib/assets/docs/article/grokking-concurrency/scala/index.md +0 -59
  455. package/lib/assets/docs/article/grokking-concurrency/scala/part-1.md +0 -77
  456. package/lib/assets/docs/article/grokking-concurrency/scala/part-2.md +0 -111
  457. package/lib/assets/docs/article/grokking-concurrency/scala/part-3.md +0 -92
  458. package/lib/assets/docs/article/grokking-concurrency/scala/part-4.md +0 -109
  459. package/lib/assets/docs/article/grokking-concurrency/scala/part-5.md +0 -118
  460. package/lib/assets/docs/article/grokking-concurrency/scala/part-6.md +0 -82
  461. package/lib/assets/docs/article/grokking-concurrency/scala/part-7.md +0 -130
  462. package/lib/assets/docs/article/grokking-concurrency/scala/part-8.md +0 -128
  463. package/lib/assets/docs/article/grokkingfp/all/index.md +0 -368
  464. package/lib/assets/docs/article/grokkingfp/all/part-1-ch01-fp-introduction.md +0 -539
  465. package/lib/assets/docs/article/grokkingfp/all/part-1-ch02-pure-functions.md +0 -932
  466. package/lib/assets/docs/article/grokkingfp/all/part-2-ch03-immutable-data.md +0 -1137
  467. package/lib/assets/docs/article/grokkingfp/all/part-2-ch04-higher-order-functions.md +0 -1113
  468. package/lib/assets/docs/article/grokkingfp/all/part-2-ch05-flatmap.md +0 -1035
  469. package/lib/assets/docs/article/grokkingfp/all/part-3-ch06-option.md +0 -794
  470. package/lib/assets/docs/article/grokkingfp/all/part-3-ch07-either-adt.md +0 -880
  471. package/lib/assets/docs/article/grokkingfp/all/part-4-ch08-io-monad.md +0 -981
  472. package/lib/assets/docs/article/grokkingfp/all/part-4-ch09-streams.md +0 -935
  473. package/lib/assets/docs/article/grokkingfp/all/part-5-ch10-concurrency.md +0 -879
  474. package/lib/assets/docs/article/grokkingfp/all/part-6-ch11-application.md +0 -724
  475. package/lib/assets/docs/article/grokkingfp/all/part-6-ch12-testing.md +0 -635
  476. package/lib/assets/docs/article/grokkingfp/all/writing-plan.md +0 -721
  477. package/lib/assets/docs/article/grokkingfp/clojure/index.md +0 -276
  478. package/lib/assets/docs/article/grokkingfp/clojure/part-1.md +0 -676
  479. package/lib/assets/docs/article/grokkingfp/clojure/part-2.md +0 -652
  480. package/lib/assets/docs/article/grokkingfp/clojure/part-3.md +0 -629
  481. package/lib/assets/docs/article/grokkingfp/clojure/part-4.md +0 -706
  482. package/lib/assets/docs/article/grokkingfp/clojure/part-5.md +0 -760
  483. package/lib/assets/docs/article/grokkingfp/clojure/part-6.md +0 -730
  484. package/lib/assets/docs/article/grokkingfp/csharp/index.md +0 -246
  485. package/lib/assets/docs/article/grokkingfp/csharp/part-1.md +0 -820
  486. package/lib/assets/docs/article/grokkingfp/csharp/part-2.md +0 -980
  487. package/lib/assets/docs/article/grokkingfp/csharp/part-3.md +0 -990
  488. package/lib/assets/docs/article/grokkingfp/csharp/part-4.md +0 -958
  489. package/lib/assets/docs/article/grokkingfp/csharp/part-5.md +0 -956
  490. package/lib/assets/docs/article/grokkingfp/csharp/part-6.md +0 -748
  491. package/lib/assets/docs/article/grokkingfp/elixir/index.md +0 -203
  492. package/lib/assets/docs/article/grokkingfp/elixir/part-1.md +0 -721
  493. package/lib/assets/docs/article/grokkingfp/elixir/part-2.md +0 -847
  494. package/lib/assets/docs/article/grokkingfp/elixir/part-3.md +0 -994
  495. package/lib/assets/docs/article/grokkingfp/elixir/part-4.md +0 -983
  496. package/lib/assets/docs/article/grokkingfp/elixir/part-5.md +0 -1295
  497. package/lib/assets/docs/article/grokkingfp/elixir/part-6.md +0 -1058
  498. package/lib/assets/docs/article/grokkingfp/fsharp/index.md +0 -210
  499. package/lib/assets/docs/article/grokkingfp/fsharp/part-1.md +0 -723
  500. package/lib/assets/docs/article/grokkingfp/fsharp/part-2.md +0 -970
  501. package/lib/assets/docs/article/grokkingfp/fsharp/part-3.md +0 -981
  502. package/lib/assets/docs/article/grokkingfp/fsharp/part-4.md +0 -841
  503. package/lib/assets/docs/article/grokkingfp/fsharp/part-5.md +0 -920
  504. package/lib/assets/docs/article/grokkingfp/fsharp/part-6.md +0 -931
  505. package/lib/assets/docs/article/grokkingfp/haskell/index.md +0 -234
  506. package/lib/assets/docs/article/grokkingfp/haskell/part-1.md +0 -600
  507. package/lib/assets/docs/article/grokkingfp/haskell/part-2.md +0 -875
  508. package/lib/assets/docs/article/grokkingfp/haskell/part-3.md +0 -924
  509. package/lib/assets/docs/article/grokkingfp/haskell/part-4.md +0 -887
  510. package/lib/assets/docs/article/grokkingfp/haskell/part-5.md +0 -854
  511. package/lib/assets/docs/article/grokkingfp/haskell/part-6.md +0 -853
  512. package/lib/assets/docs/article/grokkingfp/index.md +0 -143
  513. package/lib/assets/docs/article/grokkingfp/java/index.md +0 -211
  514. package/lib/assets/docs/article/grokkingfp/java/part-1.md +0 -657
  515. package/lib/assets/docs/article/grokkingfp/java/part-2.md +0 -684
  516. package/lib/assets/docs/article/grokkingfp/java/part-3.md +0 -681
  517. package/lib/assets/docs/article/grokkingfp/java/part-4.md +0 -780
  518. package/lib/assets/docs/article/grokkingfp/java/part-5.md +0 -968
  519. package/lib/assets/docs/article/grokkingfp/java/part-6.md +0 -1337
  520. package/lib/assets/docs/article/grokkingfp/python/index.md +0 -258
  521. package/lib/assets/docs/article/grokkingfp/python/part-1.md +0 -452
  522. package/lib/assets/docs/article/grokkingfp/python/part-2.md +0 -967
  523. package/lib/assets/docs/article/grokkingfp/python/part-3.md +0 -1013
  524. package/lib/assets/docs/article/grokkingfp/python/part-4.md +0 -774
  525. package/lib/assets/docs/article/grokkingfp/python/part-5.md +0 -756
  526. package/lib/assets/docs/article/grokkingfp/python/part-6.md +0 -870
  527. package/lib/assets/docs/article/grokkingfp/ruby/index.md +0 -330
  528. package/lib/assets/docs/article/grokkingfp/ruby/part-1.md +0 -764
  529. package/lib/assets/docs/article/grokkingfp/ruby/part-2.md +0 -947
  530. package/lib/assets/docs/article/grokkingfp/ruby/part-3.md +0 -955
  531. package/lib/assets/docs/article/grokkingfp/ruby/part-4.md +0 -930
  532. package/lib/assets/docs/article/grokkingfp/ruby/part-5.md +0 -917
  533. package/lib/assets/docs/article/grokkingfp/ruby/part-6.md +0 -1421
  534. package/lib/assets/docs/article/grokkingfp/rust/index.md +0 -242
  535. package/lib/assets/docs/article/grokkingfp/rust/part-1.md +0 -643
  536. package/lib/assets/docs/article/grokkingfp/rust/part-2.md +0 -1069
  537. package/lib/assets/docs/article/grokkingfp/rust/part-3.md +0 -1003
  538. package/lib/assets/docs/article/grokkingfp/rust/part-4.md +0 -582
  539. package/lib/assets/docs/article/grokkingfp/rust/part-5.md +0 -714
  540. package/lib/assets/docs/article/grokkingfp/rust/part-6.md +0 -517
  541. package/lib/assets/docs/article/grokkingfp/scala/index.md +0 -171
  542. package/lib/assets/docs/article/grokkingfp/scala/part-1.md +0 -552
  543. package/lib/assets/docs/article/grokkingfp/scala/part-2.md +0 -955
  544. package/lib/assets/docs/article/grokkingfp/scala/part-3.md +0 -928
  545. package/lib/assets/docs/article/grokkingfp/scala/part-4.md +0 -751
  546. package/lib/assets/docs/article/grokkingfp/scala/part-5.md +0 -731
  547. package/lib/assets/docs/article/grokkingfp/scala/part-6.md +0 -876
  548. package/lib/assets/docs/article/grokkingfp/typescript/index.md +0 -273
  549. package/lib/assets/docs/article/grokkingfp/typescript/part-1.md +0 -570
  550. package/lib/assets/docs/article/grokkingfp/typescript/part-2.md +0 -1138
  551. package/lib/assets/docs/article/grokkingfp/typescript/part-3.md +0 -851
  552. package/lib/assets/docs/article/grokkingfp/typescript/part-4.md +0 -1096
  553. package/lib/assets/docs/article/grokkingfp/typescript/part-5.md +0 -726
  554. package/lib/assets/docs/article/grokkingfp/typescript/part-6.md +0 -991
  555. package/lib/assets/docs/article/practical-database-design/index.md +0 -121
  556. package/lib/assets/docs/article/practical-database-design/part1/chapter01.md +0 -297
  557. package/lib/assets/docs/article/practical-database-design/part1/chapter02.md +0 -527
  558. package/lib/assets/docs/article/practical-database-design/part1/chapter03.md +0 -566
  559. package/lib/assets/docs/article/practical-database-design/part2/chapter04.md +0 -933
  560. package/lib/assets/docs/article/practical-database-design/part2/chapter05.md +0 -1636
  561. package/lib/assets/docs/article/practical-database-design/part2/chapter06.md +0 -2725
  562. package/lib/assets/docs/article/practical-database-design/part2/chapter07.md +0 -2091
  563. package/lib/assets/docs/article/practical-database-design/part2/chapter08.md +0 -2114
  564. package/lib/assets/docs/article/practical-database-design/part2/chapter09.md +0 -2040
  565. package/lib/assets/docs/article/practical-database-design/part2/chapter10.md +0 -1396
  566. package/lib/assets/docs/article/practical-database-design/part2/chapter11.md +0 -1686
  567. package/lib/assets/docs/article/practical-database-design/part2/chapter12.md +0 -1426
  568. package/lib/assets/docs/article/practical-database-design/part2/chapter13.md +0 -1443
  569. package/lib/assets/docs/article/practical-database-design/part3/chapter14.md +0 -676
  570. package/lib/assets/docs/article/practical-database-design/part3/chapter15.md +0 -1634
  571. package/lib/assets/docs/article/practical-database-design/part3/chapter16.md +0 -1924
  572. package/lib/assets/docs/article/practical-database-design/part3/chapter17.md +0 -1717
  573. package/lib/assets/docs/article/practical-database-design/part3/chapter18.md +0 -2104
  574. package/lib/assets/docs/article/practical-database-design/part3/chapter19.md +0 -1132
  575. package/lib/assets/docs/article/practical-database-design/part3/chapter20.md +0 -1040
  576. package/lib/assets/docs/article/practical-database-design/part3/chapter21.md +0 -1391
  577. package/lib/assets/docs/article/practical-database-design/part3-orm/chapter14-orm.md +0 -1000
  578. package/lib/assets/docs/article/practical-database-design/part3-orm/chapter15-orm.md +0 -1309
  579. package/lib/assets/docs/article/practical-database-design/part3-orm/chapter16-orm.md +0 -1175
  580. package/lib/assets/docs/article/practical-database-design/part3-orm/chapter17-orm.md +0 -1593
  581. package/lib/assets/docs/article/practical-database-design/part3-orm/chapter18-orm.md +0 -1192
  582. package/lib/assets/docs/article/practical-database-design/part3-orm/chapter19-orm.md +0 -1025
  583. package/lib/assets/docs/article/practical-database-design/part3-orm/chapter20-orm.md +0 -1762
  584. package/lib/assets/docs/article/practical-database-design/part3-orm/chapter21-orm.md +0 -1456
  585. package/lib/assets/docs/article/practical-database-design/part3-orm/chapter22-orm.md +0 -1887
  586. package/lib/assets/docs/article/practical-database-design/part4/chapter22.md +0 -974
  587. package/lib/assets/docs/article/practical-database-design/part4/chapter23.md +0 -2078
  588. package/lib/assets/docs/article/practical-database-design/part4/chapter24.md +0 -2448
  589. package/lib/assets/docs/article/practical-database-design/part4/chapter25.md +0 -3670
  590. package/lib/assets/docs/article/practical-database-design/part4/chapter26.md +0 -2925
  591. package/lib/assets/docs/article/practical-database-design/part4/chapter27.md +0 -3114
  592. package/lib/assets/docs/article/practical-database-design/part4/chapter28.md +0 -2706
  593. package/lib/assets/docs/article/practical-database-design/part4/chapter29.md +0 -2552
  594. package/lib/assets/docs/article/practical-database-design/part4/chapter30.md +0 -2188
  595. package/lib/assets/docs/article/practical-database-design/part4/chapter31.md +0 -1200
  596. package/lib/assets/docs/article/practical-database-design/part4/chapter32.md +0 -2109
  597. package/lib/assets/docs/article/practical-database-design/part5/chapter33.md +0 -1041
  598. package/lib/assets/docs/article/practical-database-design/part5/chapter34.md +0 -1618
  599. package/lib/assets/docs/article/practical-database-design/part5/chapter35.md +0 -1462
  600. package/lib/assets/docs/article/practical-database-design/part5/chapter36.md +0 -1301
  601. package/lib/assets/docs/article/practical-database-design/part5/chapter37.md +0 -1479
  602. package/lib/assets/docs/article/practical-database-design/part5/chapter38.md +0 -1707
  603. package/lib/assets/docs/article/practical-database-design/part5/chapter39.md +0 -2343
  604. package/lib/assets/docs/article/practical-database-design/study/study2-1.md +0 -1702
  605. package/lib/assets/docs/article/practical-database-design/study/study2-2.md +0 -1356
  606. package/lib/assets/docs/article/practical-database-design/study/study2-3.md +0 -2053
  607. package/lib/assets/docs/article/practical-database-design/study/study2-4.md +0 -2238
  608. package/lib/assets/docs/article/practical-database-design/study/study2-5.md +0 -2427
  609. package/lib/assets/docs/article/practical-database-design/study/study3-1.md +0 -2214
  610. package/lib/assets/docs/article/practical-database-design/study/study3-2.md +0 -2230
  611. package/lib/assets/docs/article/practical-database-design/study/study3-3.md +0 -2262
  612. package/lib/assets/docs/article/practical-database-design/study/study3-4.md +0 -2115
  613. package/lib/assets/docs/article/practical-database-design/study/study3-5.md +0 -2516
  614. package/lib/assets/docs/article/practical-database-design/study/study4-1.md +0 -2596
  615. package/lib/assets/docs/article/practical-database-design/study/study4-2.md +0 -2084
  616. package/lib/assets/docs/article/practical-database-design/study/study4-3.md +0 -1814
  617. package/lib/assets/docs/article/practical-database-design/study/study4-4.md +0 -1904
  618. package/lib/assets/docs/article/practical-database-design/study/study4-5.md +0 -2887
@@ -1,1096 +0,0 @@
1
- ---
2
- type: Article
3
- title: "Part IV: IO と副作用の管理"
4
- description: "本章では、関数型プログラミングにおける副作用の扱い方を学びます。"
5
- tags: [article, grokkingfp, typescript]
6
- status: stable
7
- generated: { by: human:kakimomokuri, at: 2026-03-27T04:43:33Z }
8
- ---
9
-
10
- # Part IV: IO と副作用の管理
11
-
12
- 本章では、関数型プログラミングにおける副作用の扱い方を学びます。IO モナドを使って副作用を純粋関数内で安全に記述し、ストリーム処理で無限のデータを扱う方法を習得します。
13
-
14
- ---
15
-
16
- ## 第8章: IO モナドの導入
17
-
18
- ### 8.1 副作用の問題
19
-
20
- 純粋関数は副作用を持ちません。しかし、実際のプログラムには副作用が必要です:
21
-
22
- - ファイルの読み書き
23
- - ネットワーク通信
24
- - データベースアクセス
25
- - 乱数生成
26
- - 現在時刻の取得
27
-
28
- ```plantuml
29
- @startuml
30
- !theme plain
31
-
32
- rectangle "副作用の問題" {
33
- rectangle "副作用を持つ関数" as impure {
34
- card "テストが困難"
35
- card "予測不可能"
36
- card "参照透過性がない"
37
- }
38
-
39
- rectangle "純粋関数" as pure {
40
- card "テストが容易"
41
- card "予測可能"
42
- card "参照透過性がある"
43
- }
44
- }
45
-
46
- note bottom
47
- どうすれば副作用を
48
- 純粋関数のように扱えるか?
49
- end note
50
-
51
- @enduml
52
- ```
53
-
54
- ### 8.2 IO モナドとは
55
-
56
- **IO モナド**は「副作用を持つ計算の**記述**」を表す型です。
57
-
58
- fp-ts では:
59
-
60
-
61
- - `IO<A>` は「実行すると `A` 型の値を返す同期的な副作用のある計算」
62
- - `Task<A>` は「実行すると `Promise<A>` を返す非同期的な副作用のある計算」
63
- - IO/Task 値を作成しただけでは副作用は発生しない
64
- - `()` で実行すると副作用が発生する
65
-
66
- ```plantuml
67
- @startuml
68
- !theme plain
69
-
70
- rectangle "IO の仕組み" {
71
- card "IO.of(value) / () => value" as create
72
- card "IO<A> 値" as io
73
- card "io()" as run
74
- card "副作用が実行される" as effect
75
-
76
- create --> io : 記述を作成
77
- io --> run : 実行を指示
78
- run --> effect : 実際に実行
79
- }
80
-
81
- note bottom of io
82
- この時点では
83
- 副作用は発生しない
84
- end note
85
-
86
- @enduml
87
- ```
88
-
89
- ### 8.3 IO の基本
90
-
91
- **ソースファイル**: `app/typescript/src/ch08_io.ts`
92
-
93
- ```typescript
94
- import * as IO from 'fp-ts/IO'
95
-
96
- // 純粋な値を IO にラップする
97
- const pureIO = <A>(a: A): IO.IO<A> => IO.of(a)
98
-
99
- const io = pureIO(42)
100
- io() // => 42
101
-
102
- // 副作用のある計算を IO にラップする
103
- const delayIO = <A>(thunk: () => A): IO.IO<A> => thunk
104
-
105
- const log = delayIO(() => console.log("Hello"))
106
- // この時点では何も出力されない
107
- log() // => "Hello" が出力される
108
- ```
109
-
110
- #### 現在時刻と乱数
111
-
112
- ```typescript
113
- // 現在時刻を取得する IO
114
- const getCurrentTime: IO.IO<number> = () => Date.now()
115
-
116
- // 乱数を生成する IO
117
- const getRandomNumber: IO.IO<number> = () => Math.random()
118
- ```
119
-
120
- ### 8.4 サイコロを振る例
121
-
122
- ```plantuml
123
- @startuml
124
- !theme plain
125
-
126
- rectangle "不純な関数 vs IO" {
127
- rectangle "不純な関数" as impure {
128
- card "castTheDieImpure()"
129
- card "呼び出すたびに異なる値"
130
- card "テストが困難"
131
- }
132
-
133
- rectangle "IO を使った純粋な記述" as pure_io {
134
- card "castTheDie: IO<number>"
135
- card "実行まで値は確定しない"
136
- card "記述と実行が分離"
137
- }
138
- }
139
-
140
- impure --> pure_io : IO でラップ
141
-
142
- @enduml
143
- ```
144
-
145
- ```typescript
146
- // 不純な関数(副作用あり)- 直接乱数を返す
147
- const castTheDieImpure = (): number => Math.floor(Math.random() * 6) + 1
148
-
149
- castTheDieImpure() // 3
150
- castTheDieImpure() // 5
151
- castTheDieImpure() // 1
152
-
153
- // IO を使った純粋な記述
154
- const castTheDie: IO.IO<number> = () => castTheDieImpure()
155
-
156
- // まだ実行されていない
157
- const dieCast = castTheDie
158
- console.log(dieCast) // [Function]
159
-
160
- // 実行
161
- dieCast() // 4
162
- ```
163
-
164
- ### 8.5 IO の合成
165
-
166
- IO 値は `map` と `chain`(flatMap)で合成できます。
167
-
168
- ```typescript
169
- import { pipe } from 'fp-ts/function'
170
- import * as IO from 'fp-ts/IO'
171
-
172
- // サイコロを2回振って合計を返す
173
- const castTheDieTwice: IO.IO<number> = pipe(
174
- castTheDie,
175
- IO.chain((first) =>
176
- pipe(
177
- castTheDie,
178
- IO.map((second) => first + second)
179
- )
180
- )
181
- )
182
-
183
- // まだ実行されていない
184
- const program = castTheDieTwice
185
-
186
- // 実行
187
- const result = program() // 2-12 のランダムな値
188
- ```
189
-
190
- ```plantuml
191
- @startuml
192
- !theme plain
193
-
194
- rectangle "IO の合成" {
195
- card "castTheDie" as cast1
196
- card "castTheDie" as cast2
197
- card "first + second" as combine
198
-
199
- cast1 --> combine : chain
200
- cast2 --> combine : map
201
- }
202
-
203
- note bottom
204
- pipe と chain/map で
205
- 順序付けて合成
206
- end note
207
-
208
- @enduml
209
- ```
210
-
211
- #### サイコロを n 回振る
212
-
213
- ```typescript
214
- import * as RA from 'fp-ts/ReadonlyArray'
215
-
216
- const castTheDieNTimes = (n: number): IO.IO<number> => {
217
- if (n <= 0) return IO.of(0)
218
- const casts = RA.replicate(n, castTheDie)
219
- return pipe(
220
- casts,
221
- IO.sequenceArray,
222
- IO.map(RA.reduce(0, (acc, val) => acc + val))
223
- )
224
- }
225
-
226
- const threeRolls = castTheDieNTimes(3)
227
- threeRolls() // 3-18 のランダムな値
228
- ```
229
-
230
- ### 8.6 Task(非同期 IO)
231
-
232
- `Task<A>` は非同期版の IO です。実行すると `Promise<A>` を返します。
233
-
234
- ```typescript
235
- import * as T from 'fp-ts/Task'
236
-
237
- // 純粋な値を Task にラップする
238
- const pureTask = <A>(a: A): T.Task<A> => T.of(a)
239
-
240
- const task = pureTask(42)
241
- await task() // => 42
242
-
243
- // 指定ミリ秒後に値を返す Task
244
- const delayedTask = <A>(ms: number, value: A): T.Task<A> =>
245
- () => new Promise((resolve) => setTimeout(() => resolve(value), ms))
246
-
247
- const delayed = delayedTask(1000, "Hello")
248
- await delayed() // 1秒後に "Hello"
249
- ```
250
-
251
- ### 8.7 TaskEither(非同期 + エラーハンドリング)
252
-
253
- `TaskEither<E, A>` は「実行すると `Promise<Either<E, A>>` を返す非同期計算」です。
254
-
255
- ```typescript
256
- import * as TE from 'fp-ts/TaskEither'
257
-
258
- // 成功値を TaskEither にラップする
259
- const rightTask = <E, A>(a: A): TE.TaskEither<E, A> => TE.right(a)
260
-
261
- // エラー値を TaskEither にラップする
262
- const leftTask = <E, A>(e: E): TE.TaskEither<E, A> => TE.left(e)
263
-
264
- // Promise を TaskEither に変換する
265
- const fromPromise = <E, A>(
266
- promise: () => Promise<A>,
267
- onRejected: (reason: unknown) => E
268
- ): TE.TaskEither<E, A> => TE.tryCatch(promise, onRejected)
269
-
270
- const fetchData = fromPromise(
271
- () => fetch('/api/data').then(r => r.json()),
272
- (e) => `Fetch error: ${e}`
273
- )
274
- ```
275
-
276
- ### 8.8 ミーティングスケジューリングの例
277
-
278
- より実践的な例として、ミーティングのスケジューリングを見てみましょう。
279
-
280
- ```typescript
281
- interface MeetingTime {
282
- readonly startHour: number
283
- readonly endHour: number
284
- }
285
-
286
- const createMeetingTime = (
287
- startHour: number,
288
- endHour: number
289
- ): MeetingTime => ({ startHour, endHour })
290
-
291
- // 2つのミーティングが重複しているかを判定する(純粋関数)
292
- const meetingsOverlap = (
293
- meeting1: MeetingTime,
294
- meeting2: MeetingTime
295
- ): boolean =>
296
- meeting1.startHour < meeting2.endHour &&
297
- meeting2.startHour < meeting1.endHour
298
- ```
299
-
300
- #### 空き時間の計算(純粋関数)
301
-
302
- ```typescript
303
- const possibleMeetings = (
304
- existingMeetings: readonly MeetingTime[],
305
- startHour: number,
306
- endHour: number,
307
- lengthHours: number
308
- ): readonly MeetingTime[] => {
309
- const slots = pipe(
310
- RA.makeBy(endHour - lengthHours - startHour + 1, (i) => startHour + i),
311
- RA.map((start) => createMeetingTime(start, start + lengthHours))
312
- )
313
- return pipe(
314
- slots,
315
- RA.filter((slot) =>
316
- existingMeetings.every((meeting) => !meetingsOverlap(meeting, slot))
317
- )
318
- )
319
- }
320
-
321
- const existing = [createMeetingTime(9, 10), createMeetingTime(14, 15)]
322
- possibleMeetings(existing, 8, 17, 1)
323
- // => 8-9, 10-11, 11-12, 12-13, 13-14, 15-16, 16-17
324
- ```
325
-
326
- #### API 呼び出しを TaskEither でラップ
327
-
328
- ```typescript
329
- // API からカレンダーエントリを取得(シミュレーション)
330
- const calendarEntriesApi = (
331
- name: string
332
- ): TE.TaskEither<string, readonly MeetingTime[]> => {
333
- const mockData: Record<string, readonly MeetingTime[]> = {
334
- Alice: [createMeetingTime(9, 10), createMeetingTime(14, 15)],
335
- Bob: [createMeetingTime(10, 11), createMeetingTime(15, 16)],
336
- }
337
- return name in mockData
338
- ? TE.right(mockData[name])
339
- : TE.left(`Calendar not found for ${name}`)
340
- }
341
-
342
- // 複数の参加者の予定を取得して結合
343
- const scheduledMeetings = (
344
- attendees: readonly string[]
345
- ): TE.TaskEither<string, readonly MeetingTime[]> =>
346
- pipe(
347
- attendees,
348
- RA.traverse(TE.ApplicativeSeq)(calendarEntriesApi),
349
- TE.map(RA.flatten)
350
- )
351
- ```
352
-
353
- ### 8.9 orElse によるエラーハンドリング
354
-
355
- TaskEither の `orElse` メソッドで、失敗時のフォールバックを指定できます。
356
-
357
- ```typescript
358
- const orElseTE = <E, A>(
359
- te: TE.TaskEither<E, A>,
360
- alternative: (e: E) => TE.TaskEither<E, A>
361
- ): TE.TaskEither<E, A> => pipe(te, TE.orElse(alternative))
362
-
363
- const year = rightTask<string, number>(996)
364
- const noYear = leftTask<string, number>("no year")
365
-
366
- await pipe(year, TE.orElse(() => rightTask(2020)))() // right(996)
367
- await pipe(noYear, TE.orElse(() => rightTask(2020)))() // right(2020)
368
- ```
369
-
370
- ```plantuml
371
- @startuml
372
- !theme plain
373
-
374
- rectangle "orElse の動作" {
375
- card "メインの TaskEither" as main
376
- card "フォールバック TaskEither" as fallback
377
- card "結果" as result
378
-
379
- main --> result : 成功時
380
- main --> fallback : 失敗時
381
- fallback --> result
382
- }
383
-
384
- @enduml
385
- ```
386
-
387
- #### リトライ戦略
388
-
389
- ```typescript
390
- // リトライ関数。指定回数まで再試行する
391
- const retry = <E, A>(
392
- action: TE.TaskEither<E, A>,
393
- maxRetries: number
394
- ): TE.TaskEither<E, A> => {
395
- if (maxRetries <= 0) return action
396
- return pipe(
397
- action,
398
- TE.orElse(() => retry(action, maxRetries - 1))
399
- )
400
- }
401
-
402
- // リトライしてもダメならデフォルト値を返す
403
- const retryWithDefault = <E, A>(
404
- action: TE.TaskEither<E, A>,
405
- maxRetries: number,
406
- defaultValue: A
407
- ): T.Task<A> =>
408
- pipe(
409
- retry(action, maxRetries),
410
- TE.getOrElse(() => T.of(defaultValue))
411
- )
412
-
413
- // 使用例
414
- const result = await retryWithDefault(
415
- calendarEntriesApi("Unknown"),
416
- 3,
417
- []
418
- )() // => []
419
- ```
420
-
421
- ### 8.10 IO のユーティリティ
422
-
423
- ```typescript
424
- // 値をコンソールに出力する IO
425
- const consoleLog = (message: string): IO.IO<void> => () =>
426
- console.log(message)
427
-
428
- // メッセージを出力して同じ値を返す IO(デバッグ用)
429
- const printAndReturn = (message: string): IO.IO<string> => () => {
430
- console.log(message)
431
- return message
432
- }
433
-
434
- // 複数の IO を順番に実行し、最後の結果を返す
435
- const chainAll = <A>(...ios: readonly IO.IO<A>[]): IO.IO<A> => {
436
- if (ios.length === 0) throw new Error('At least one IO required')
437
- return ios.reduce((acc, io) =>
438
- pipe(acc, IO.chain(() => io))
439
- )
440
- }
441
- ```
442
-
443
- ### 8.11 IOEither
444
-
445
- `IOEither` は同期的だがエラーを返す可能性のある計算を表します。
446
-
447
- ```typescript
448
- type IOEither<E, A> = IO.IO<E.Either<E, A>>
449
-
450
- // 例外をスローする可能性のある関数を IOEither にラップする
451
- const tryCatchIO = <E, A>(
452
- thunk: () => A,
453
- onThrow: (error: unknown) => E
454
- ): IOEither<E, A> => () => {
455
- try {
456
- return E.right(thunk())
457
- } catch (e) {
458
- return E.left(onThrow(e))
459
- }
460
- }
461
-
462
- const parseJson = tryCatchIO(
463
- () => JSON.parse('{"a": 1}'),
464
- (e) => `Parse error: ${e}`
465
- )
466
- parseJson() // right({ a: 1 })
467
-
468
- const parseInvalid = tryCatchIO(
469
- () => JSON.parse('invalid'),
470
- (e) => `Parse error: ${e}`
471
- )
472
- parseInvalid() // left("Parse error: ...")
473
- ```
474
-
475
- ### 8.12 メモ化
476
-
477
- IO の結果をキャッシュして、2回目以降は同じ値を返すようにできます。
478
-
479
- ```typescript
480
- import * as O from 'fp-ts/Option'
481
-
482
- const memoizeIO = <A>(io: IO.IO<A>): IO.IO<A> => {
483
- let cached: O.Option<A> = O.none
484
- return () =>
485
- pipe(
486
- cached,
487
- O.getOrElse(() => {
488
- const result = io()
489
- cached = O.some(result)
490
- return result
491
- })
492
- )
493
- }
494
-
495
- let count = 0
496
- const io = memoizeIO(() => { count++; return count })
497
- io() // => 1
498
- io() // => 1 (キャッシュされた値)
499
- io() // => 1
500
- ```
501
-
502
- ---
503
-
504
- ## 第9章: ストリーム処理
505
-
506
- ### 9.1 ストリームとは
507
-
508
- **ストリーム**は、要素の(潜在的に無限の)シーケンスを表します。TypeScript では Generator 関数を使って実装します。
509
-
510
- ```plantuml
511
- @startuml
512
- !theme plain
513
-
514
- rectangle "Array vs LazyList" {
515
- rectangle "Array" as array {
516
- card "全要素がメモリに存在"
517
- card "有限"
518
- card "即座に評価"
519
- }
520
-
521
- rectangle "LazyList (Generator)" as lazylist {
522
- card "必要な時に要素を生成"
523
- card "無限も可能"
524
- card "遅延評価"
525
- }
526
- }
527
-
528
- @enduml
529
- ```
530
-
531
- ### 9.2 LazyList の基本
532
-
533
- **ソースファイル**: `app/typescript/src/ch09_streams.ts`
534
-
535
- ```typescript
536
- // LazyList は Generator を使って表現
537
- type LazyList<A> = Generator<A, void, undefined>
538
-
539
- // 配列から LazyList を作成
540
- function* fromArray<A>(arr: readonly A[]): LazyList<A> {
541
- for (const item of arr) {
542
- yield item
543
- }
544
- }
545
-
546
- const list = fromArray([1, 2, 3])
547
- [...list] // => [1, 2, 3]
548
-
549
- // 範囲から LazyList を作成
550
- function* range(start: number, end: number): LazyList<number> {
551
- for (let i = start; i < end; i++) {
552
- yield i
553
- }
554
- }
555
-
556
- [...range(1, 5)] // => [1, 2, 3, 4]
557
- ```
558
-
559
- ### 9.3 無限ストリーム
560
-
561
- ```typescript
562
- // 値を無限に繰り返すストリーム
563
- function* repeatValue<A>(value: A): LazyList<A> {
564
- while (true) {
565
- yield value
566
- }
567
- }
568
-
569
- // 配列を無限に繰り返すストリーム
570
- function* cycleArray<A>(arr: readonly A[]): LazyList<A> {
571
- if (arr.length === 0) return
572
- while (true) {
573
- for (const item of arr) {
574
- yield item
575
- }
576
- }
577
- }
578
-
579
- // 初期値と生成関数から無限ストリームを作成(unfold)
580
- function* iterate<A>(initial: A, fn: (a: A) => A): LazyList<A> {
581
- let current = initial
582
- while (true) {
583
- yield current
584
- current = fn(current)
585
- }
586
- }
587
-
588
- const powers = iterate(1, n => n * 2)
589
- take(powers, 5) // => [1, 2, 4, 8, 16]
590
- ```
591
-
592
- ```plantuml
593
- @startuml
594
- !theme plain
595
-
596
- rectangle "無限ストリーム" {
597
- card "cycleArray([1, 2, 3])" as stream
598
- card "1, 2, 3, 1, 2, 3, 1, 2, 3, ..." as infinite
599
- card "take(8)" as take
600
- card "[1, 2, 3, 1, 2, 3, 1, 2]" as result
601
-
602
- stream --> infinite
603
- infinite --> take
604
- take --> result
605
- }
606
-
607
- note bottom
608
- 無限のストリームから
609
- 必要な分だけ取得
610
- end note
611
-
612
- @enduml
613
- ```
614
-
615
- ### 9.4 ストリームの主要操作
616
-
617
- | 操作 | 説明 | 例 |
618
- |------|------|-----|
619
- | `take(n)` | 最初の n 要素を取得 | `take(stream, 3)` |
620
- | `drop(n)` | 最初の n 要素をスキップ | `drop(stream, 2)` |
621
- | `filter(p)` | 条件を満たす要素のみ | `filterStream(stream, x => x > 0)` |
622
- | `map(f)` | 各要素を変換 | `mapStream(stream, x => x * 2)` |
623
- | `takeWhile(p)` | 条件を満たす間取得 | `takeWhile(stream, x => x < 10)` |
624
- | `sliding(n)` | スライディングウィンドウ | `sliding(stream, 3)` |
625
-
626
- ```typescript
627
- // 最初の n 要素を取得
628
- const take = <A>(gen: LazyList<A>, n: number): readonly A[] => {
629
- const result: A[] = []
630
- let count = 0
631
- for (const item of gen) {
632
- if (count >= n) break
633
- result.push(item)
634
- count++
635
- }
636
- return result
637
- }
638
-
639
- // 各要素を変換
640
- function* mapStream<A, B>(
641
- gen: LazyList<A>,
642
- fn: (a: A) => B
643
- ): LazyList<B> {
644
- for (const item of gen) {
645
- yield fn(item)
646
- }
647
- }
648
-
649
- // 条件を満たす要素のみ
650
- function* filterStream<A>(
651
- gen: LazyList<A>,
652
- predicate: (a: A) => boolean
653
- ): LazyList<A> {
654
- for (const item of gen) {
655
- if (predicate(item)) {
656
- yield item
657
- }
658
- }
659
- }
660
- ```
661
-
662
- ### 9.5 ストリームの結合
663
-
664
- ```typescript
665
- // 2つのストリームを結合
666
- function* append<A>(gen1: LazyList<A>, gen2: LazyList<A>): LazyList<A> {
667
- yield* gen1
668
- yield* gen2
669
- }
670
-
671
- // 2つのストリームをペアにして結合
672
- function* zipStream<A, B>(
673
- gen1: LazyList<A>,
674
- gen2: LazyList<B>
675
- ): LazyList<readonly [A, B]> {
676
- const iter1 = gen1[Symbol.iterator]()
677
- const iter2 = gen2[Symbol.iterator]()
678
- while (true) {
679
- const next1 = iter1.next()
680
- const next2 = iter2.next()
681
- if (next1.done || next2.done) break
682
- yield [next1.value, next2.value] as const
683
- }
684
- }
685
-
686
- const list1 = fromArray([1, 2, 3])
687
- const list2 = fromArray(['a', 'b', 'c'])
688
- [...zipStream(list1, list2)] // => [[1, 'a'], [2, 'b'], [3, 'c']]
689
- ```
690
-
691
- ### 9.6 スライディングウィンドウ
692
-
693
- `sliding` で連続する要素をグループ化できます。
694
-
695
- ```typescript
696
- function* sliding<A>(
697
- gen: LazyList<A>,
698
- windowSize: number
699
- ): LazyList<readonly A[]> {
700
- const buffer: A[] = []
701
- for (const item of gen) {
702
- buffer.push(item)
703
- if (buffer.length === windowSize) {
704
- yield [...buffer]
705
- buffer.shift()
706
- }
707
- }
708
- }
709
-
710
- const stream = fromArray([1, 2, 3, 4, 5])
711
- [...sliding(stream, 3)]
712
- // => [[1, 2, 3], [2, 3, 4], [3, 4, 5]]
713
- ```
714
-
715
- ```plantuml
716
- @startuml
717
- !theme plain
718
-
719
- rectangle "sliding(3) の動作" {
720
- card "[1, 2, 3, 4, 5]" as input
721
- card "[1, 2, 3]" as w1
722
- card "[2, 3, 4]" as w2
723
- card "[3, 4, 5]" as w3
724
-
725
- input --> w1
726
- input --> w2
727
- input --> w3
728
- }
729
-
730
- @enduml
731
- ```
732
-
733
- ### 9.7 トレンド検出(為替レートの例)
734
-
735
- 為替レートを監視して、上昇トレンドを検出する例です。
736
-
737
- #### トレンド判定(純粋関数)
738
-
739
- ```typescript
740
- const trending = (rates: readonly number[]): boolean => {
741
- if (rates.length <= 1) return false
742
- const prev = RA.dropRight(1)(rates)
743
- const curr = RA.dropLeft(1)(rates)
744
- return pipe(
745
- RA.zip(curr)(prev),
746
- RA.every(([p, c]) => c > p)
747
- )
748
- }
749
-
750
- trending([0.81, 0.82, 0.83]) // true (上昇トレンド)
751
- trending([0.81, 0.84, 0.83]) // false
752
-
753
- // 下降トレンドの検出
754
- const downtrending = (rates: readonly number[]): boolean => {
755
- if (rates.length <= 1) return false
756
- const prev = RA.dropRight(1)(rates)
757
- const curr = RA.dropLeft(1)(rates)
758
- return pipe(
759
- RA.zip(curr)(prev),
760
- RA.every(([p, c]) => c < p)
761
- )
762
- }
763
-
764
- // 安定しているかどうか
765
- const isStable = (values: readonly number[]): boolean => {
766
- if (values.length < 2) return false
767
- const first = values[0]
768
- return values.every((v) => v === first)
769
- }
770
- ```
771
-
772
- #### スライディングウィンドウでトレンドを検出
773
-
774
- ```typescript
775
- function* detectTrends(
776
- gen: LazyList<number>,
777
- windowSize: number
778
- ): LazyList<{ window: readonly number[]; trending: boolean }> {
779
- for (const window of sliding(gen, windowSize)) {
780
- yield { window, trending: trending(window) }
781
- }
782
- }
783
-
784
- const rates = fromArray([0.80, 0.81, 0.82, 0.83, 0.82])
785
- const trends = [...detectTrends(rates, 3)]
786
- // [
787
- // { window: [0.80, 0.81, 0.82], trending: true },
788
- // { window: [0.81, 0.82, 0.83], trending: true },
789
- // { window: [0.82, 0.83, 0.82], trending: false }
790
- // ]
791
- ```
792
-
793
- ### 9.8 サイコロストリーム
794
-
795
- ```typescript
796
- // サイコロを振る無限ストリーム
797
- function* dieStream(): LazyList<number> {
798
- while (true) {
799
- yield Math.floor(Math.random() * 6) + 1
800
- }
801
- }
802
-
803
- take(dieStream(), 5) // => [3, 1, 6, 2, 4] (ランダム)
804
-
805
- // 指定した値が出るまでサイコロを振り続ける
806
- function* dieUntil(target: number): LazyList<number> {
807
- while (true) {
808
- const roll = Math.floor(Math.random() * 6) + 1
809
- yield roll
810
- if (roll === target) break
811
- }
812
- }
813
-
814
- [...dieUntil(6)] // => [3, 1, 5, 2, 6] (6が出るまで)
815
- ```
816
-
817
- ### 9.9 便利なストリームユーティリティ
818
-
819
- ```typescript
820
- // フィボナッチ数列
821
- function* fibonacci(): LazyList<number> {
822
- let [a, b] = [0, 1]
823
- while (true) {
824
- yield a
825
- ;[a, b] = [b, a + b]
826
- }
827
- }
828
-
829
- take(fibonacci(), 10) // => [0, 1, 1, 2, 3, 5, 8, 13, 21, 34]
830
-
831
- // 素数
832
- function* primes(): LazyList<number> {
833
- const sieve: Set<number> = new Set()
834
- let n = 2
835
- while (true) {
836
- if (!sieve.has(n)) {
837
- yield n
838
- for (let i = n * n; i < n * n + n * 100; i += n) {
839
- sieve.add(i)
840
- }
841
- }
842
- n++
843
- }
844
- }
845
-
846
- take(primes(), 10) // => [2, 3, 5, 7, 11, 13, 17, 19, 23, 29]
847
-
848
- // 累積和
849
- function* scan<A, B>(
850
- gen: LazyList<A>,
851
- initial: B,
852
- fn: (acc: B, a: A) => B
853
- ): LazyList<B> {
854
- let acc = initial
855
- yield acc
856
- for (const item of gen) {
857
- acc = fn(acc, item)
858
- yield acc
859
- }
860
- }
861
-
862
- [...scan(fromArray([1, 2, 3, 4]), 0, (a, b) => a + b)]
863
- // => [0, 1, 3, 6, 10]
864
- ```
865
-
866
- ---
867
-
868
- ## まとめ
869
-
870
- ### Part IV で学んだこと
871
-
872
- ```plantuml
873
- @startuml
874
- !theme plain
875
-
876
- rectangle "Part IV: IO と副作用の管理" {
877
- rectangle "第8章" as ch8 {
878
- card "IO モナド"
879
- card "Task (非同期)"
880
- card "TaskEither"
881
- card "orElse / retry"
882
- card "メモ化"
883
- }
884
-
885
- rectangle "第9章" as ch9 {
886
- card "LazyList (Generator)"
887
- card "無限ストリーム"
888
- card "take / filter / map"
889
- card "sliding"
890
- card "トレンド検出"
891
- }
892
- }
893
-
894
- ch8 --> ch9
895
-
896
- @enduml
897
- ```
898
-
899
- ### fp-ts の IO 関連型の比較
900
-
901
- | 型 | 同期/非同期 | エラー | 用途 |
902
- |------|-------------|--------|------|
903
- | `IO<A>` | 同期 | なし | 単純な同期副作用 |
904
- | `IOEither<E, A>` | 同期 | あり | 失敗する可能性のある同期処理 |
905
- | `Task<A>` | 非同期 | なし | Promise ベースの非同期処理 |
906
- | `TaskEither<E, A>` | 非同期 | あり | 失敗する可能性のある非同期処理 |
907
-
908
- ### キーポイント
909
-
910
- 1. **IO モナド**: 副作用を「記述」として扱い、実行を遅延させる
911
- 2. **Task**: 非同期処理を純粋な関数として扱う
912
- 3. **TaskEither**: 非同期処理とエラーハンドリングを組み合わせる
913
- 4. **orElse / retry**: 失敗時のフォールバック戦略
914
- 5. **LazyList**: Generator を使った遅延評価のシーケンス
915
- 6. **sliding**: 連続する要素をグループ化してパターンを検出
916
-
917
- ### 次のステップ
918
-
919
- Part V では、以下のトピックを学びます:
920
-
921
- - 並行・並列処理
922
- - より高度なモナド変換子
923
-
924
- ---
925
-
926
- ## 演習問題
927
-
928
- ### 問題 1: IO の基本
929
-
930
- 以下の関数を実装してください。
931
-
932
- ```typescript
933
- import * as IO from 'fp-ts/IO'
934
-
935
- const printAndReturn = (message: string): IO.IO<string> => ???
936
-
937
- // 期待される動作
938
- // printAndReturn("Hello")() は
939
- // "Hello" をコンソールに出力し、"Hello" を返す
940
- ```
941
-
942
- <details>
943
- <summary>解答</summary>
944
-
945
- ```typescript
946
- const printAndReturn = (message: string): IO.IO<string> => () => {
947
- console.log(message)
948
- return message
949
- }
950
- ```
951
-
952
- </details>
953
-
954
- ### 問題 2: IO の合成
955
-
956
- 以下の関数を実装してください。2つの IO を順番に実行し、結果を結合します。
957
-
958
- ```typescript
959
- const combineIO = <A, B, C>(
960
- io1: IO.IO<A>,
961
- io2: IO.IO<B>,
962
- f: (a: A, b: B) => C
963
- ): IO.IO<C> => ???
964
-
965
- // 期待される動作
966
- const result = combineIO(IO.of(1), IO.of(2), (a, b) => a + b)
967
- result() // 3
968
- ```
969
-
970
- <details>
971
- <summary>解答</summary>
972
-
973
- ```typescript
974
- import { pipe } from 'fp-ts/function'
975
-
976
- const combineIO = <A, B, C>(
977
- io1: IO.IO<A>,
978
- io2: IO.IO<B>,
979
- f: (a: A, b: B) => C
980
- ): IO.IO<C> =>
981
- pipe(
982
- io1,
983
- IO.chain((a) =>
984
- pipe(
985
- io2,
986
- IO.map((b) => f(a, b))
987
- )
988
- )
989
- )
990
- ```
991
-
992
- </details>
993
-
994
- ### 問題 3: リトライ
995
-
996
- 以下の関数を実装してください。指定回数リトライし、全部失敗したらデフォルト値を返します。
997
-
998
- ```typescript
999
- const retryWithDefault = <E, A>(
1000
- action: TE.TaskEither<E, A>,
1001
- maxRetries: number,
1002
- defaultValue: A
1003
- ): T.Task<A> => ???
1004
- ```
1005
-
1006
- <details>
1007
- <summary>解答</summary>
1008
-
1009
- ```typescript
1010
- import { pipe } from 'fp-ts/function'
1011
- import * as TE from 'fp-ts/TaskEither'
1012
- import * as T from 'fp-ts/Task'
1013
-
1014
- const retry = <E, A>(
1015
- action: TE.TaskEither<E, A>,
1016
- maxRetries: number
1017
- ): TE.TaskEither<E, A> => {
1018
- if (maxRetries <= 0) return action
1019
- return pipe(
1020
- action,
1021
- TE.orElse(() => retry(action, maxRetries - 1))
1022
- )
1023
- }
1024
-
1025
- const retryWithDefault = <E, A>(
1026
- action: TE.TaskEither<E, A>,
1027
- maxRetries: number,
1028
- defaultValue: A
1029
- ): T.Task<A> =>
1030
- pipe(
1031
- retry(action, maxRetries),
1032
- TE.getOrElse(() => T.of(defaultValue))
1033
- )
1034
- ```
1035
-
1036
- </details>
1037
-
1038
- ### 問題 4: ストリーム操作
1039
-
1040
- 以下のストリームを作成してください。
1041
-
1042
- ```typescript
1043
- // 1. 1から10までの偶数のストリーム
1044
- const evens: LazyList<number> = ???
1045
-
1046
- // 2. 無限に交互に true/false を返すストリーム
1047
- const alternating: LazyList<boolean> = ???
1048
-
1049
- // 3. 最初の5つの要素の合計を計算
1050
- const sum: number = take(range(1, 100), 5).???
1051
- ```
1052
-
1053
- <details>
1054
- <summary>解答</summary>
1055
-
1056
- ```typescript
1057
- // 1. 1から10までの偶数
1058
- const evens = filterStream(rangeInclusive(1, 10), x => x % 2 === 0)
1059
- // または
1060
- const evens = fromArray([2, 4, 6, 8, 10])
1061
-
1062
- // 2. 無限に交互に true/false
1063
- const alternating = cycleArray([true, false])
1064
-
1065
- // 3. 最初の5つの要素の合計
1066
- const sum = take(range(1, 100), 5).reduce((a, b) => a + b, 0) // 15
1067
- ```
1068
-
1069
- </details>
1070
-
1071
- ### 問題 5: トレンド検出
1072
-
1073
- 以下の関数を実装してください。直近3つの値が全て同じかどうかを判定します。
1074
-
1075
- ```typescript
1076
- const isStable = (values: readonly number[]): boolean => ???
1077
-
1078
- // 期待される動作
1079
- assert(isStable([5, 5, 5]) === true)
1080
- assert(isStable([5, 5, 6]) === false)
1081
- assert(isStable([5, 6, 5]) === false)
1082
- assert(isStable([5]) === false) // 2つ未満は false
1083
- ```
1084
-
1085
- <details>
1086
- <summary>解答</summary>
1087
-
1088
- ```typescript
1089
- const isStable = (values: readonly number[]): boolean => {
1090
- if (values.length < 2) return false
1091
- const first = values[0]
1092
- return values.every((v) => v === first)
1093
- }
1094
- ```
1095
-
1096
- </details>