@k2works/claude-code-booster 3.0.0 → 3.1.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/lib/assets/docs/article/functional-desgin-ppp/all/01-immutability-and-data-transformation.md +475 -0
- package/lib/assets/docs/article/functional-desgin-ppp/all/02-function-composition.md +519 -0
- package/lib/assets/docs/article/functional-desgin-ppp/all/03-polymorphism.md +537 -0
- package/lib/assets/docs/article/functional-desgin-ppp/all/04-data-validation.md +300 -0
- package/lib/assets/docs/article/functional-desgin-ppp/all/05-property-based-testing.md +320 -0
- package/lib/assets/docs/article/functional-desgin-ppp/all/06-tdd-and-functional.md +498 -0
- package/lib/assets/docs/article/functional-desgin-ppp/all/07-composite-pattern.md +298 -0
- package/lib/assets/docs/article/functional-desgin-ppp/all/08-decorator-pattern.md +291 -0
- package/lib/assets/docs/article/functional-desgin-ppp/all/09-adapter-pattern.md +336 -0
- package/lib/assets/docs/article/functional-desgin-ppp/all/10-strategy-pattern.md +303 -0
- package/lib/assets/docs/article/functional-desgin-ppp/all/11-command-pattern.md +286 -0
- package/lib/assets/docs/article/functional-desgin-ppp/all/12-visitor-pattern.md +322 -0
- package/lib/assets/docs/article/functional-desgin-ppp/all/13-abstract-factory-pattern.md +319 -0
- package/lib/assets/docs/article/functional-desgin-ppp/all/14-abstract-server-pattern.md +365 -0
- package/lib/assets/docs/article/functional-desgin-ppp/all/15-gossiping-bus-drivers.md +156 -0
- package/lib/assets/docs/article/functional-desgin-ppp/all/16-payroll-system.md +178 -0
- package/lib/assets/docs/article/functional-desgin-ppp/all/17-video-rental-system.md +312 -0
- package/lib/assets/docs/article/functional-desgin-ppp/all/18-concurrency-system.md +287 -0
- package/lib/assets/docs/article/functional-desgin-ppp/all/19-wa-tor-simulation.md +286 -0
- package/lib/assets/docs/article/functional-desgin-ppp/all/20-pattern-interactions.md +274 -0
- package/lib/assets/docs/article/functional-desgin-ppp/all/21-best-practices.md +294 -0
- package/lib/assets/docs/article/functional-desgin-ppp/all/22-oo-to-fp-migration.md +337 -0
- package/lib/assets/docs/article/functional-desgin-ppp/all/index.md +388 -0
- package/lib/assets/docs/article/functional-desgin-ppp/clojure/01-immutability-and-data-transformation.md +271 -0
- package/lib/assets/docs/article/functional-desgin-ppp/clojure/02-function-composition.md +380 -0
- package/lib/assets/docs/article/functional-desgin-ppp/clojure/03-polymorphism.md +384 -0
- package/lib/assets/docs/article/functional-desgin-ppp/clojure/04-clojure-spec.md +350 -0
- package/lib/assets/docs/article/functional-desgin-ppp/clojure/05-property-based-testing.md +352 -0
- package/lib/assets/docs/article/functional-desgin-ppp/clojure/06-tdd-in-functional.md +383 -0
- package/lib/assets/docs/article/functional-desgin-ppp/clojure/07-composite-pattern.md +529 -0
- package/lib/assets/docs/article/functional-desgin-ppp/clojure/08-decorator-pattern.md +395 -0
- package/lib/assets/docs/article/functional-desgin-ppp/clojure/09-adapter-pattern.md +399 -0
- package/lib/assets/docs/article/functional-desgin-ppp/clojure/10-strategy-pattern.md +485 -0
- package/lib/assets/docs/article/functional-desgin-ppp/clojure/11-command-pattern.md +566 -0
- package/lib/assets/docs/article/functional-desgin-ppp/clojure/12-visitor-pattern.md +567 -0
- package/lib/assets/docs/article/functional-desgin-ppp/clojure/13-abstract-factory-pattern.md +475 -0
- package/lib/assets/docs/article/functional-desgin-ppp/clojure/14-abstract-server-pattern.md +462 -0
- package/lib/assets/docs/article/functional-desgin-ppp/clojure/15-gossiping-bus-drivers.md +323 -0
- package/lib/assets/docs/article/functional-desgin-ppp/clojure/16-payroll-system.md +401 -0
- package/lib/assets/docs/article/functional-desgin-ppp/clojure/17-video-rental-system.md +450 -0
- package/lib/assets/docs/article/functional-desgin-ppp/clojure/18-concurrency-system.md +475 -0
- package/lib/assets/docs/article/functional-desgin-ppp/clojure/19-wator-simulation.md +739 -0
- package/lib/assets/docs/article/functional-desgin-ppp/clojure/20-pattern-interactions.md +562 -0
- package/lib/assets/docs/article/functional-desgin-ppp/clojure/21-best-practices.md +506 -0
- package/lib/assets/docs/article/functional-desgin-ppp/clojure/22-oo-to-fp-migration.md +526 -0
- package/lib/assets/docs/article/functional-desgin-ppp/clojure/index.md +197 -0
- package/lib/assets/docs/article/functional-desgin-ppp/elixir/01-immutability-and-data-transformation.md +381 -0
- package/lib/assets/docs/article/functional-desgin-ppp/elixir/02-function-composition.md +374 -0
- package/lib/assets/docs/article/functional-desgin-ppp/elixir/03-polymorphism.md +375 -0
- package/lib/assets/docs/article/functional-desgin-ppp/elixir/04-data-validation.md +195 -0
- package/lib/assets/docs/article/functional-desgin-ppp/elixir/05-property-based-testing.md +268 -0
- package/lib/assets/docs/article/functional-desgin-ppp/elixir/06-tdd-and-fp.md +294 -0
- package/lib/assets/docs/article/functional-desgin-ppp/elixir/07-effects-and-pure-functions.md +164 -0
- package/lib/assets/docs/article/functional-desgin-ppp/elixir/08-error-handling-strategies.md +168 -0
- package/lib/assets/docs/article/functional-desgin-ppp/elixir/09-io-and-external-systems.md +254 -0
- package/lib/assets/docs/article/functional-desgin-ppp/elixir/10-concurrency-patterns.md +269 -0
- package/lib/assets/docs/article/functional-desgin-ppp/elixir/11-command-pattern.md +148 -0
- package/lib/assets/docs/article/functional-desgin-ppp/elixir/12-visitor-pattern.md +176 -0
- package/lib/assets/docs/article/functional-desgin-ppp/elixir/13-abstract-factory-pattern.md +604 -0
- package/lib/assets/docs/article/functional-desgin-ppp/elixir/14-abstract-server-pattern.md +729 -0
- package/lib/assets/docs/article/functional-desgin-ppp/elixir/15-gossiping-bus-drivers.md +291 -0
- package/lib/assets/docs/article/functional-desgin-ppp/elixir/16-payroll-system.md +420 -0
- package/lib/assets/docs/article/functional-desgin-ppp/elixir/17-video-rental-system.md +319 -0
- package/lib/assets/docs/article/functional-desgin-ppp/elixir/18-concurrency-system.md +466 -0
- package/lib/assets/docs/article/functional-desgin-ppp/elixir/19-wator-simulation.md +523 -0
- package/lib/assets/docs/article/functional-desgin-ppp/elixir/20-pattern-interactions.md +287 -0
- package/lib/assets/docs/article/functional-desgin-ppp/elixir/21-best-practices.md +340 -0
- package/lib/assets/docs/article/functional-desgin-ppp/elixir/22-oo-to-fp-migration.md +395 -0
- package/lib/assets/docs/article/functional-desgin-ppp/elixir/index.md +204 -0
- package/lib/assets/docs/article/functional-desgin-ppp/fsharp/01-immutability-and-data-transformation.md +382 -0
- package/lib/assets/docs/article/functional-desgin-ppp/fsharp/02-function-composition.md +452 -0
- package/lib/assets/docs/article/functional-desgin-ppp/fsharp/03-polymorphism.md +495 -0
- package/lib/assets/docs/article/functional-desgin-ppp/fsharp/04-data-validation.md +416 -0
- package/lib/assets/docs/article/functional-desgin-ppp/fsharp/05-property-based-testing.md +382 -0
- package/lib/assets/docs/article/functional-desgin-ppp/fsharp/06-tdd-functional.md +687 -0
- package/lib/assets/docs/article/functional-desgin-ppp/fsharp/07-composite-pattern.md +442 -0
- package/lib/assets/docs/article/functional-desgin-ppp/fsharp/08-decorator-pattern.md +479 -0
- package/lib/assets/docs/article/functional-desgin-ppp/fsharp/09-adapter-pattern.md +479 -0
- package/lib/assets/docs/article/functional-desgin-ppp/fsharp/10-strategy-pattern.md +427 -0
- package/lib/assets/docs/article/functional-desgin-ppp/fsharp/11-command-pattern.md +428 -0
- package/lib/assets/docs/article/functional-desgin-ppp/fsharp/12-visitor-pattern.md +339 -0
- package/lib/assets/docs/article/functional-desgin-ppp/fsharp/13-abstract-factory-pattern.md +309 -0
- package/lib/assets/docs/article/functional-desgin-ppp/fsharp/14-abstract-server-pattern.md +596 -0
- package/lib/assets/docs/article/functional-desgin-ppp/fsharp/15-gossiping-bus-drivers.md +353 -0
- package/lib/assets/docs/article/functional-desgin-ppp/fsharp/16-payroll-system.md +350 -0
- package/lib/assets/docs/article/functional-desgin-ppp/fsharp/17-video-rental-system.md +412 -0
- package/lib/assets/docs/article/functional-desgin-ppp/fsharp/18-concurrency-system.md +367 -0
- package/lib/assets/docs/article/functional-desgin-ppp/fsharp/19-wator-simulation.md +401 -0
- package/lib/assets/docs/article/functional-desgin-ppp/fsharp/20-pattern-interactions.md +291 -0
- package/lib/assets/docs/article/functional-desgin-ppp/fsharp/21-best-practices.md +320 -0
- package/lib/assets/docs/article/functional-desgin-ppp/fsharp/22-oo-to-fp-migration.md +322 -0
- package/lib/assets/docs/article/functional-desgin-ppp/fsharp/index.md +230 -0
- package/lib/assets/docs/article/functional-desgin-ppp/haskell/01-immutability-and-data-transformation.md +298 -0
- package/lib/assets/docs/article/functional-desgin-ppp/haskell/02-function-composition.md +304 -0
- package/lib/assets/docs/article/functional-desgin-ppp/haskell/03-polymorphism.md +362 -0
- package/lib/assets/docs/article/functional-desgin-ppp/haskell/04-data-validation.md +257 -0
- package/lib/assets/docs/article/functional-desgin-ppp/haskell/05-property-based-testing.md +254 -0
- package/lib/assets/docs/article/functional-desgin-ppp/haskell/06-tdd-functional.md +283 -0
- package/lib/assets/docs/article/functional-desgin-ppp/haskell/07-composite-pattern.md +395 -0
- package/lib/assets/docs/article/functional-desgin-ppp/haskell/08-decorator-pattern.md +319 -0
- package/lib/assets/docs/article/functional-desgin-ppp/haskell/09-adapter-pattern.md +382 -0
- package/lib/assets/docs/article/functional-desgin-ppp/haskell/10-strategy-pattern.md +287 -0
- package/lib/assets/docs/article/functional-desgin-ppp/haskell/11-command-pattern.md +303 -0
- package/lib/assets/docs/article/functional-desgin-ppp/haskell/12-visitor-pattern.md +326 -0
- package/lib/assets/docs/article/functional-desgin-ppp/haskell/13-abstract-factory-pattern.md +332 -0
- package/lib/assets/docs/article/functional-desgin-ppp/haskell/14-abstract-server-pattern.md +379 -0
- package/lib/assets/docs/article/functional-desgin-ppp/haskell/15-gossiping-bus-drivers.md +175 -0
- package/lib/assets/docs/article/functional-desgin-ppp/haskell/16-payroll-system.md +219 -0
- package/lib/assets/docs/article/functional-desgin-ppp/haskell/17-video-rental-system.md +244 -0
- package/lib/assets/docs/article/functional-desgin-ppp/haskell/18-concurrency-system.md +363 -0
- package/lib/assets/docs/article/functional-desgin-ppp/haskell/19-wator-simulation.md +438 -0
- package/lib/assets/docs/article/functional-desgin-ppp/haskell/20-pattern-interactions.md +323 -0
- package/lib/assets/docs/article/functional-desgin-ppp/haskell/21-best-practices.md +403 -0
- package/lib/assets/docs/article/functional-desgin-ppp/haskell/22-oo-to-fp-migration.md +469 -0
- package/lib/assets/docs/article/functional-desgin-ppp/haskell/index.md +174 -0
- package/lib/assets/docs/article/functional-desgin-ppp/index.md +90 -0
- package/lib/assets/docs/article/functional-desgin-ppp/rust/01-immutability-and-data-transformation.md +448 -0
- package/lib/assets/docs/article/functional-desgin-ppp/rust/02-function-composition.md +463 -0
- package/lib/assets/docs/article/functional-desgin-ppp/rust/03-polymorphism.md +425 -0
- package/lib/assets/docs/article/functional-desgin-ppp/rust/04-data-validation.md +273 -0
- package/lib/assets/docs/article/functional-desgin-ppp/rust/05-property-based-testing.md +247 -0
- package/lib/assets/docs/article/functional-desgin-ppp/rust/06-tdd-and-functional.md +841 -0
- package/lib/assets/docs/article/functional-desgin-ppp/rust/07-composite-pattern.md +384 -0
- package/lib/assets/docs/article/functional-desgin-ppp/rust/08-decorator-pattern.md +383 -0
- package/lib/assets/docs/article/functional-desgin-ppp/rust/09-adapter-pattern.md +339 -0
- package/lib/assets/docs/article/functional-desgin-ppp/rust/10-strategy-pattern.md +331 -0
- package/lib/assets/docs/article/functional-desgin-ppp/rust/11-command-pattern.md +356 -0
- package/lib/assets/docs/article/functional-desgin-ppp/rust/12-visitor-pattern.md +379 -0
- package/lib/assets/docs/article/functional-desgin-ppp/rust/13-abstract-factory-pattern.md +361 -0
- package/lib/assets/docs/article/functional-desgin-ppp/rust/14-abstract-server-pattern.md +392 -0
- package/lib/assets/docs/article/functional-desgin-ppp/rust/15-gossiping-bus-drivers.md +300 -0
- package/lib/assets/docs/article/functional-desgin-ppp/rust/16-payroll-system.md +297 -0
- package/lib/assets/docs/article/functional-desgin-ppp/rust/17-video-rental-system.md +304 -0
- package/lib/assets/docs/article/functional-desgin-ppp/rust/18-concurrency-system.md +315 -0
- package/lib/assets/docs/article/functional-desgin-ppp/rust/19-wator-simulation.md +311 -0
- package/lib/assets/docs/article/functional-desgin-ppp/rust/20-pattern-interactions.md +304 -0
- package/lib/assets/docs/article/functional-desgin-ppp/rust/21-best-practices.md +336 -0
- package/lib/assets/docs/article/functional-desgin-ppp/rust/22-oo-to-fp-migration.md +349 -0
- package/lib/assets/docs/article/functional-desgin-ppp/rust/index.md +199 -0
- package/lib/assets/docs/article/functional-desgin-ppp/scala/01-immutability-and-data-transformation.md +326 -0
- package/lib/assets/docs/article/functional-desgin-ppp/scala/02-function-composition.md +348 -0
- package/lib/assets/docs/article/functional-desgin-ppp/scala/03-polymorphism.md +357 -0
- package/lib/assets/docs/article/functional-desgin-ppp/scala/04-data-validation.md +364 -0
- package/lib/assets/docs/article/functional-desgin-ppp/scala/05-property-based-testing.md +515 -0
- package/lib/assets/docs/article/functional-desgin-ppp/scala/06-tdd-functional.md +557 -0
- package/lib/assets/docs/article/functional-desgin-ppp/scala/07-composite-pattern.md +363 -0
- package/lib/assets/docs/article/functional-desgin-ppp/scala/08-decorator-pattern.md +327 -0
- package/lib/assets/docs/article/functional-desgin-ppp/scala/09-adapter-pattern.md +517 -0
- package/lib/assets/docs/article/functional-desgin-ppp/scala/10-strategy-pattern.md +441 -0
- package/lib/assets/docs/article/functional-desgin-ppp/scala/11-command-pattern.md +407 -0
- package/lib/assets/docs/article/functional-desgin-ppp/scala/12-visitor-pattern.md +379 -0
- package/lib/assets/docs/article/functional-desgin-ppp/scala/13-abstract-factory-pattern.md +398 -0
- package/lib/assets/docs/article/functional-desgin-ppp/scala/14-abstract-server-pattern.md +476 -0
- package/lib/assets/docs/article/functional-desgin-ppp/scala/15-gossiping-bus-drivers.md +389 -0
- package/lib/assets/docs/article/functional-desgin-ppp/scala/16-payroll-system.md +342 -0
- package/lib/assets/docs/article/functional-desgin-ppp/scala/17-video-rental-system.md +324 -0
- package/lib/assets/docs/article/functional-desgin-ppp/scala/18-concurrency-system.md +730 -0
- package/lib/assets/docs/article/functional-desgin-ppp/scala/19-wator-simulation.md +624 -0
- package/lib/assets/docs/article/functional-desgin-ppp/scala/20-pattern-interactions.md +512 -0
- package/lib/assets/docs/article/functional-desgin-ppp/scala/21-best-practices.md +427 -0
- package/lib/assets/docs/article/functional-desgin-ppp/scala/22-oo-to-fp-migration.md +682 -0
- package/lib/assets/docs/article/functional-desgin-ppp/scala/index.md +199 -0
- package/lib/assets/docs/article/getting-start-tdd/clojure/01-todo-list-and-first-test.md +166 -0
- package/lib/assets/docs/article/getting-start-tdd/clojure/02-fake-it-and-triangulation.md +162 -0
- package/lib/assets/docs/article/getting-start-tdd/clojure/03-obvious-implementation-and-refactoring.md +135 -0
- package/lib/assets/docs/article/getting-start-tdd/clojure/04-version-control-and-conventional-commits.md +88 -0
- package/lib/assets/docs/article/getting-start-tdd/clojure/05-package-management-and-static-analysis.md +299 -0
- package/lib/assets/docs/article/getting-start-tdd/clojure/06-task-runner-and-ci-cd.md +241 -0
- package/lib/assets/docs/article/getting-start-tdd/clojure/07-protocols-and-records.md +131 -0
- package/lib/assets/docs/article/getting-start-tdd/clojure/08-multimethods-and-design-patterns.md +130 -0
- package/lib/assets/docs/article/getting-start-tdd/clojure/09-namespaces-and-module-design.md +127 -0
- package/lib/assets/docs/article/getting-start-tdd/clojure/10-higher-order-functions-and-composition.md +114 -0
- package/lib/assets/docs/article/getting-start-tdd/clojure/11-persistent-data-and-pipeline.md +138 -0
- package/lib/assets/docs/article/getting-start-tdd/clojure/12-error-handling-and-spec.md +161 -0
- package/lib/assets/docs/article/getting-start-tdd/clojure/index.md +65 -0
- package/lib/assets/docs/article/getting-start-tdd/csharp/chapter01.md +232 -0
- package/lib/assets/docs/article/getting-start-tdd/csharp/chapter02.md +244 -0
- package/lib/assets/docs/article/getting-start-tdd/csharp/chapter03.md +202 -0
- package/lib/assets/docs/article/getting-start-tdd/csharp/chapter04.md +92 -0
- package/lib/assets/docs/article/getting-start-tdd/csharp/chapter05.md +256 -0
- package/lib/assets/docs/article/getting-start-tdd/csharp/chapter06.md +195 -0
- package/lib/assets/docs/article/getting-start-tdd/csharp/chapter07.md +214 -0
- package/lib/assets/docs/article/getting-start-tdd/csharp/chapter08.md +249 -0
- package/lib/assets/docs/article/getting-start-tdd/csharp/chapter09.md +174 -0
- package/lib/assets/docs/article/getting-start-tdd/csharp/chapter10.md +166 -0
- package/lib/assets/docs/article/getting-start-tdd/csharp/chapter11.md +192 -0
- package/lib/assets/docs/article/getting-start-tdd/csharp/chapter12.md +211 -0
- package/lib/assets/docs/article/getting-start-tdd/csharp/index.md +83 -0
- package/lib/assets/docs/article/getting-start-tdd/elixir/01-todo-list-and-first-test.md +87 -0
- package/lib/assets/docs/article/getting-start-tdd/elixir/02-fake-it-and-triangulation.md +95 -0
- package/lib/assets/docs/article/getting-start-tdd/elixir/03-obvious-implementation-and-refactoring.md +109 -0
- package/lib/assets/docs/article/getting-start-tdd/elixir/04-version-control-and-conventional-commits.md +96 -0
- package/lib/assets/docs/article/getting-start-tdd/elixir/05-package-management-and-static-analysis.md +88 -0
- package/lib/assets/docs/article/getting-start-tdd/elixir/06-task-runner-and-ci-cd.md +71 -0
- package/lib/assets/docs/article/getting-start-tdd/elixir/07-structs-and-protocols.md +110 -0
- package/lib/assets/docs/article/getting-start-tdd/elixir/08-pattern-matching-and-guards.md +108 -0
- package/lib/assets/docs/article/getting-start-tdd/elixir/09-module-design-and-behaviours.md +104 -0
- package/lib/assets/docs/article/getting-start-tdd/elixir/10-higher-order-functions-and-pipeline.md +178 -0
- package/lib/assets/docs/article/getting-start-tdd/elixir/11-stream-and-lazy-evaluation.md +142 -0
- package/lib/assets/docs/article/getting-start-tdd/elixir/12-error-handling-and-with.md +145 -0
- package/lib/assets/docs/article/getting-start-tdd/elixir/index.md +35 -0
- package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter01.md +202 -0
- package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter02.md +246 -0
- package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter03.md +218 -0
- package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter04.md +179 -0
- package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter05.md +267 -0
- package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter06.md +190 -0
- package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter07.md +161 -0
- package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter08.md +175 -0
- package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter09.md +222 -0
- package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter10.md +189 -0
- package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter11.md +212 -0
- package/lib/assets/docs/article/getting-start-tdd/fsharp/chapter12.md +215 -0
- package/lib/assets/docs/article/getting-start-tdd/fsharp/index.md +71 -0
- package/lib/assets/docs/article/getting-start-tdd/go/01-todo-list-and-first-test.md +213 -0
- package/lib/assets/docs/article/getting-start-tdd/go/02-fake-it-and-triangulation.md +302 -0
- package/lib/assets/docs/article/getting-start-tdd/go/03-obvious-implementation-and-refactoring.md +339 -0
- package/lib/assets/docs/article/getting-start-tdd/go/04-version-control-and-conventional-commits.md +112 -0
- package/lib/assets/docs/article/getting-start-tdd/go/05-package-management-and-static-analysis.md +272 -0
- package/lib/assets/docs/article/getting-start-tdd/go/06-task-runner-and-ci-cd.md +233 -0
- package/lib/assets/docs/article/getting-start-tdd/go/07-encapsulation-and-polymorphism.md +394 -0
- package/lib/assets/docs/article/getting-start-tdd/go/08-design-patterns.md +422 -0
- package/lib/assets/docs/article/getting-start-tdd/go/09-solid-principles-and-module-design.md +400 -0
- package/lib/assets/docs/article/getting-start-tdd/go/10-higher-order-functions-and-composition.md +226 -0
- package/lib/assets/docs/article/getting-start-tdd/go/11-immutable-data-and-pipeline.md +296 -0
- package/lib/assets/docs/article/getting-start-tdd/go/12-error-handling-and-type-safety.md +411 -0
- package/lib/assets/docs/article/getting-start-tdd/go/index.md +83 -0
- package/lib/assets/docs/article/getting-start-tdd/haskell/01-todo-list-and-first-test.md +279 -0
- package/lib/assets/docs/article/getting-start-tdd/haskell/02-fake-it-and-triangulation.md +337 -0
- package/lib/assets/docs/article/getting-start-tdd/haskell/03-obvious-implementation-and-refactoring.md +257 -0
- package/lib/assets/docs/article/getting-start-tdd/haskell/04-version-control-and-conventional-commits.md +182 -0
- package/lib/assets/docs/article/getting-start-tdd/haskell/05-package-management-and-static-analysis.md +313 -0
- package/lib/assets/docs/article/getting-start-tdd/haskell/06-task-runner-and-ci-cd.md +309 -0
- package/lib/assets/docs/article/getting-start-tdd/haskell/07-algebraic-data-types-and-type-classes.md +412 -0
- package/lib/assets/docs/article/getting-start-tdd/haskell/08-pattern-matching-and-guards.md +390 -0
- package/lib/assets/docs/article/getting-start-tdd/haskell/09-module-design-and-smart-constructors.md +461 -0
- package/lib/assets/docs/article/getting-start-tdd/haskell/10-higher-order-functions-and-currying.md +434 -0
- package/lib/assets/docs/article/getting-start-tdd/haskell/11-function-composition-and-point-free.md +392 -0
- package/lib/assets/docs/article/getting-start-tdd/haskell/12-monad-and-error-handling.md +631 -0
- package/lib/assets/docs/article/getting-start-tdd/haskell/index.md +49 -0
- package/lib/assets/docs/article/getting-start-tdd/index.md +93 -0
- package/lib/assets/docs/article/getting-start-tdd/integration/01-language-overview.md +375 -0
- package/lib/assets/docs/article/getting-start-tdd/integration/02-test-framework-comparison.md +349 -0
- package/lib/assets/docs/article/getting-start-tdd/integration/03-tdd-pattern-comparison.md +445 -0
- package/lib/assets/docs/article/getting-start-tdd/integration/04-type-system-comparison.md +405 -0
- package/lib/assets/docs/article/getting-start-tdd/integration/05-dev-environment-comparison.md +330 -0
- package/lib/assets/docs/article/getting-start-tdd/integration/06-learning-roadmap.md +274 -0
- package/lib/assets/docs/article/getting-start-tdd/integration/index.md +69 -0
- package/lib/assets/docs/article/getting-start-tdd/java/01-todo-list-and-first-test.md +234 -0
- package/lib/assets/docs/article/getting-start-tdd/java/02-fake-it-and-triangulation.md +261 -0
- package/lib/assets/docs/article/getting-start-tdd/java/03-obvious-implementation-and-refactoring.md +185 -0
- package/lib/assets/docs/article/getting-start-tdd/java/04-version-control-and-conventional-commits.md +115 -0
- package/lib/assets/docs/article/getting-start-tdd/java/05-package-management-and-static-analysis.md +382 -0
- package/lib/assets/docs/article/getting-start-tdd/java/06-task-runner-and-ci-cd.md +272 -0
- package/lib/assets/docs/article/getting-start-tdd/java/07-encapsulation-and-polymorphism.md +626 -0
- package/lib/assets/docs/article/getting-start-tdd/java/08-design-patterns.md +393 -0
- package/lib/assets/docs/article/getting-start-tdd/java/09-solid-principles-and-module-design.md +310 -0
- package/lib/assets/docs/article/getting-start-tdd/java/10-higher-order-functions-and-composition.md +188 -0
- package/lib/assets/docs/article/getting-start-tdd/java/11-immutable-data-and-pipeline.md +167 -0
- package/lib/assets/docs/article/getting-start-tdd/java/12-error-handling-and-type-safety.md +205 -0
- package/lib/assets/docs/article/getting-start-tdd/java/index.md +61 -0
- package/lib/assets/docs/article/getting-start-tdd/node/01-todo-list-and-first-test.md +244 -0
- package/lib/assets/docs/article/getting-start-tdd/node/02-fake-it-and-triangulation.md +262 -0
- package/lib/assets/docs/article/getting-start-tdd/node/03-obvious-implementation-and-refactoring.md +169 -0
- package/lib/assets/docs/article/getting-start-tdd/node/04-version-control-and-conventional-commits.md +112 -0
- package/lib/assets/docs/article/getting-start-tdd/node/05-package-management-and-static-analysis.md +314 -0
- package/lib/assets/docs/article/getting-start-tdd/node/06-task-runner-and-ci-cd.md +235 -0
- package/lib/assets/docs/article/getting-start-tdd/node/07-encapsulation-and-polymorphism.md +327 -0
- package/lib/assets/docs/article/getting-start-tdd/node/08-design-patterns.md +322 -0
- package/lib/assets/docs/article/getting-start-tdd/node/09-solid-principles-and-module-design.md +285 -0
- package/lib/assets/docs/article/getting-start-tdd/node/10-higher-order-functions-and-composition.md +199 -0
- package/lib/assets/docs/article/getting-start-tdd/node/11-immutable-data-and-pipeline.md +207 -0
- package/lib/assets/docs/article/getting-start-tdd/node/12-error-handling-and-type-safety.md +295 -0
- package/lib/assets/docs/article/getting-start-tdd/node/index.md +56 -0
- package/lib/assets/docs/article/getting-start-tdd/php/01-todo-list-and-first-test.md +259 -0
- package/lib/assets/docs/article/getting-start-tdd/php/02-fake-it-and-triangulation.md +200 -0
- package/lib/assets/docs/article/getting-start-tdd/php/03-obvious-implementation-and-refactoring.md +248 -0
- package/lib/assets/docs/article/getting-start-tdd/php/04-version-control-and-conventional-commits.md +141 -0
- package/lib/assets/docs/article/getting-start-tdd/php/05-package-management-and-static-analysis.md +410 -0
- package/lib/assets/docs/article/getting-start-tdd/php/06-task-runner-and-ci-cd.md +321 -0
- package/lib/assets/docs/article/getting-start-tdd/php/07-encapsulation-and-polymorphism.md +372 -0
- package/lib/assets/docs/article/getting-start-tdd/php/08-design-patterns.md +453 -0
- package/lib/assets/docs/article/getting-start-tdd/php/09-solid-principles-and-module-design.md +460 -0
- package/lib/assets/docs/article/getting-start-tdd/php/10-higher-order-functions-and-composition.md +182 -0
- package/lib/assets/docs/article/getting-start-tdd/php/11-immutable-data-and-pipeline.md +266 -0
- package/lib/assets/docs/article/getting-start-tdd/php/12-error-handling-and-type-safety.md +308 -0
- package/lib/assets/docs/article/getting-start-tdd/php/index.md +84 -0
- package/lib/assets/docs/article/getting-start-tdd/python/01-todo-list-and-first-test.md +201 -0
- package/lib/assets/docs/article/getting-start-tdd/python/02-fake-it-and-triangulation.md +247 -0
- package/lib/assets/docs/article/getting-start-tdd/python/03-obvious-implementation-and-refactoring.md +199 -0
- package/lib/assets/docs/article/getting-start-tdd/python/04-version-control-and-conventional-commits.md +87 -0
- package/lib/assets/docs/article/getting-start-tdd/python/05-package-management-and-static-analysis.md +274 -0
- package/lib/assets/docs/article/getting-start-tdd/python/06-task-runner-and-ci-cd.md +190 -0
- package/lib/assets/docs/article/getting-start-tdd/python/07-encapsulation-and-polymorphism.md +208 -0
- package/lib/assets/docs/article/getting-start-tdd/python/08-design-patterns.md +172 -0
- package/lib/assets/docs/article/getting-start-tdd/python/09-solid-principles-and-module-design.md +130 -0
- package/lib/assets/docs/article/getting-start-tdd/python/10-higher-order-functions-and-composition.md +122 -0
- package/lib/assets/docs/article/getting-start-tdd/python/11-immutable-data-and-pipeline.md +116 -0
- package/lib/assets/docs/article/getting-start-tdd/python/12-error-handling-and-type-safety.md +126 -0
- package/lib/assets/docs/article/getting-start-tdd/python/index.md +55 -0
- package/lib/assets/docs/article/getting-start-tdd/ruby/01-todo-list-and-first-test.md +231 -0
- package/lib/assets/docs/article/getting-start-tdd/ruby/02-fake-it-and-triangulation.md +238 -0
- package/lib/assets/docs/article/getting-start-tdd/ruby/03-obvious-implementation-and-refactoring.md +228 -0
- package/lib/assets/docs/article/getting-start-tdd/ruby/04-version-control-and-conventional-commits.md +112 -0
- package/lib/assets/docs/article/getting-start-tdd/ruby/05-package-management-and-static-analysis.md +287 -0
- package/lib/assets/docs/article/getting-start-tdd/ruby/06-task-runner-and-ci-cd.md +248 -0
- package/lib/assets/docs/article/getting-start-tdd/ruby/07-encapsulation-and-polymorphism.md +279 -0
- package/lib/assets/docs/article/getting-start-tdd/ruby/08-design-patterns.md +329 -0
- package/lib/assets/docs/article/getting-start-tdd/ruby/09-solid-principles-and-module-design.md +196 -0
- package/lib/assets/docs/article/getting-start-tdd/ruby/10-higher-order-functions-and-composition.md +175 -0
- package/lib/assets/docs/article/getting-start-tdd/ruby/11-immutable-data-and-pipeline.md +233 -0
- package/lib/assets/docs/article/getting-start-tdd/ruby/12-error-handling-and-type-safety.md +398 -0
- package/lib/assets/docs/article/getting-start-tdd/ruby/index.md +83 -0
- package/lib/assets/docs/article/getting-start-tdd/rust/01-todo-list-and-first-test.md +211 -0
- package/lib/assets/docs/article/getting-start-tdd/rust/02-fake-it-and-triangulation.md +264 -0
- package/lib/assets/docs/article/getting-start-tdd/rust/03-obvious-implementation-and-refactoring.md +233 -0
- package/lib/assets/docs/article/getting-start-tdd/rust/04-version-control-and-conventional-commits.md +92 -0
- package/lib/assets/docs/article/getting-start-tdd/rust/05-package-management-and-static-analysis.md +212 -0
- package/lib/assets/docs/article/getting-start-tdd/rust/06-task-runner-and-ci-cd.md +164 -0
- package/lib/assets/docs/article/getting-start-tdd/rust/07-encapsulation-and-polymorphism.md +142 -0
- package/lib/assets/docs/article/getting-start-tdd/rust/08-design-patterns.md +145 -0
- package/lib/assets/docs/article/getting-start-tdd/rust/09-solid-principles-and-module-design.md +110 -0
- package/lib/assets/docs/article/getting-start-tdd/rust/10-higher-order-functions-and-composition.md +94 -0
- package/lib/assets/docs/article/getting-start-tdd/rust/11-immutable-data-and-pipeline.md +105 -0
- package/lib/assets/docs/article/getting-start-tdd/rust/12-error-handling-and-type-safety.md +112 -0
- package/lib/assets/docs/article/getting-start-tdd/rust/index.md +83 -0
- package/lib/assets/docs/article/getting-start-tdd/scala/01-todo-list-and-first-test.md +111 -0
- package/lib/assets/docs/article/getting-start-tdd/scala/02-fake-it-and-triangulation.md +107 -0
- package/lib/assets/docs/article/getting-start-tdd/scala/03-obvious-implementation-and-refactoring.md +99 -0
- package/lib/assets/docs/article/getting-start-tdd/scala/04-version-control-and-conventional-commits.md +123 -0
- package/lib/assets/docs/article/getting-start-tdd/scala/05-package-management-and-static-analysis.md +196 -0
- package/lib/assets/docs/article/getting-start-tdd/scala/06-task-runner-and-ci-cd.md +186 -0
- package/lib/assets/docs/article/getting-start-tdd/scala/07-case-classes-and-traits.md +139 -0
- package/lib/assets/docs/article/getting-start-tdd/scala/08-pattern-matching-and-sealed-traits.md +106 -0
- package/lib/assets/docs/article/getting-start-tdd/scala/09-packages-and-module-design.md +75 -0
- package/lib/assets/docs/article/getting-start-tdd/scala/10-higher-order-functions-and-composition.md +104 -0
- package/lib/assets/docs/article/getting-start-tdd/scala/11-collections-and-lazy-evaluation.md +94 -0
- package/lib/assets/docs/article/getting-start-tdd/scala/12-error-handling-and-type-safety.md +92 -0
- package/lib/assets/docs/article/getting-start-tdd/scala/index.md +65 -0
- package/lib/assets/docs/article/grokking-concurrency/all/index.md +404 -0
- package/lib/assets/docs/article/grokking-concurrency/all/part-1-ch02-sequential.md +554 -0
- package/lib/assets/docs/article/grokking-concurrency/all/part-2-ch04-05-threads.md +469 -0
- package/lib/assets/docs/article/grokking-concurrency/all/part-3-ch06-multitasking.md +520 -0
- package/lib/assets/docs/article/grokking-concurrency/all/part-4-ch07-parallel-patterns.md +420 -0
- package/lib/assets/docs/article/grokking-concurrency/all/part-5-ch08-09-synchronization.md +510 -0
- package/lib/assets/docs/article/grokking-concurrency/all/part-6-ch10-11-nonblocking-io.md +435 -0
- package/lib/assets/docs/article/grokking-concurrency/all/part-7-ch12-async.md +465 -0
- package/lib/assets/docs/article/grokking-concurrency/all/part-8-ch13-mapreduce.md +377 -0
- package/lib/assets/docs/article/grokking-concurrency/clojure/index.md +116 -0
- package/lib/assets/docs/article/grokking-concurrency/clojure/part-1.md +108 -0
- package/lib/assets/docs/article/grokking-concurrency/clojure/part-2.md +101 -0
- package/lib/assets/docs/article/grokking-concurrency/clojure/part-3.md +122 -0
- package/lib/assets/docs/article/grokking-concurrency/clojure/part-4.md +123 -0
- package/lib/assets/docs/article/grokking-concurrency/clojure/part-5.md +118 -0
- package/lib/assets/docs/article/grokking-concurrency/clojure/part-6.md +89 -0
- package/lib/assets/docs/article/grokking-concurrency/clojure/part-7.md +100 -0
- package/lib/assets/docs/article/grokking-concurrency/clojure/part-8.md +120 -0
- package/lib/assets/docs/article/grokking-concurrency/csharp/index.md +101 -0
- package/lib/assets/docs/article/grokking-concurrency/csharp/part-1.md +97 -0
- package/lib/assets/docs/article/grokking-concurrency/csharp/part-2.md +123 -0
- package/lib/assets/docs/article/grokking-concurrency/csharp/part-3.md +101 -0
- package/lib/assets/docs/article/grokking-concurrency/csharp/part-4.md +112 -0
- package/lib/assets/docs/article/grokking-concurrency/csharp/part-5.md +99 -0
- package/lib/assets/docs/article/grokking-concurrency/csharp/part-6.md +61 -0
- package/lib/assets/docs/article/grokking-concurrency/csharp/part-7.md +84 -0
- package/lib/assets/docs/article/grokking-concurrency/csharp/part-8.md +92 -0
- package/lib/assets/docs/article/grokking-concurrency/fsharp/index.md +65 -0
- package/lib/assets/docs/article/grokking-concurrency/fsharp/part-1.md +80 -0
- package/lib/assets/docs/article/grokking-concurrency/fsharp/part-2.md +103 -0
- package/lib/assets/docs/article/grokking-concurrency/fsharp/part-3.md +94 -0
- package/lib/assets/docs/article/grokking-concurrency/fsharp/part-4.md +110 -0
- package/lib/assets/docs/article/grokking-concurrency/fsharp/part-5.md +104 -0
- package/lib/assets/docs/article/grokking-concurrency/fsharp/part-6.md +93 -0
- package/lib/assets/docs/article/grokking-concurrency/fsharp/part-7.md +121 -0
- package/lib/assets/docs/article/grokking-concurrency/fsharp/part-8.md +107 -0
- package/lib/assets/docs/article/grokking-concurrency/haskell/index.md +248 -0
- package/lib/assets/docs/article/grokking-concurrency/haskell/part-1.md +96 -0
- package/lib/assets/docs/article/grokking-concurrency/haskell/part-2.md +96 -0
- package/lib/assets/docs/article/grokking-concurrency/haskell/part-3.md +91 -0
- package/lib/assets/docs/article/grokking-concurrency/haskell/part-4.md +106 -0
- package/lib/assets/docs/article/grokking-concurrency/haskell/part-5.md +99 -0
- package/lib/assets/docs/article/grokking-concurrency/haskell/part-6.md +95 -0
- package/lib/assets/docs/article/grokking-concurrency/haskell/part-7.md +111 -0
- package/lib/assets/docs/article/grokking-concurrency/haskell/part-8.md +118 -0
- package/lib/assets/docs/article/grokking-concurrency/index.md +66 -0
- package/lib/assets/docs/article/grokking-concurrency/java/index.md +102 -0
- package/lib/assets/docs/article/grokking-concurrency/java/part-1.md +308 -0
- package/lib/assets/docs/article/grokking-concurrency/java/part-2.md +334 -0
- package/lib/assets/docs/article/grokking-concurrency/java/part-3.md +221 -0
- package/lib/assets/docs/article/grokking-concurrency/java/part-4.md +213 -0
- package/lib/assets/docs/article/grokking-concurrency/java/part-5.md +112 -0
- package/lib/assets/docs/article/grokking-concurrency/java/part-6.md +69 -0
- package/lib/assets/docs/article/grokking-concurrency/java/part-7.md +101 -0
- package/lib/assets/docs/article/grokking-concurrency/java/part-8.md +101 -0
- package/lib/assets/docs/article/grokking-concurrency/python/index.md +313 -0
- package/lib/assets/docs/article/grokking-concurrency/python/part-1.md +239 -0
- package/lib/assets/docs/article/grokking-concurrency/python/part-2.md +418 -0
- package/lib/assets/docs/article/grokking-concurrency/python/part-3.md +227 -0
- package/lib/assets/docs/article/grokking-concurrency/python/part-4.md +299 -0
- package/lib/assets/docs/article/grokking-concurrency/python/part-5.md +315 -0
- package/lib/assets/docs/article/grokking-concurrency/python/part-6.md +297 -0
- package/lib/assets/docs/article/grokking-concurrency/python/part-7.md +314 -0
- package/lib/assets/docs/article/grokking-concurrency/python/part-8.md +360 -0
- package/lib/assets/docs/article/grokking-concurrency/rust/index.md +270 -0
- package/lib/assets/docs/article/grokking-concurrency/rust/part-1.md +108 -0
- package/lib/assets/docs/article/grokking-concurrency/rust/part-2.md +120 -0
- package/lib/assets/docs/article/grokking-concurrency/rust/part-3.md +126 -0
- package/lib/assets/docs/article/grokking-concurrency/rust/part-4.md +175 -0
- package/lib/assets/docs/article/grokking-concurrency/rust/part-5.md +158 -0
- package/lib/assets/docs/article/grokking-concurrency/rust/part-6.md +94 -0
- package/lib/assets/docs/article/grokking-concurrency/rust/part-7.md +133 -0
- package/lib/assets/docs/article/grokking-concurrency/rust/part-8.md +155 -0
- package/lib/assets/docs/article/grokking-concurrency/scala/index.md +69 -0
- package/lib/assets/docs/article/grokking-concurrency/scala/part-1.md +78 -0
- package/lib/assets/docs/article/grokking-concurrency/scala/part-2.md +112 -0
- package/lib/assets/docs/article/grokking-concurrency/scala/part-3.md +93 -0
- package/lib/assets/docs/article/grokking-concurrency/scala/part-4.md +110 -0
- package/lib/assets/docs/article/grokking-concurrency/scala/part-5.md +119 -0
- package/lib/assets/docs/article/grokking-concurrency/scala/part-6.md +83 -0
- package/lib/assets/docs/article/grokking-concurrency/scala/part-7.md +131 -0
- package/lib/assets/docs/article/grokking-concurrency/scala/part-8.md +129 -0
- package/lib/assets/docs/article/grokkingfp/all/index.md +368 -0
- package/lib/assets/docs/article/grokkingfp/all/part-1-ch01-fp-introduction.md +530 -0
- package/lib/assets/docs/article/grokkingfp/all/part-1-ch02-pure-functions.md +923 -0
- package/lib/assets/docs/article/grokkingfp/all/part-2-ch03-immutable-data.md +1122 -0
- package/lib/assets/docs/article/grokkingfp/all/part-2-ch04-higher-order-functions.md +1104 -0
- package/lib/assets/docs/article/grokkingfp/all/part-2-ch05-flatmap.md +1026 -0
- package/lib/assets/docs/article/grokkingfp/all/part-3-ch06-option.md +777 -0
- package/lib/assets/docs/article/grokkingfp/all/part-3-ch07-either-adt.md +871 -0
- package/lib/assets/docs/article/grokkingfp/all/part-4-ch08-io-monad.md +972 -0
- package/lib/assets/docs/article/grokkingfp/all/part-4-ch09-streams.md +926 -0
- package/lib/assets/docs/article/grokkingfp/all/part-5-ch10-concurrency.md +870 -0
- package/lib/assets/docs/article/grokkingfp/all/part-6-ch11-application.md +715 -0
- package/lib/assets/docs/article/grokkingfp/all/part-6-ch12-testing.md +626 -0
- package/lib/assets/docs/article/grokkingfp/all/writing-plan.md +696 -0
- package/lib/assets/docs/article/grokkingfp/clojure/index.md +276 -0
- package/lib/assets/docs/article/grokkingfp/clojure/part-1.md +667 -0
- package/lib/assets/docs/article/grokkingfp/clojure/part-2.md +643 -0
- package/lib/assets/docs/article/grokkingfp/clojure/part-3.md +620 -0
- package/lib/assets/docs/article/grokkingfp/clojure/part-4.md +697 -0
- package/lib/assets/docs/article/grokkingfp/clojure/part-5.md +751 -0
- package/lib/assets/docs/article/grokkingfp/clojure/part-6.md +721 -0
- package/lib/assets/docs/article/grokkingfp/csharp/index.md +246 -0
- package/lib/assets/docs/article/grokkingfp/csharp/part-1.md +811 -0
- package/lib/assets/docs/article/grokkingfp/csharp/part-2.md +971 -0
- package/lib/assets/docs/article/grokkingfp/csharp/part-3.md +981 -0
- package/lib/assets/docs/article/grokkingfp/csharp/part-4.md +949 -0
- package/lib/assets/docs/article/grokkingfp/csharp/part-5.md +947 -0
- package/lib/assets/docs/article/grokkingfp/csharp/part-6.md +739 -0
- package/lib/assets/docs/article/grokkingfp/elixir/index.md +203 -0
- package/lib/assets/docs/article/grokkingfp/elixir/part-1.md +710 -0
- package/lib/assets/docs/article/grokkingfp/elixir/part-2.md +838 -0
- package/lib/assets/docs/article/grokkingfp/elixir/part-3.md +985 -0
- package/lib/assets/docs/article/grokkingfp/elixir/part-4.md +974 -0
- package/lib/assets/docs/article/grokkingfp/elixir/part-5.md +1284 -0
- package/lib/assets/docs/article/grokkingfp/elixir/part-6.md +1047 -0
- package/lib/assets/docs/article/grokkingfp/fsharp/index.md +210 -0
- package/lib/assets/docs/article/grokkingfp/fsharp/part-1.md +714 -0
- package/lib/assets/docs/article/grokkingfp/fsharp/part-2.md +961 -0
- package/lib/assets/docs/article/grokkingfp/fsharp/part-3.md +972 -0
- package/lib/assets/docs/article/grokkingfp/fsharp/part-4.md +832 -0
- package/lib/assets/docs/article/grokkingfp/fsharp/part-5.md +911 -0
- package/lib/assets/docs/article/grokkingfp/fsharp/part-6.md +920 -0
- package/lib/assets/docs/article/grokkingfp/haskell/index.md +234 -0
- package/lib/assets/docs/article/grokkingfp/haskell/part-1.md +591 -0
- package/lib/assets/docs/article/grokkingfp/haskell/part-2.md +866 -0
- package/lib/assets/docs/article/grokkingfp/haskell/part-3.md +915 -0
- package/lib/assets/docs/article/grokkingfp/haskell/part-4.md +876 -0
- package/lib/assets/docs/article/grokkingfp/haskell/part-5.md +845 -0
- package/lib/assets/docs/article/grokkingfp/haskell/part-6.md +842 -0
- package/lib/assets/docs/article/grokkingfp/index.md +143 -0
- package/lib/assets/docs/article/grokkingfp/java/index.md +211 -0
- package/lib/assets/docs/article/grokkingfp/java/part-1.md +646 -0
- package/lib/assets/docs/article/grokkingfp/java/part-2.md +667 -0
- package/lib/assets/docs/article/grokkingfp/java/part-3.md +672 -0
- package/lib/assets/docs/article/grokkingfp/java/part-4.md +771 -0
- package/lib/assets/docs/article/grokkingfp/java/part-5.md +959 -0
- package/lib/assets/docs/article/grokkingfp/java/part-6.md +1324 -0
- package/lib/assets/docs/article/grokkingfp/python/index.md +258 -0
- package/lib/assets/docs/article/grokkingfp/python/part-1.md +437 -0
- package/lib/assets/docs/article/grokkingfp/python/part-2.md +958 -0
- package/lib/assets/docs/article/grokkingfp/python/part-3.md +1004 -0
- package/lib/assets/docs/article/grokkingfp/python/part-4.md +765 -0
- package/lib/assets/docs/article/grokkingfp/python/part-5.md +747 -0
- package/lib/assets/docs/article/grokkingfp/python/part-6.md +861 -0
- package/lib/assets/docs/article/grokkingfp/ruby/index.md +330 -0
- package/lib/assets/docs/article/grokkingfp/ruby/part-1.md +753 -0
- package/lib/assets/docs/article/grokkingfp/ruby/part-2.md +938 -0
- package/lib/assets/docs/article/grokkingfp/ruby/part-3.md +946 -0
- package/lib/assets/docs/article/grokkingfp/ruby/part-4.md +921 -0
- package/lib/assets/docs/article/grokkingfp/ruby/part-5.md +908 -0
- package/lib/assets/docs/article/grokkingfp/ruby/part-6.md +1410 -0
- package/lib/assets/docs/article/grokkingfp/rust/index.md +242 -0
- package/lib/assets/docs/article/grokkingfp/rust/part-1.md +634 -0
- package/lib/assets/docs/article/grokkingfp/rust/part-2.md +1060 -0
- package/lib/assets/docs/article/grokkingfp/rust/part-3.md +994 -0
- package/lib/assets/docs/article/grokkingfp/rust/part-4.md +571 -0
- package/lib/assets/docs/article/grokkingfp/rust/part-5.md +705 -0
- package/lib/assets/docs/article/grokkingfp/rust/part-6.md +508 -0
- package/lib/assets/docs/article/grokkingfp/scala/index.md +171 -0
- package/lib/assets/docs/article/grokkingfp/scala/part-1.md +541 -0
- package/lib/assets/docs/article/grokkingfp/scala/part-2.md +946 -0
- package/lib/assets/docs/article/grokkingfp/scala/part-3.md +917 -0
- package/lib/assets/docs/article/grokkingfp/scala/part-4.md +742 -0
- package/lib/assets/docs/article/grokkingfp/scala/part-5.md +722 -0
- package/lib/assets/docs/article/grokkingfp/scala/part-6.md +865 -0
- package/lib/assets/docs/article/grokkingfp/typescript/index.md +273 -0
- package/lib/assets/docs/article/grokkingfp/typescript/part-1.md +559 -0
- package/lib/assets/docs/article/grokkingfp/typescript/part-2.md +1129 -0
- package/lib/assets/docs/article/grokkingfp/typescript/part-3.md +842 -0
- package/lib/assets/docs/article/grokkingfp/typescript/part-4.md +1085 -0
- package/lib/assets/docs/article/grokkingfp/typescript/part-5.md +717 -0
- package/lib/assets/docs/article/grokkingfp/typescript/part-6.md +980 -0
- package/lib/assets/docs/article/index.md +36 -0
- package/lib/assets/docs/design/index.md +39 -27
- package/lib/assets/docs/development/index.md +11 -1
- package/lib/assets/docs/index.md +33 -106
- package/lib/assets/docs/operation/index.md +16 -6
- package/lib/assets/docs/reference/index.md +5 -4
- package/lib/assets/docs/requirements/index.md +13 -6
- package/lib/assets/docs/strategy/index.md +11 -4
- package/lib/assets/docs/template/index.md +9 -5
- package/lib/assets/mkdocs.yml +29 -17
- package/package.json +1 -1
|
@@ -0,0 +1,299 @@
|
|
|
1
|
+
---
|
|
2
|
+
title: Part IV - タスク分解と並列パターン
|
|
3
|
+
description: 並列処理のデザインパターンを学ぶ
|
|
4
|
+
published: true
|
|
5
|
+
date: 2025-12-30T09:00:00.000Z
|
|
6
|
+
tags: concurrency, fork-join, pipeline, python
|
|
7
|
+
editor: markdown
|
|
8
|
+
dateCreated: 2025-12-30T09:00:00.000Z
|
|
9
|
+
---
|
|
10
|
+
|
|
11
|
+
# Part IV: タスク分解と並列パターン
|
|
12
|
+
|
|
13
|
+
## 概要
|
|
14
|
+
|
|
15
|
+
本章では、複雑な問題を並列化可能なサブタスクに分割する手法を学びます。Fork/Join パターンとパイプラインパターンの実装を通じて、並列処理のデザインパターンを理解します。
|
|
16
|
+
|
|
17
|
+
---
|
|
18
|
+
|
|
19
|
+
## 第7章: 並列パターン
|
|
20
|
+
|
|
21
|
+
### データ並列 vs タスク並列
|
|
22
|
+
|
|
23
|
+
| パターン | 説明 | 例 |
|
|
24
|
+
|----------|------|-----|
|
|
25
|
+
| データ並列 | 同じ操作を複数のデータに適用 | 配列の各要素を2倍 |
|
|
26
|
+
| タスク並列 | 異なる操作を同時に実行 | 入力・計算・出力 |
|
|
27
|
+
|
|
28
|
+
---
|
|
29
|
+
|
|
30
|
+
## Fork/Join パターン
|
|
31
|
+
|
|
32
|
+
問題を分割し、並列に処理した後、結果を統合するパターンです。
|
|
33
|
+
|
|
34
|
+
### 投票集計の例
|
|
35
|
+
|
|
36
|
+
```python
|
|
37
|
+
#!/usr/bin/env python3
|
|
38
|
+
|
|
39
|
+
"""Fork/Join パターンによる投票集計"""
|
|
40
|
+
|
|
41
|
+
import typing as T
|
|
42
|
+
import random
|
|
43
|
+
from math import ceil
|
|
44
|
+
from threading import Thread
|
|
45
|
+
|
|
46
|
+
|
|
47
|
+
class StaffMember(Thread):
|
|
48
|
+
"""投票用紙を集計するスタッフ"""
|
|
49
|
+
|
|
50
|
+
def __init__(self, votes: T.List[int]):
|
|
51
|
+
super().__init__()
|
|
52
|
+
self.votes = votes
|
|
53
|
+
self.summary: T.Dict[int, int] = {}
|
|
54
|
+
|
|
55
|
+
def run(self) -> None:
|
|
56
|
+
for vote in self.votes:
|
|
57
|
+
if vote in self.summary:
|
|
58
|
+
self.summary[vote] += 1
|
|
59
|
+
else:
|
|
60
|
+
self.summary[vote] = 1
|
|
61
|
+
|
|
62
|
+
|
|
63
|
+
def count_votes(votes: T.List[int], num_workers: int = 3) -> T.Dict[int, int]:
|
|
64
|
+
"""投票を複数のワーカーで並列集計"""
|
|
65
|
+
workers = []
|
|
66
|
+
vote_count = len(votes)
|
|
67
|
+
votes_per_worker = ceil(vote_count / num_workers)
|
|
68
|
+
|
|
69
|
+
# Fork: 投票用紙をワーカーに分配
|
|
70
|
+
for i in range(num_workers):
|
|
71
|
+
start = i * votes_per_worker
|
|
72
|
+
end = start + votes_per_worker
|
|
73
|
+
pile = votes[start:end]
|
|
74
|
+
worker = StaffMember(pile)
|
|
75
|
+
workers.append(worker)
|
|
76
|
+
worker.start()
|
|
77
|
+
|
|
78
|
+
# Join: 全ワーカーの完了を待機
|
|
79
|
+
for worker in workers:
|
|
80
|
+
worker.join()
|
|
81
|
+
|
|
82
|
+
# 結果の統合
|
|
83
|
+
total: T.Dict[int, int] = {}
|
|
84
|
+
for worker in workers:
|
|
85
|
+
for candidate, count in worker.summary.items():
|
|
86
|
+
total[candidate] = total.get(candidate, 0) + count
|
|
87
|
+
|
|
88
|
+
return total
|
|
89
|
+
|
|
90
|
+
|
|
91
|
+
if __name__ == "__main__":
|
|
92
|
+
# 10万票を生成
|
|
93
|
+
votes = [random.randint(1, 10) for _ in range(100000)]
|
|
94
|
+
result = count_votes(votes)
|
|
95
|
+
print(f"投票結果: {result}")
|
|
96
|
+
```
|
|
97
|
+
|
|
98
|
+
### Fork/Join の流れ
|
|
99
|
+
|
|
100
|
+
```plantuml
|
|
101
|
+
@startuml
|
|
102
|
+
!theme plain
|
|
103
|
+
left to right direction
|
|
104
|
+
|
|
105
|
+
rectangle "Input" as input
|
|
106
|
+
rectangle "Worker 1" as w1
|
|
107
|
+
rectangle "Worker 2" as w2
|
|
108
|
+
rectangle "Worker 3" as w3
|
|
109
|
+
rectangle "部分結果1" as r1
|
|
110
|
+
rectangle "部分結果2" as r2
|
|
111
|
+
rectangle "部分結果3" as r3
|
|
112
|
+
rectangle "統合結果" as result
|
|
113
|
+
|
|
114
|
+
input --> w1 : Fork
|
|
115
|
+
input --> w2
|
|
116
|
+
input --> w3
|
|
117
|
+
w1 --> r1
|
|
118
|
+
w2 --> r2
|
|
119
|
+
w3 --> r3
|
|
120
|
+
r1 --> result : Join
|
|
121
|
+
r2 --> result
|
|
122
|
+
r3 --> result
|
|
123
|
+
@enduml
|
|
124
|
+
```
|
|
125
|
+
|
|
126
|
+
---
|
|
127
|
+
|
|
128
|
+
## パイプラインパターン
|
|
129
|
+
|
|
130
|
+
処理をステージに分割し、各ステージを並列に実行するパターンです。
|
|
131
|
+
|
|
132
|
+
### 洗濯パイプラインの例
|
|
133
|
+
|
|
134
|
+
```python
|
|
135
|
+
#!/usr/bin/env python3
|
|
136
|
+
|
|
137
|
+
"""パイプラインパターンによる洗濯処理"""
|
|
138
|
+
|
|
139
|
+
import time
|
|
140
|
+
from queue import Queue
|
|
141
|
+
from threading import Thread
|
|
142
|
+
|
|
143
|
+
Washload = str
|
|
144
|
+
|
|
145
|
+
|
|
146
|
+
class Washer(Thread):
|
|
147
|
+
"""洗濯機を表すスレッド"""
|
|
148
|
+
|
|
149
|
+
def __init__(self, in_queue: Queue, out_queue: Queue):
|
|
150
|
+
super().__init__()
|
|
151
|
+
self.in_queue = in_queue
|
|
152
|
+
self.out_queue = out_queue
|
|
153
|
+
|
|
154
|
+
def run(self) -> None:
|
|
155
|
+
while True:
|
|
156
|
+
washload = self.in_queue.get()
|
|
157
|
+
print(f"Washer: washing {washload}...")
|
|
158
|
+
time.sleep(4) # 洗濯に4秒
|
|
159
|
+
self.out_queue.put(washload)
|
|
160
|
+
self.in_queue.task_done()
|
|
161
|
+
|
|
162
|
+
|
|
163
|
+
class Dryer(Thread):
|
|
164
|
+
"""乾燥機を表すスレッド"""
|
|
165
|
+
|
|
166
|
+
def __init__(self, in_queue: Queue, out_queue: Queue):
|
|
167
|
+
super().__init__()
|
|
168
|
+
self.in_queue = in_queue
|
|
169
|
+
self.out_queue = out_queue
|
|
170
|
+
|
|
171
|
+
def run(self) -> None:
|
|
172
|
+
while True:
|
|
173
|
+
washload = self.in_queue.get()
|
|
174
|
+
print(f"Dryer: drying {washload}...")
|
|
175
|
+
time.sleep(2) # 乾燥に2秒
|
|
176
|
+
self.out_queue.put(washload)
|
|
177
|
+
self.in_queue.task_done()
|
|
178
|
+
|
|
179
|
+
|
|
180
|
+
class Folder(Thread):
|
|
181
|
+
"""たたみ処理を表すスレッド"""
|
|
182
|
+
|
|
183
|
+
def __init__(self, in_queue: Queue):
|
|
184
|
+
super().__init__()
|
|
185
|
+
self.in_queue = in_queue
|
|
186
|
+
|
|
187
|
+
def run(self) -> None:
|
|
188
|
+
while True:
|
|
189
|
+
washload = self.in_queue.get()
|
|
190
|
+
print(f"Folder: folding {washload}...")
|
|
191
|
+
time.sleep(1) # たたみに1秒
|
|
192
|
+
print(f"Folder: {washload} done!")
|
|
193
|
+
self.in_queue.task_done()
|
|
194
|
+
|
|
195
|
+
|
|
196
|
+
class Pipeline:
|
|
197
|
+
"""洗濯パイプライン"""
|
|
198
|
+
|
|
199
|
+
def run_concurrently(self) -> None:
|
|
200
|
+
# キューのセットアップ
|
|
201
|
+
to_be_washed: Queue = Queue()
|
|
202
|
+
to_be_dried: Queue = Queue()
|
|
203
|
+
to_be_folded: Queue = Queue()
|
|
204
|
+
|
|
205
|
+
# 洗濯物を投入
|
|
206
|
+
for i in range(4):
|
|
207
|
+
to_be_washed.put(f'Washload #{i}')
|
|
208
|
+
|
|
209
|
+
# パイプラインを開始
|
|
210
|
+
Washer(to_be_washed, to_be_dried).start()
|
|
211
|
+
Dryer(to_be_dried, to_be_folded).start()
|
|
212
|
+
Folder(to_be_folded).start()
|
|
213
|
+
|
|
214
|
+
# 完了を待機
|
|
215
|
+
to_be_washed.join()
|
|
216
|
+
to_be_dried.join()
|
|
217
|
+
to_be_folded.join()
|
|
218
|
+
print("All done!")
|
|
219
|
+
|
|
220
|
+
|
|
221
|
+
if __name__ == "__main__":
|
|
222
|
+
pipeline = Pipeline()
|
|
223
|
+
pipeline.run_concurrently()
|
|
224
|
+
```
|
|
225
|
+
|
|
226
|
+
### パイプラインの流れ
|
|
227
|
+
|
|
228
|
+
```plantuml
|
|
229
|
+
@startuml
|
|
230
|
+
!theme plain
|
|
231
|
+
title パイプラインパターン
|
|
232
|
+
|
|
233
|
+
concise "Washer" as washer
|
|
234
|
+
concise "Dryer" as dryer
|
|
235
|
+
concise "Folder" as folder
|
|
236
|
+
|
|
237
|
+
@0
|
|
238
|
+
washer is "Wash 1"
|
|
239
|
+
|
|
240
|
+
@4
|
|
241
|
+
washer is "Wash 2"
|
|
242
|
+
dryer is "Dry 1"
|
|
243
|
+
|
|
244
|
+
@8
|
|
245
|
+
washer is "Wash 3"
|
|
246
|
+
dryer is "Dry 2"
|
|
247
|
+
folder is "Fold 1"
|
|
248
|
+
|
|
249
|
+
@12
|
|
250
|
+
washer is "Wash 4"
|
|
251
|
+
dryer is "Dry 3"
|
|
252
|
+
folder is "Fold 2"
|
|
253
|
+
|
|
254
|
+
@16
|
|
255
|
+
washer is {-}
|
|
256
|
+
dryer is "Dry 4"
|
|
257
|
+
folder is "Fold 3"
|
|
258
|
+
|
|
259
|
+
@20
|
|
260
|
+
dryer is {-}
|
|
261
|
+
folder is "Fold 4"
|
|
262
|
+
|
|
263
|
+
@24
|
|
264
|
+
folder is {-}
|
|
265
|
+
@enduml
|
|
266
|
+
```
|
|
267
|
+
|
|
268
|
+
### 逐次処理との比較
|
|
269
|
+
|
|
270
|
+
| 処理方式 | 4つの洗濯物 |
|
|
271
|
+
|----------|-------------|
|
|
272
|
+
| 逐次処理 | (4+2+1) × 4 = 28秒 |
|
|
273
|
+
| パイプライン | 4+4+4+4 + 2 + 1 = 23秒 |
|
|
274
|
+
|
|
275
|
+
---
|
|
276
|
+
|
|
277
|
+
## Queue によるスレッド間通信
|
|
278
|
+
|
|
279
|
+
`queue.Queue` はスレッドセーフなキューです。
|
|
280
|
+
|
|
281
|
+
| メソッド | 説明 |
|
|
282
|
+
|----------|------|
|
|
283
|
+
| `put(item)` | アイテムを追加(ブロッキング) |
|
|
284
|
+
| `get()` | アイテムを取得(ブロッキング) |
|
|
285
|
+
| `task_done()` | タスク完了を通知 |
|
|
286
|
+
| `join()` | 全タスク完了を待機 |
|
|
287
|
+
|
|
288
|
+
---
|
|
289
|
+
|
|
290
|
+
## 次のステップ
|
|
291
|
+
|
|
292
|
+
Part V では、同期と排他制御を学びます。レースコンディション、デッドロックなどの問題と、Lock、Semaphore による解決策を理解します。
|
|
293
|
+
|
|
294
|
+
---
|
|
295
|
+
|
|
296
|
+
## 参考コード
|
|
297
|
+
|
|
298
|
+
- [apps/python/Chapter 7/count_votes/count_votes_concurrent.py](../../../apps/python/Chapter%207/count_votes/count_votes_concurrent.py)
|
|
299
|
+
- [apps/python/Chapter 7/pipeline.py](../../../apps/python/Chapter%207/pipeline.py)
|
|
@@ -0,0 +1,315 @@
|
|
|
1
|
+
---
|
|
2
|
+
title: Part V - 同期と排他制御
|
|
3
|
+
description: 並行処理における同期問題と解決策を学ぶ
|
|
4
|
+
published: true
|
|
5
|
+
date: 2025-12-30T09:00:00.000Z
|
|
6
|
+
tags: concurrency, lock, semaphore, deadlock, python
|
|
7
|
+
editor: markdown
|
|
8
|
+
dateCreated: 2025-12-30T09:00:00.000Z
|
|
9
|
+
---
|
|
10
|
+
|
|
11
|
+
# Part V: 同期と排他制御
|
|
12
|
+
|
|
13
|
+
## 概要
|
|
14
|
+
|
|
15
|
+
本章では、並行処理における同期問題(レースコンディション、デッドロック、ライブロック、スタベーション)と、その解決策(Lock、Semaphore)を学びます。
|
|
16
|
+
|
|
17
|
+
---
|
|
18
|
+
|
|
19
|
+
## 第8章: レースコンディションと Lock
|
|
20
|
+
|
|
21
|
+
### レースコンディションとは
|
|
22
|
+
|
|
23
|
+
複数のスレッドが共有リソースに同時にアクセスし、結果が実行順序に依存してしまう問題です。
|
|
24
|
+
|
|
25
|
+
### 銀行口座の例(問題あり)
|
|
26
|
+
|
|
27
|
+
```python
|
|
28
|
+
#!/usr/bin/env python3
|
|
29
|
+
|
|
30
|
+
"""レースコンディションが発生する銀行口座"""
|
|
31
|
+
|
|
32
|
+
import time
|
|
33
|
+
from threading import Thread
|
|
34
|
+
|
|
35
|
+
|
|
36
|
+
class UnsyncedBankAccount:
|
|
37
|
+
"""同期なしの銀行口座(危険)"""
|
|
38
|
+
|
|
39
|
+
def __init__(self, balance: float = 0):
|
|
40
|
+
self.balance = balance
|
|
41
|
+
|
|
42
|
+
def deposit(self, amount: float) -> None:
|
|
43
|
+
# この3行の間に他のスレッドが割り込む可能性あり
|
|
44
|
+
current = self.balance
|
|
45
|
+
time.sleep(0.001) # 処理時間をシミュレート
|
|
46
|
+
self.balance = current + amount
|
|
47
|
+
|
|
48
|
+
def withdraw(self, amount: float) -> None:
|
|
49
|
+
current = self.balance
|
|
50
|
+
time.sleep(0.001)
|
|
51
|
+
self.balance = current - amount
|
|
52
|
+
|
|
53
|
+
|
|
54
|
+
class ATM(Thread):
|
|
55
|
+
"""ATMスレッド"""
|
|
56
|
+
|
|
57
|
+
def __init__(self, bank_account):
|
|
58
|
+
super().__init__()
|
|
59
|
+
self.bank_account = bank_account
|
|
60
|
+
|
|
61
|
+
def run(self) -> None:
|
|
62
|
+
for _ in range(100):
|
|
63
|
+
self.bank_account.deposit(10)
|
|
64
|
+
self.bank_account.withdraw(10)
|
|
65
|
+
|
|
66
|
+
|
|
67
|
+
if __name__ == "__main__":
|
|
68
|
+
account = UnsyncedBankAccount(balance=1000)
|
|
69
|
+
|
|
70
|
+
atms = [ATM(account) for _ in range(5)]
|
|
71
|
+
for atm in atms:
|
|
72
|
+
atm.start()
|
|
73
|
+
for atm in atms:
|
|
74
|
+
atm.join()
|
|
75
|
+
|
|
76
|
+
# 期待: 1000、実際: 予測不能
|
|
77
|
+
print(f"Final balance: {account.balance}")
|
|
78
|
+
```
|
|
79
|
+
|
|
80
|
+
### 解決策: Lock を使用
|
|
81
|
+
|
|
82
|
+
```python
|
|
83
|
+
from threading import Lock
|
|
84
|
+
|
|
85
|
+
|
|
86
|
+
class SyncedBankAccount:
|
|
87
|
+
"""Lock で同期した銀行口座"""
|
|
88
|
+
|
|
89
|
+
def __init__(self, balance: float = 0):
|
|
90
|
+
self.balance = balance
|
|
91
|
+
self.lock = Lock()
|
|
92
|
+
|
|
93
|
+
def deposit(self, amount: float) -> None:
|
|
94
|
+
with self.lock: # クリティカルセクション
|
|
95
|
+
current = self.balance
|
|
96
|
+
time.sleep(0.001)
|
|
97
|
+
self.balance = current + amount
|
|
98
|
+
|
|
99
|
+
def withdraw(self, amount: float) -> None:
|
|
100
|
+
with self.lock:
|
|
101
|
+
current = self.balance
|
|
102
|
+
time.sleep(0.001)
|
|
103
|
+
self.balance = current - amount
|
|
104
|
+
```
|
|
105
|
+
|
|
106
|
+
---
|
|
107
|
+
|
|
108
|
+
## Semaphore(セマフォ)
|
|
109
|
+
|
|
110
|
+
Semaphore は、同時にアクセスできるスレッド数を制限します。
|
|
111
|
+
|
|
112
|
+
### 駐車場の例
|
|
113
|
+
|
|
114
|
+
```python
|
|
115
|
+
#!/usr/bin/env python3
|
|
116
|
+
|
|
117
|
+
"""セマフォによる駐車場の実装"""
|
|
118
|
+
|
|
119
|
+
import time
|
|
120
|
+
import random
|
|
121
|
+
import typing as T
|
|
122
|
+
from threading import Thread, Semaphore, Lock
|
|
123
|
+
|
|
124
|
+
TOTAL_SPOTS = 3 # 駐車スペース数
|
|
125
|
+
|
|
126
|
+
|
|
127
|
+
class Garage:
|
|
128
|
+
"""駐車場"""
|
|
129
|
+
|
|
130
|
+
def __init__(self) -> None:
|
|
131
|
+
self.semaphore = Semaphore(TOTAL_SPOTS)
|
|
132
|
+
self.cars_lock = Lock()
|
|
133
|
+
self.parked_cars: T.List[str] = []
|
|
134
|
+
|
|
135
|
+
def enter(self, car_name: str) -> None:
|
|
136
|
+
"""駐車場に入る"""
|
|
137
|
+
self.semaphore.acquire() # スペースを確保
|
|
138
|
+
with self.cars_lock:
|
|
139
|
+
self.parked_cars.append(car_name)
|
|
140
|
+
print(f"{car_name} parked")
|
|
141
|
+
|
|
142
|
+
def exit(self, car_name: str) -> None:
|
|
143
|
+
"""駐車場を出る"""
|
|
144
|
+
with self.cars_lock:
|
|
145
|
+
self.parked_cars.remove(car_name)
|
|
146
|
+
print(f"{car_name} leaving")
|
|
147
|
+
self.semaphore.release() # スペースを解放
|
|
148
|
+
|
|
149
|
+
|
|
150
|
+
def park_car(garage: Garage, car_name: str) -> None:
|
|
151
|
+
garage.enter(car_name)
|
|
152
|
+
time.sleep(random.uniform(1, 2))
|
|
153
|
+
garage.exit(car_name)
|
|
154
|
+
|
|
155
|
+
|
|
156
|
+
if __name__ == "__main__":
|
|
157
|
+
garage = Garage()
|
|
158
|
+
threads = []
|
|
159
|
+
|
|
160
|
+
for i in range(10):
|
|
161
|
+
t = Thread(target=park_car, args=(garage, f"Car #{i}"))
|
|
162
|
+
threads.append(t)
|
|
163
|
+
t.start()
|
|
164
|
+
|
|
165
|
+
for t in threads:
|
|
166
|
+
t.join()
|
|
167
|
+
```
|
|
168
|
+
|
|
169
|
+
---
|
|
170
|
+
|
|
171
|
+
## 第9章: デッドロック
|
|
172
|
+
|
|
173
|
+
### デッドロックとは
|
|
174
|
+
|
|
175
|
+
複数のスレッドが互いに相手の持つリソースを待ち続け、永遠に進行しない状態です。
|
|
176
|
+
|
|
177
|
+
### 食事する哲学者問題
|
|
178
|
+
|
|
179
|
+
```python
|
|
180
|
+
#!/usr/bin/env python3
|
|
181
|
+
|
|
182
|
+
"""デッドロックが発生する哲学者問題"""
|
|
183
|
+
|
|
184
|
+
import time
|
|
185
|
+
from threading import Thread, Lock
|
|
186
|
+
|
|
187
|
+
dumplings = 20
|
|
188
|
+
|
|
189
|
+
|
|
190
|
+
class LockWithName:
|
|
191
|
+
"""名前付きLock"""
|
|
192
|
+
def __init__(self, name: str):
|
|
193
|
+
self.name = name
|
|
194
|
+
self.lock = Lock()
|
|
195
|
+
|
|
196
|
+
def acquire(self):
|
|
197
|
+
self.lock.acquire()
|
|
198
|
+
|
|
199
|
+
def release(self):
|
|
200
|
+
self.lock.release()
|
|
201
|
+
|
|
202
|
+
|
|
203
|
+
class Philosopher(Thread):
|
|
204
|
+
def __init__(self, name: str, left: LockWithName, right: LockWithName):
|
|
205
|
+
super().__init__()
|
|
206
|
+
self.name = name
|
|
207
|
+
self.left_chopstick = left
|
|
208
|
+
self.right_chopstick = right
|
|
209
|
+
|
|
210
|
+
def run(self) -> None:
|
|
211
|
+
global dumplings
|
|
212
|
+
|
|
213
|
+
while dumplings > 0:
|
|
214
|
+
# 左の箸を取る
|
|
215
|
+
self.left_chopstick.acquire()
|
|
216
|
+
print(f"{self.left_chopstick.name} grabbed by {self.name}")
|
|
217
|
+
|
|
218
|
+
# 右の箸を取ろうとする(デッドロックの原因)
|
|
219
|
+
self.right_chopstick.acquire()
|
|
220
|
+
print(f"{self.right_chopstick.name} grabbed by {self.name}")
|
|
221
|
+
|
|
222
|
+
dumplings -= 1
|
|
223
|
+
print(f"{self.name} eats. Left: {dumplings}")
|
|
224
|
+
|
|
225
|
+
self.right_chopstick.release()
|
|
226
|
+
self.left_chopstick.release()
|
|
227
|
+
time.sleep(0.1)
|
|
228
|
+
|
|
229
|
+
|
|
230
|
+
if __name__ == "__main__":
|
|
231
|
+
chopstick_a = LockWithName("chopstick_a")
|
|
232
|
+
chopstick_b = LockWithName("chopstick_b")
|
|
233
|
+
|
|
234
|
+
# 両方の哲学者が異なる順序で箸を取る → デッドロック
|
|
235
|
+
p1 = Philosopher("Philosopher #1", chopstick_a, chopstick_b)
|
|
236
|
+
p2 = Philosopher("Philosopher #2", chopstick_b, chopstick_a)
|
|
237
|
+
|
|
238
|
+
p1.start()
|
|
239
|
+
p2.start()
|
|
240
|
+
```
|
|
241
|
+
|
|
242
|
+
### デッドロックの条件(4つ全て必要)
|
|
243
|
+
|
|
244
|
+
1. **相互排除** - リソースは一度に1つのスレッドのみ使用
|
|
245
|
+
2. **保持と待機** - リソースを保持しながら他を待つ
|
|
246
|
+
3. **横取り不可** - 他者からリソースを奪えない
|
|
247
|
+
4. **循環待ち** - 循環的な待ち関係が存在
|
|
248
|
+
|
|
249
|
+
### 解決策1: リソース順序付け
|
|
250
|
+
|
|
251
|
+
```python
|
|
252
|
+
if __name__ == "__main__":
|
|
253
|
+
chopstick_a = LockWithName("chopstick_a")
|
|
254
|
+
chopstick_b = LockWithName("chopstick_b")
|
|
255
|
+
|
|
256
|
+
# 両方の哲学者が同じ順序で箸を取る
|
|
257
|
+
p1 = Philosopher("Philosopher #1", chopstick_a, chopstick_b)
|
|
258
|
+
p2 = Philosopher("Philosopher #2", chopstick_a, chopstick_b)
|
|
259
|
+
```
|
|
260
|
+
|
|
261
|
+
### 解決策2: 仲裁者パターン
|
|
262
|
+
|
|
263
|
+
```python
|
|
264
|
+
class Waiter:
|
|
265
|
+
"""仲裁者"""
|
|
266
|
+
def __init__(self):
|
|
267
|
+
self.mutex = Lock()
|
|
268
|
+
|
|
269
|
+
def ask_for_chopsticks(self, left, right):
|
|
270
|
+
with self.mutex:
|
|
271
|
+
left.acquire()
|
|
272
|
+
right.acquire()
|
|
273
|
+
|
|
274
|
+
def release_chopsticks(self, left, right):
|
|
275
|
+
right.release()
|
|
276
|
+
left.release()
|
|
277
|
+
```
|
|
278
|
+
|
|
279
|
+
---
|
|
280
|
+
|
|
281
|
+
## ライブロックとスタベーション
|
|
282
|
+
|
|
283
|
+
### ライブロック
|
|
284
|
+
|
|
285
|
+
スレッドが状態を変化させ続けるが、進行しない状態。
|
|
286
|
+
|
|
287
|
+
### スタベーション
|
|
288
|
+
|
|
289
|
+
特定のスレッドが長期間リソースを取得できない状態。公平なスケジューリングで解決します。
|
|
290
|
+
|
|
291
|
+
---
|
|
292
|
+
|
|
293
|
+
## 同期プリミティブの比較
|
|
294
|
+
|
|
295
|
+
| プリミティブ | 用途 | 同時アクセス数 |
|
|
296
|
+
|--------------|------|----------------|
|
|
297
|
+
| Lock | 排他制御 | 1 |
|
|
298
|
+
| RLock | 再帰的ロック | 1(同一スレッドは再取得可) |
|
|
299
|
+
| Semaphore | リソース数制限 | N |
|
|
300
|
+
| Event | スレッド間シグナル | N/A |
|
|
301
|
+
| Condition | 条件待機 | N/A |
|
|
302
|
+
|
|
303
|
+
---
|
|
304
|
+
|
|
305
|
+
## 次のステップ
|
|
306
|
+
|
|
307
|
+
Part VI では、ノンブロッキング I/O とイベント駆動プログラミングを学びます。スレッドを使わずに並行処理を実現する方法を理解します。
|
|
308
|
+
|
|
309
|
+
---
|
|
310
|
+
|
|
311
|
+
## 参考コード
|
|
312
|
+
|
|
313
|
+
- [apps/python/Chapter 8/race_condition/](../../../apps/python/Chapter%208/race_condition/)
|
|
314
|
+
- [apps/python/Chapter 8/semaphore.py](../../../apps/python/Chapter%208/semaphore.py)
|
|
315
|
+
- [apps/python/Chapter 9/deadlock/](../../../apps/python/Chapter%209/deadlock/)
|