無差別に技術をついばむ鳥

　WFは凄く魅力的な技術ですが、その凄さが世間で広まっていないようです。そこで、WFの魅力を語る事にしました。
　WFの特徴はなんといってもブックマークです。この世には長時間稼働するプログラムが存在します。そうしたプログラムを安定して稼働させるのは意外と難しいです。何故ならば、プロセスが終了する状況がいくらでもあるからです。全ての状況を想定してプログラムする事は不可能ではないものの、大変に骨が折れる作業です。WFにはブックマーク機能があるのでその心配は要りません。
　WFにはもうひとつ重要な側面があります。それは、宣言型データフロープログラミングが可能となる事です。WFは制御フローを抽象化して扱えますし、「値が入力される」といった外部からの刺激に自動反応してプログラムを実行してくれます。こういった特徴は、一般的な開発は勿論のことドメイン特化開発で非常に有効です。
　話しが少し脱線しますが、宣言型データフロープログラミングになじみがない人が多いと思いますので少し解説します。宣言型を簡単に言うと、C言語のように細かくコンピュータに対する命令を記述するのではなく、何をさせたいのかを記述する方式です。なじみ深い例をあげると、SQLとLINQがこれに該当します。これらの例を思い返せば、宣言的プログラミングの強力さが分かって頂けると思います。
　データフロープログラミングは、宣言型よりも知られていないと思います。データフロープログラミングとは、データ駆動でプログラムが実行される形態のプログラムを扱います。例えば、非データフロープログラムでは、print( inputValue )などとすると、変数inputValueが計算されるまでそれ以降のプログラムが実行されません。一方、データフロープログラミングの場合、変数の計算が終わる前に次のプログラムを実行し、変数の計算が終わったら表示します。プログラミングの可能性を広げ生産性もあげる、これから重要となる技術だと言えます。
　技術者として非常に興味深いのは、ブックマークと宣言型データフロープログラミングを可能とする技術基盤です。WFを技術的側面から捉えると、その正体は有限オートマトンを処理するエンジンです。WFはアクティビティオートマトンと呼ばれる、有限状態機械でアクティビティ（再開可能なプログラム）のライフサイクルを管理しています。アクティビティは、自動でパッシブ化（永続記憶に保存）され、必要な時に再アクティブ化（保存されたプログラムをメモリで再現）されます。
　重要なのはパッシブ化です。プログラムがパッシブ化される事により、何時でも何処でもプログラムを再開できます。また、アイドル時にはメモリを消費しません。WFはスレッドアジリティであり、特定のスレッドに拘束されませんから、マルチコアCPUを有効利用できます。
　他にも興味を引く要素がありますが、長くなるので今回は止めておきます。とにかく、WFは非常に興味深い技術です。WFを学習する事をお勧めします。

テーマ : プログラミング
ジャンル : コンピュータ