【激突】関数型言語 VS オブジェクト指向言語2at TECH【激突】関数型言語 VS オブジェクト指向言語2 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト754:デフォルトの名無しさん 12/05/13 19:48:37.96 727です。 なぜかOOの話がでてますが関数型の話でOOは関係ありません。 OOPLでも同じ表現ができるというだけです。 で、本題ですが、最終的な目的としては下のようなラムダ演算ができる言語は 存在しないのかという話です。 ( 0 (lambda () "true" ) ) 0関数はlambdaを評価せず、nilを返す ( 1 (lambda () "true" ) ) 1関数はlambdaを評価し"true"を返す ( 2 (lambda () "true" ) ) 1関数はlambdaを評価し"true"を返す ( (- 1 1 ) (lambda () "true" ) ) 0関数を評価する事になるのでlambda 755:727 12/05/13 19:54:33.33 間違えて途中で書き込んでしまいました。すみません。 ( 0 (lambda () "true" ) ) 0関数はlambdaを評価せず、nilを返す ( 1 (lambda () "true" ) ) 1関数はlambdaを評価し"true"を返す ( 2 (lambda () "true" ) ) 1関数はlambdaを評価し"true"を返す ( (- 1 1 ) (lambda () "true" ) ) 0関数を評価する事になるのでlambdaを評価しない ( (+ 1 1 ) (lambda () "true" ) ) 2関数を評価する事になるのでlambdaを評価しない 数値を関数化できないかというのは、数値を評価したとき、このような 振る舞いをするように数値を定義できなる言語は無いかという事でした。 尤も、言語レベルで最初から数値をチャーチ数と同じように評価できるなら 新たに関数として数値を再定義できる必要は無いんですが。 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch