関数型プログラミング言語Haskell Part9at TECH関数型プログラミング言語Haskell Part9 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト400:デフォルトの名無しさん 08/08/09 10:44:26 遅延評価なんて 今日はやらない 401:396 08/08/09 10:50:37 >>399 そうだよね。 コンパイル技術がすげー発達して高速になれば、話は変わるだろうけど。 （まぁ、コンパイル技術が「すげー発達」すれば、どのコンパイル言語でもマシン語と同じスピードが出るんだから、意味ない話） あと「理論的に停止できる関数は必ず停止できる」は意味不明だとか、 文じゃなくて式だとか、気づいたけど後の祭り、いわゆるアポステオリorz 402:デフォルトの名無しさん 08/08/09 11:02:51 >>395 Guarded Horn Clauses 403:デフォルトの名無しさん 08/08/09 11:31:02 手続き型言語は、ノイマン型計算機を抽象化することで生まれてきたので、 評価方式としては、式、文の逐次的解釈が当然になる。 関数型言語は、ラムダ式から出て来たから、 その評価形式をどうするかというのが一つのポイントになる。 遅延評価は最左最外簡約の研究から出て来た。 効率がどうのこうのというより、 新しいプログラミングパラダイムを産み出したので、 (例えば無限リスト、無限木の積極的利用) 研究され続けているんだと思う。 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch