これって Effect でできたのでは? / TSKaigi Mashup Kansai #2

TSKaigi Mashup Kansai #2 TSKaigi 2026を振り返ろう！ の発表資料です

Transcript

1. これって Effectで できたの では？ 2026-07-24 TSKaigi Mashup Kansai #2 susisu
2. こんにちは • /^(id:|@)susisu(2413)?$/ です • 株式会社はてな Webアプリケーションエンジニア / シニアエンジニア • 文字はデカければデカいほど 良いとされる
4. Stage 2.7 Decorators
5. 印象に残った発表
8. 賛否両論
9. 我々はどうすべきか • (特にサーバーサイド TypeScript について) • Hono, Next.js などが全てをカバーしてくれるわけではない • NestJS というかデコレータは先行き怪しい ff ff • E ect やっていき / E ect やめていき
10. わからない
11. 調べてみよう
13. E ect • https://e ect.website • E ect-TS とも ff ff ff • TypeScript の汎用ライブラリ/フレームワーク
14. 解決したい課題 • 例外処理をいい感じにやりたい • DI をいい感じにやりたい • 並行処理をいい感じにやりたい • ...
15. https://susisu.hatenablog.com/entry/2022/11/04/211406
16. https://susisu.hatenablog.com/entry/2023/06/18/181507
17. https://speakerdeck.com/susisu/kyoto-dot-nanka-number-7
18. これって Effectで できたの では？
19. 例外処理 • E ect では Effect<A, E> を使ってプログラムを表現する • c.f. Promise<A>, Result<A, E> import { Effect } from "effect" ff const divide = ( a: number, b: number ): Effect.Effect<number, "DIVIDE_BY_ZERO"> => b === 0 ? Effect.fail("DIVIDE_BY_ZERO") : Effect.succeed(a / b)
20. 例外処理 import { Console, Effect } from "effect" // main: Effect.Effect<void, "DIVIDE_BY_ZERO"> const main = Effect.gen(function* () { const answer = yield* divide(42, 7) yield* Console.log(answer) }) Effect.runFork(main) // => 6
21. 例外処理 import { Console, Effect, Either } from "effect" // main: Effect.Effect<void, never> const main = Effect.gen(function*() { const answer = yield* divide(42, 7).pipe(Effect.either) if (Either.isLeft(answer)) return yield* Console.log(answer.right) }); Effect.runFork(main) // => 6
22. DI • E ect では Effect<A, E, R> を使ってプログラムを表現する ff • R はプログラムの実行に必要な依存関係 (requirements)
23. DI import { Console, Context, Effect } from "effect" class Random extends Context.Tag("MyRandomService")< Random, { readonly next: Effect.Effect<number> } >() {} // program: Effect.Effect<void, never, Random> const program = Effect.gen(function* () { const random = yield* Random const randomNumber = yield* random.next yield* Console.log(`random number: ${randomNumber}`) }) Effect.runFork(program) // ← 型エラー
24. DI // ... const runnable = Effect.provideService(program, Random, { next: Effect.sync(() => Math.random()) }) Effect.runFork(runnable) // => 0.6792671590288922
25. 並行処理 • Effect<A, E, R> は Fiber 上で実行される • 軽量スレッド, Go でいうところの goroutine import { Effect, Fiber } from "effect" const main = Effect.gen(function* () { const fiber = yield* Effect.fork(child) // ... yield* Fiber.join(fiber) })
26. 並行処理 • Fiber は中断可能 • Go では context.WithCancel を使ってやるようなやつ import { Effect, Fiber } from "effect" const main = Effect.gen(function* () { const fiber = yield* Effect.fork(child) yield* Effect.sleep("10 seconds") const exit = yield* Fiber.interrupt(fiber) });
27. 並行処理 • 並行処理で使える Queue なども揃ってる • Go でいう channel など import { Console, Effect, Fiber, Queue } from "effect" const main = Effect.gen(function* () { const queue = yield* Queue.bounded<number>(1) const fiber = yield* Effect.fork(Queue.take(queue).pipe(Effect.andThen(Console.log))) yield* Queue.offer(queue, 42) yield* Fiber.join(fiber) })
28. 他にも色々 • リトライ • キャッシュ • リクエストのバッチ化 • c.f. p-retry, lru-cache, dataloader
29. デメリット • pipe / ジェネレータを使った記法はややゴツく見えるかも • 外の世界のライブラリを使う場合は I/F を整える必要がある • 先述の通りあらかじめ用意されているものも多い • めちゃめちゃ機能が多い • ライブラリを探すのと同じように必要な機能だけ見れば良くはある
30. まとめ • E ect は汎用ライブラリ/フレームワーク • 例外処理, DI, 並行処理, その他諸々を扱うための道具が揃っている ff • 採用するかは「場合による」けど、調べてみて選択の幅は広がった
31. 余談 • fp-ts との関係と違い • Scala の ZIO との関係 • Effect<A, E, R> を「エフェクト」と呼んでいいのか