関数型プログラミング言語Haskell Part34 (667ﾚｽ)
関数型プログラミング言語Haskell Part34 http://mevius.5ch.net/test/read.cgi/tech/1639713446/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
14: デフォルトの名無しさん [sage] 2021/12/21(火) 06:55:32.78 ID:t7n7AMl6 a :: Int -> Int a 0 = 50^2 a n = round (sqrt (realToFrac n):: Float) 型変換なみだでてきた ghciプロンプトだと round (sqrt 50) 7 ちゃんと出るじゃねーか... http://mevius.5ch.net/test/read.cgi/tech/1639713446/14
275: デフォルトの名無しさん [sage] 2024/02/29(木) 01:38:01.78 ID:d2gqoSk4 windowsにインストールできんみたいだなcabalがエラー？ まあwindowsでやるなってことだな http://mevius.5ch.net/test/read.cgi/tech/1639713446/275
386: デフォルトの名無しさん [sage] 2024/10/01(火) 09:39:15.78 ID:KbL1rq/V >なんとなく作れるから群構造作ってみました ルービックキューブのことか http://mevius.5ch.net/test/read.cgi/tech/1639713446/386
448: デフォルトの名無しさん [] 2024/10/03(木) 19:57:08.78 ID:B2Xmf+Xl 現実のよくあるプログラムとはこういう感じのものだけれども、実行 $(prog1) をしてその結果が返ってくるという現実的に 必要な点だけを考えると、途中の行番号020を評価したとかそういう情報はいらなくて、結局 $(prog1) して hogehoge fugafuga を表示して、複雑な計算の結果 res が返ってくれさえすればいいともいえる。 だったら、数学的に取り扱いがしづらい、式の評価途中で入出力が発生するみたいな部分を取っ払って 000 procedure prog2(int n) { 001 double res 002 （なにか込み入った計算） .... 020 ## echo "hogehoge" #コメントアウト 021 （なにか込み入った計算） .... 050 ## echo "fugafuga" #コメントアウト 051 （なにか込み入った計算） ... 100 return ("hogehoge"を表示する予約1、"fugafuga"を表示する予約2、返り値 res) } というように、返り値の部分に全部まとめるということをするということが考えられる。こうしても、プログラムのユーザー側からすると 実行すると$(prog2) hogehoge fugafuga と表示されて複雑な計算した結果 res が返ってくるということは変わらない。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/448
472: デフォルトの名無しさん [sage] 2024/10/04(金) 20:18:31.78 ID:WSIC8Xt5 だから、副作用を隠してラムダ計算に変換する手続きは、世界をステートにする変換をした時点で達成されてるわけで、そんなの太古の昔から分かってたことだろ IO aの定義読んでから出直せよ http://mevius.5ch.net/test/read.cgi/tech/1639713446/472
529: デフォルトの名無しさん [sage] 2024/10/05(土) 20:30:18.78 ID:aeHKoAMv 集合と写像の区別もついてないんだから、集合と位相からやらないとだめ http://mevius.5ch.net/test/read.cgi/tech/1639713446/529
659: デフォルトの名無しさん [sage] 2025/02/13(木) 13:53:19.78 ID:LmH89MFs 暗記系の問題が嫌われるのは答えを隠す意味がないからだが 逆に陰謀論が大人気なのは、隠蔽する動機があるからかもしれない http://mevius.5ch.net/test/read.cgi/tech/1639713446/659
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.036s