関数型プログラミング言語Haskell Part34 (667レス)
上
下
前
次
1-
新
299
(1)
: 2024/07/05(金)00:05
ID:b38yqPqv(1/2)
AA×
>>298
[240|
320
|
480
|
600
|
100%
|
JPG
|
べ
|
レス栞
|
レス消
]
299: [sage] 2024/07/05(金) 00:05:27.16 ID:b38yqPqv >>298 computationがvalueの一つだったら 概念的に computation ⊆ value になるけど。 少なくとも拡張しているのだから computation ⊇ value にならないとおかしくない? `5 + 3`がcomputationというのは前提にもよるからなんとも言えないと思う。 計算して8(=5+3)を導いたなら8はcomputationだと思うが。 たとえば、掛け算だったとして、九九を唱えてゴサンジュウゴで15を導き出したんなら計算してないからvalueだと思う。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/299
がの一つだったら 概念的に になるけど 少なくとも拡張しているのだから にならないとおかしくない? がというのは前提にもよるからなんとも言えないと思う 計算して853を導いたなら8はだと思うが たとえば掛け算だったとして九九を唱えてゴサンジュウゴで15を導き出したんなら計算してないからだと思う
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 368 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
ぬこの手
ぬこTOP
0.030s