tarosukeの日記： 手続と関数と宣言と

実は関数型と宣言型は違うようだ。関数型は副作用を考えなくていいので宣言的に書けるというだけで文法自体は手続き型に近い。
手続き型と宣言型を日本語で書くとこんな感じか。

手続き型
Aをhogeしてaに入れて、Bをhugaしてbに入れて、aとbをabeshiしてcに入れる。
iを0にして、iが100未満の間「hogeする(そしてiを1増やす)」を繰り返す。

宣言型
aはAをhogeしたもの。bはBをhugaしたもの。cはaとbをabeshiしたもの。
アレ(手続き型の例にはない)は0から99までのそれぞれのiに対してhogeしたもの。

LISPなんかだとどっちに考えても書けなくはないようだ。後者の方がエライとされているようだが。んー、やはり宣言型ベースで、でも手続きを定義でき、かつカプセル化と多態したいところだなぁ...。あと、宣言型でオブジェクト指向すると参照順に初期化するとかできるのでオブジェクトの初期化順で悩むことが少なくなるかも。循環参照で泣くかも知れんが。