「新たにプログラム言語を学ぶとしたらScalaがお勧め？」記事へのコメント

パラダイム

[Anonymous Coward]

> 思考の幅を広げ、プログラミング自体に対する理解を深めるためにも他のプログラミング言語を学ぶことが大切だそうだ。

学ぶべきは言語ではなくパラダイムなんだが、他に学ぶべきというと宣言的プログラミングくらいしか思いつかんな。
それはともかく、宣言的だと関数型と論理型とあるが、論理型だとある種のループ構造が使えて便利なんだが…

Re:

[Anonymous Coward]

パラダイムという観点でこういう話が出てくるといつも思うんだが、
関数型と論理型はパラダイム的には等価じゃん？

Re:

[funya (14942)]

関数型は、「入力に対して一つの出力」「関数の適用の順に実行」

論理型は、「複数の変数の関係を記述する」「ルールの適用の順に実行」

という差が一応あるんだけど、工夫すれば相互に記述出来るので等価といってもいいかな。

一見、関数型は手続き型に見えるし、副作用を持つ関数型言語は、実際、手続き型言語と
ほぼ同じ。論理型でも、Prolog なんかは、backtrack以外は、ほとんど手続き型と言っても
良い。

一方で、OPS5系とかCommitted Choice言語、あるいは関数型言語でも、
実行の順序も外側の関数で実行出来るものから実行するなんてのがあって、
どんな順序で動くのか予測が難しいものは、手続き型からは遠い。

人が知らない言語、あるいは学ぶのが難しい言語を使いこなすというのは、快感ではあるんだが、
虚しくもある。(淋しいという感じ?)

Re:パラダイム

[Anonymous Coward]

嘘を書いたら訂正したほうがいいよ～ん