関数型プログラミング言語Haskell Part34 (667ﾚｽ)
関数型プログラミング言語Haskell Part34 http://mevius.5ch.net/test/read.cgi/tech/1639713446/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
41: デフォルトの名無しさん [] 2022/01/04(火) 16:11:04.31 ID:h755Av8k Haskellを身に付けた人は他の言語も使えると予想しますが、いくつもの言語の中からHaskellを選んで プログラムを書くのはどんな課題、問題を解決したいときなんでしょうか http://mevius.5ch.net/test/read.cgi/tech/1639713446/41
241: デフォルトの名無しさん [sage] 2023/09/19(火) 19:54:00.31 ID:QCYT99dv unixのtouchを実現したいのですが {-# LANGUAGE OverloadedStrings #-} import System.Posix.Files.ByteString main = do touchFile "hoge.txt" touch.hs: hoge.txt: touchFile: does not exist (No such file or directory) というエラーがでます ないのは当たり前でtouchで作ろうとしてるのですがバグがあるのでしょうか？ http://mevius.5ch.net/test/read.cgi/tech/1639713446/241
243: デフォルトの名無しさん [sage] 2023/09/19(火) 20:14:24.31 ID:a563RtWW touchの本来の意味を考えれば、まあできなくてもそういうもんだなと思ふ http://mevius.5ch.net/test/read.cgi/tech/1639713446/243
421: デフォルトの名無しさん [] 2024/10/02(水) 22:12:34.31 ID:OPLMo7z3 現実のプログラムだと式を評価する途中で発生する副作用というのは普通だけれど、 これを表示的意味論、操作的意味論で数学の世界に写そうと思うと途端に難しくなる。 数学で式の途中に文字列をディスプレイに映し出す、みたいな概念はないから。 それを整理して副作用と呼んでも差し支えない概念を提唱してHaskellに実装しているんだよ。 実際、ＩＯモナドの圏論的定式みるとこれが副作用？という表式してる。 全部後回しにしてフラッシュするというアイディアみたい。副作用をプログラムの最終局面で 実行しているから、式の評価途中の参照透明性も壊さない。なるほど、って感じ。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/421
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.029s