アルゴリズムとデータ構造が一緒に語られるわけ

この話はFriendfeedとかにつぶやいてしまったはずだ。というわけで焚き上げ。

データ構造とは、compileされ、cacheされた計算結果の格納様式だ。それは型と型付けの計算についてもいえるだろう。
当然、データ構造(データの表現)によっては、適用可能なアルゴリズムに制限が出たり、効率に変化があったりする。
つーか、データ構造は、アルゴリズムの前段なのである。

なんで、そんなことをちゃんと意識してこなかったのだろうか、と、悔やまれる。