関数型プログラミング言語Haskell Part34at TECH関数型プログラミング言語Haskell Part34 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このスレッドのURL■項目テキスト739:デフォルトの名無しさん 26/03/02 17:24:58.03 zdTnYiWN.net int f(int n){ puts("hello"); return n +2; } という関数があるとき 3 というデータと f(1) という関数適用の結果は同じ3を与える。 だけれどもf(1)は計算結果として3を与えるだけで、3というデータというわけではない。出自が違うしhelloと出力する分差がある。 なので3と同一視してしまうのはマズイ。 3:int f(1):計算 int と区別する。名称としても3の方は値(value) f(1)の方は計算(computation)と呼ぶことにする。 モナドはこういう区別をとりあえず認められるかどうか。計算結果としてのデータと単なるデータを区別すると言うことが重要なんだがOK?これが認められればすぐ分かる 740:デフォルトの名無しさん 26/03/02 18:36:01.12 nktAT8k9.net わかってなさそう 741:デフォルトの名無しさん 26/03/02 18:59:57.06 tWwuztZJ.net モナーなんてZ世代は知らない 742:デフォルトの名無しさん 26/03/02 19:20:21.63 zdTnYiWN.net 具体的にはどこが?計算とかいう概念持ち出すところ? それだともう根本的だよね 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch