関数型言語
■ このスレッドは過去ログ倉庫に格納されています
0893デフォルトの名無しさん
NGNG人にとってどれだけ使い易いかも重要でしょう。
量子計算機の新しいユニークなアルゴリズムが
なかなか提案されない現状を見ても直感的な概念での
言語構築がその普及の鍵を握っていると言えるでしょう。
手続き型は我々の日常に近いという点でその条件を満たしていると
考えられます。
しかし真の関数型はそもそも実現されないのではないでしょうか?
現在のそのような言語は機能を持たせるのに実装依存の副作用を
利用せざるを得ないため、その動作を覚えるには言語の
実装を知る事が必要不可欠ですし、その結果ほとんどの人は
頭の中で手続きを考えながら関数風に記述しているだけに思えます。
実装したい機能が時間依存するものである以上どうにもならない様に
見えますが、ここをクリアできない限り関数風手続き型の域を
でないでしょう。
これから先のブレークスルーに期待します。
■ このスレッドは過去ログ倉庫に格納されています