タグ: #effect-ts

한국어English日本語中文

← すべての記事

• モダン Scala 2026 — Scala 3.6 / 3.7 / ZIO 2 / Cats Effect 3 / Pekko / Tapir / Mill / Scala CLI 徹底ガイド

  2026年の Scala エコシステムを総まとめ — Scala 3.6/3.7 の新機能、Scala 4 preview、sbt 2.x vs Mill vs Scala CLI、ZIO 2 vs Cats Effect 3、Pekko/Akka の BSL 騒動、Play/http4s/Tapir、Scala.js/Native、Spark、Lichess、Effect.ts、Iron による refined types、そして韓国

  2026-05-16 · 36 分で読めます #scala#scala-3#sbt#mill#scala-cli

• Effect-TS 徹底解説 — TypeScriptでエフェクトシステム・DI・リソース・並行性をひとつのライブラリで解く

  Effect-TSはfp-tsの後継であり、TypeScript陣営のZIOである。単一の Effect<R, E, A 型でコンテキスト(DI)・エラー・値を同時に追跡し、リソース・並行性・ストリームまで同じモデルで扱う。なぜ Promise だけでは足りないのか、エフェクト追跡がリファクタ安全性にどう効くか、map/flatMap/zip/race/all などの基本演算、型安全なエラー(failures vs defects)、C

  2026-05-14 · 28 分で読めます #effect-ts#functional-typescript#effect-system#dependency-injection#typed-errors

• TypeScript 型システムの深淵 — Structural Typing、Generics、Conditional、satisfies、tsc Go ポート、Zod、tRPC まで (2025)

  なぜ TypeScript は「JavaScript に型を足したもの」ではなく「独自の型言語」になったのか? Structural Typing、Mapped/Conditional/Template Literal Types、satisfies という小さな革命、型レベルプログラミング、Anders Hejlsberg の Go ポート (2025 年 10 倍速い tsc)、Zod/ArkType/Valibot のランタイム検

  2026-04-15 · 15 分で読めます #typescript#types#zod#trpc#effect-ts

• 関数型プログラミングの実用価値 深掘りガイド — Monad, Functor, Pure Function, Haskell, Erlang/Elixir, Gleam, Effect-TS, Phoenix LiveView (2025)

  React Hooks、Redux、RxJS、Swift、Rust、Kotlin が共有する一つのもの — 関数型プログラミングの思想。1930年代 Church のラムダ計算が、なぜ2020年代の分散システムの信頼性へと繋がるのか、なぜ Monad は難しいのに必要なのか、Erlang/Elixir はどうやって nine nines の可用性を達成するのか — 圏論なしに実務の視点で追う。

  2026-04-15 · 18 分で読めます #functional-programming#monad#functor#pure-function#haskell