[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part33 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
768(4): 2021/03/19(金)01:58 ID:MuA020tT(1/2) AAS
名前呼び出しの意味が分かりません
769(2): 2021/03/19(金)02:07 ID:FHn+Zz2I(1/2) AAS
>>766
結局のところ知りたいことは何ですか？
カリーハワード同型対応とプログラムとの関係性ですか？
それとも、カリーハワード同型対応がプログラムの何に役立つのかですか？
それとも、call by name と call by need との違いですか。
それとも、その論文の内容ですか。
(その場合、PDFの5ページ目まで、つまり横線の式が登場する部分まではちゃんと理解できていると思っていいのですか？)
それとも、全く別のことですか？
とりあえず知りたいことをピンポイントに小さく一つに絞り、
それを具体的に質問していただけると助かります。
ところで、>>768 は元の質問者さんですか？
770(1): 768 2021/03/19(金)02:15 ID:MuA020tT(2/2) AAS
>>769
ごめんなさい
僕は別人で割り込みです
773(1): 768 2021/03/19(金)11:58 ID:f7aaFMxN(1) AAS
>>771
ありがとうございます
このときの「名前」なのですが、識別子のようなものでなく、評価・簡約前の「式の字面」的な意味なのですかね
779: 768 2021/03/20(土)12:05 ID:WUxvQvbt(1) AAS
>>778
ありがとうございます
こちらこそ、たびたびすみません
マンガのセリフのことを「ネーム」というらしいので、書いた字面をいうのかなと考えたり
name を和英・英英辞典で調べても、結局しっくりきませんでした
スレ汚しすみませんでした
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.025s