0Pricing
TypeScript Academy · レッスン

型付きpipeとflowユーティリティ

正確な推論による左から右へのパイプラインを構築します。

「型付きpipeとflowユーティリティ」はCoddyKit上の無料TypeScript Academyレッスンです。 これはレッスン4/4です。 下記で完全なレッスンを無料で読むことができます。その後、ブラウザ内の組み込みコードエディタと24時間対応のAIチューターでハンズオン演習できます。 これはTypeScript Academy学習パスの一部であり、ウェブとCoddyKitアプリ全体で進捗が同期されます。 TypeScript Academyコースには全4レッスンが含まれています。

compose から pipe へ

pipeは、ほとんどの人が好む読み順である左から右に、値を関数へ順に渡します。pipe(x, f, g)はg(f(x))を意味します。

2段階の pipe

最も単純なパイプは、値と1つの関数を受け取り、その結果を返します。上から下へ読む順序が実行順序と一致します。

const pipe2 = <A, B>(a: A, f: (a: A) => B): B => f(a);
console.log(pipe2(5, n => n + 1)); // 6

複数の関数に順に渡す

3引数のパイプは、関数を順番に適用します。各ステップの出力が、次のステップの入力になります。

function pipe<A, B, C>(a: A, f: (a: A) => B, g: (b: B) => C): C {
  return g(f(a));
}
const inc = (n: number) => n + 1;
const dbl = (n: number) => n * 2;
console.log(pipe(5, inc, dbl)); // 12

左から右に読む

composeとは異なり、pipeは関数を実行順に並べます。pipe(5, inc, dbl)は、記述されたとおり、1を加えてから2倍します。

console.log(pipe(5, dbl, inc)); // 11 (double then inc)

オーバーロードが必要な理由

呼び出し箇所によって、渡す関数の数は異なります。それぞれの引数個数を正確に型付けするため、pipeでは、対応する長さごとに1つのオーバーロードシグネチャを使用します。

function pipe<A, B>(a: A, f: (a: A) => B): B;
function pipe<A, B, C>(a: A, f: (a: A) => B, g: (b: B) => C): C;
function pipe(a: unknown, ...fns: Function[]): unknown {
  return fns.reduce((v, fn) => fn(v), a);
}

各オーバーロードで型を連鎖させる

2つの関数に対応するオーバーロードはA -> Bを連鎖させ、3つの関数に対応するオーバーロードはA -> B -> Cを連鎖させます。コンパイラーは、渡された関数の数に基づいて一致するオーバーロードを選択します。

実行時の実装

オーバーロードの下では、1つのreduceがすべての関数を順番に適用します。実装シグネチャでは緩い型を使用しますが、呼び出し側には正確なオーバーロードが見えます。

function pipe(a: any, ...fns: Array<(x: any) => any>): any {
  return fns.reduce((acc, fn) => fn(acc), a);
}
console.log(pipe("  hi ", s => s.trim(), s => s.toUpperCase())); // HI

パイプの途中で型を変える

各オーバーロードがジェネリクスを連鎖させるため、パイプでは、完全に型検査された状態を保ちながら、値を複数の型に変換できます。

const out = pipe("hello", s => s.length, n => n > 3);
console.log(out); // true (string -> number -> boolean)

flow: 値なしの pipe

flowはpipeに似ていますが、関数だけを受け取り、新しい関数を返します。値は後から渡すため、再利用に適しています。

const flow = <A, B, C>(f: (a: A) => B, g: (b: B) => C) =>
  (a: A): C => g(f(a));
const process = flow((n: number) => n + 1, (n: number) => n * 2);
console.log(process(5)); // 12

pipe と flow と compose の違い

pipeは値に関数を左から右へ適用し、flowは再利用可能な左から右の関数を作り、composeは右から左の関数を作ります。読む順序と再利用の必要性に応じて選択してください。

実用的なパイプライン

fp-tsやEffectのようなライブラリは、多数のオーバーロードを備えた堅牢で完全に型付けされたpipeを提供します。小さなものを自分で作ると、型付けの仕組みを正確に理解できます。

クイックチェック

このレッスンの理解度を確認します。

まとめ

pipe(x, f, g) = g(f(x))は左から右に実行され、オーバーロードシグネチャを使ってそれぞれの引数個数を正確に型付けします。実装は1つのreduceで行います。flowはポイントフリー版で、再利用可能な関数を返します。

よくある質問

「型付きpipeとflowユーティリティ」レッスンは無料ですか?

はい。「型付きpipeとflowユーティリティ」の完全なテキストはこのウェブで無料で読めます。インタラクティブに演習し(組み込みコードエディタと24時間対応のAIチューター)、TypeScript Academyコースの残りをアンロックするには、CoddyKit PROにアップグレードしてください。 TypeScript Academyコースには全4レッスンが含まれています。

「型付きpipeとflowユーティリティ」で何を学びますか?

正確な推論による左から右へのパイプラインを構築します。 ブラウザで直接実行するハンズオンコードでTypeScript Academyを演習し、24時間対応のAIチューターがレッスンを進める中での質問に答えます。

TypeScript Academyを始めるのに経験は必要ですか?

事前経験は必要ありません。CoddyKitのTypeScript Academyは初級者から上級者向けに構成されているため、ここから始めるか最初から始めて、自分のペースで進むことができます。 これはレッスン4/4です。

「型付きpipeとflowユーティリティ」レッスンにはどのくらい時間がかかりますか?

ほとんどのCoddyKitレッスンは約5~10分かかります。各レッスンはコンパクトでインタラクティブなので、着実に進歩し、ウェブとアプリ全体で正確に前回の場所から再開できます。

このTypeScript Academyレッスンでコードを書いて実行できますか?

はい。すべてのTypeScript Academyレッスンに組み込みコードエディタが含まれているため、ブラウザでリアルコードを書いて実行し、即座のAIフィードバックを取得できます。ローカル設定は不要です。

このコースのすべてのレッスン

  1. 純粋関数と不変性
  2. カリー化と部分適用
  3. 型付き関数合成
  4. 型付きpipeとflowユーティリティ
← TypeScript Academyに戻る