色々で上げた二つの言いたいことはたぶん大抵の手続き型言語に当てはまると思うんだが
Haskellとかから来た人なの?