関数型プログラミング言語Haskell Part34 (667ﾚｽ)
関数型プログラミング言語Haskell Part34 http://mevius.5ch.net/test/read.cgi/tech/1639713446/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
607: デフォルトの名無しさん [sage] 2024/11/17(日) 08:11:12.88 ID:RK7ri1yG レポよろ http://mevius.5ch.net/test/read.cgi/tech/1639713446/607
608: デフォルトの名無しさん [sage] 2024/11/17(日) 09:07:13.97 ID:zx90fdBd ぷりぷりです http://mevius.5ch.net/test/read.cgi/tech/1639713446/608
609: デフォルトの名無しさん [sage] 2024/11/17(日) 14:35:29.88 ID:895B27h0 4万近く出してわざわざレポだけする奴なんているの？ 圏論入門と同じでそれらしいキーワードだけ出して終わりの可能性高いのに。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/609
610: デフォルトの名無しさん [sage] 2024/11/17(日) 19:34:30.56 ID:A63wUj4E まぁそもそもHaskellで圏論持ち出す必要ないしな 生産性上がらないよ http://mevius.5ch.net/test/read.cgi/tech/1639713446/610
611: デフォルトの名無しさん [sage] 2024/11/17(日) 19:42:07.02 ID:bAlb8WtH Haskell、コーダー界隈で圏論勉強会が流行していた時期、あれは何だったのか？ http://mevius.5ch.net/test/read.cgi/tech/1639713446/611
612: デフォルトの名無しさん [sage] 2024/11/17(日) 20:00:10.23 ID:895B27h0 圏がグラフの拡張みたいな概念だったから、グラフ理論みたいに有用なプログラミングにつかえるアルゴリズムがあるんじゃないかってことでやってたように見えた。 モナドも説明したかったようにみえたけど、結局圏論の勉強を踏まえた説明はでてこなかった。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/612
613: デフォルトの名無しさん [sage] 2024/11/17(日) 21:17:15.64 ID:U7PWp5lE >>611 俺も行ってたわw 数学クラスターからの圏論マウントを喰らっていくのやめたがw そういうやつ多いんじゃないか http://mevius.5ch.net/test/read.cgi/tech/1639713446/613
614: デフォルトの名無しさん [sage] 2024/11/20(水) 04:56:53.37 ID:vcDCbnyw プログラムは合成できないといけないって当然のことを、いちいち圏である必要があるとか言い換えるオレ天才だわー http://mevius.5ch.net/test/read.cgi/tech/1639713446/614
615: デフォルトの名無しさん [sage] 2024/11/20(水) 18:55:46.60 ID:QVKMRnqI https://dic.nicovideo.jp/a/%E9%A1%A7%E5%AE%A2%E3%81%8C%E6%9C%AC%E5%BD%93%E3%81%AB%E5%BF%85%E8%A6%81%E3%81%A0%E3%81%A3%E3%81%9F%E3%82%82%E3%81%AE http://mevius.5ch.net/test/read.cgi/tech/1639713446/615
616: デフォルトの名無しさん [sage] 2024/11/21(木) 00:16:43.88 ID:r2/mXbdf 集合論と圏論の抽象度がもし同レベルならたしかに圏である必要はないな 必要ない情報は捨象されるべきだと言われれば何も反論できない だから抽象化マウントは強いんだ http://mevius.5ch.net/test/read.cgi/tech/1639713446/616
617: デフォルトの名無しさん [sage] 2024/11/21(木) 01:45:46.56 ID:bAf4oZLa 抽象化すればプログラムしにくいと思うけど http://mevius.5ch.net/test/read.cgi/tech/1639713446/617
618: デフォルトの名無しさん [sage] 2024/11/21(木) 19:02:52.56 ID:fTdZV0pc プログラムが圏になるためとかいうクソしょうもない理由がモナド導入の理由って本当か？ 圏論っていうか圏じゃん。モノイド構造も米田の補題もなにも出てこないんだが http://mevius.5ch.net/test/read.cgi/tech/1639713446/618
619: デフォルトの名無しさん [sage] 2024/11/21(木) 21:57:07.56 ID:r2/mXbdf 型構築子を導入すれば関手もモナドも勝手についてくる 型を必要とするすべての言語で同じことが言える これも抽象化 http://mevius.5ch.net/test/read.cgi/tech/1639713446/619
620: デフォルトの名無しさん [sage] 2024/11/28(木) 10:04:33.91 ID:p2Q1UON9 haskellでスクレイピングがやりたいんだが arch linuxのリポにはscalpelがない 別言語でやったほうがいいかな？ http://mevius.5ch.net/test/read.cgi/tech/1639713446/620
621: デフォルトの名無しさん [sage] 2024/12/04(水) 21:11:42.90 ID:D3PBVzJs ディストリで全部パッケージ化してくれてるとは思えん stackかcabal入れて自分で管理するんじゃね？ ローカルに1GBくらいのライブラリ入るし重複しないようにしないといかんが もちろんseleniumとか使うにしてもpythonとかrubyのほうが楽やろ http://mevius.5ch.net/test/read.cgi/tech/1639713446/621
622: デフォルトの名無しさん [] 2024/12/08(日) 23:12:57.17 ID:G2o8fSXB おおむね10^-300前後(-400乗は無理だった）精度の任意精度少数。 定義済みの中ではPico(10^-12)までは定義されてる。 下の定義のE300/10^300/F300を書き換えれば任意精度の浮動小数型が作れる。 (F300がPicoとかNanoとかの型） ただし、pi/sin/sqrtなどの倍精度/単精度の浮動小数型用関数/定数が使えなくなるので四則演算を駆使して自作する必要がある。 import Data.Fixed data E300 instance HasResolution E300 where resolution _ = 10^300 type F300 = Fixed E300
http://mevius.5ch.net/test/read.cgi/tech/1639713446/622
623: デフォルトの名無しさん [sage] 2024/12/19(木) 15:03:02.64 ID:NXRHTsH0 add (x,y) (a,b) = (x+a,y+b) これをaddを定義せずにarrowで簡単にかく方法はありますか http://mevius.5ch.net/test/read.cgi/tech/1639713446/623
624: デフォルトの名無しさん [sage] 2024/12/19(木) 16:15:15.91 ID:hCGKCs/t arrowてなんすか http://mevius.5ch.net/test/read.cgi/tech/1639713446/624
625: デフォルトの名無しさん [sage] 2024/12/19(木) 19:27:09.72 ID:gIJYmlNm 富士通のスマホ http://mevius.5ch.net/test/read.cgi/tech/1639713446/625
626: デフォルトの名無しさん [] 2024/12/20(金) 01:32:43.30 ID:/9ZUXmih スマホでHaskellを簡単に書く方法はないかな http://mevius.5ch.net/test/read.cgi/tech/1639713446/626
627: デフォルトの名無しさん [sage] 2024/12/20(金) 02:01:04.72 ID:I9azuXSK >>626 今はキミの言うところの「簡単」ではない環境で書いてるってこと？ http://mevius.5ch.net/test/read.cgi/tech/1639713446/627
628: デフォルトの名無しさん [] 2024/12/20(金) 02:04:07.41 ID:/9ZUXmih >>627 だまらっしゃい 俺がウザ絡みするのは良いけどアンタにレスつけてウザ絡みする権利はないんだよ 何故ならアンタは世界で一番価値のない存在だからね http://mevius.5ch.net/test/read.cgi/tech/1639713446/628
629: デフォルトの名無しさん [sage] 2024/12/20(金) 15:54:59.07 ID:IOWVZ3it スマホでHaskell書く必要ある？ ないよね http://mevius.5ch.net/test/read.cgi/tech/1639713446/629
630: デフォルトの名無しさん [] 2024/12/20(金) 22:08:57.75 ID:uE9QxZQG >>626 iOSならRaskellってアプリあるけど、開発止まって大分経つので画面がずれたりする…。 ideoneとかpaiza.IOとかのクラウドサービスが今のところは一番手軽かもね。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/630
631: 警備員[Lv.1][新芽] [sage] 2025/01/08(水) 22:25:29.83 ID:lvne7rNk 初学者のため、言葉の定義があいまいな部分はご容赦ください IOモナドの純粋性についてですが(すでに言葉があやしい)、 実際に副作用が起こるのは、mainに束縛され実行されたり、ghciプロンプトからアクションを投入したときで アクションを生成するまでは同じ入力に対してはつねに同一のアクションを出力するという意味で純粋であるという理解でよいでしょうか(まだ実行前なので、副作用は生じていない) アクションを生成するまでが純粋 ただ、このときの純粋性の有り難
みがさっぱり分からず… 純粋な関数が遅延評価などに有効なことや、副作用のある処理が >>= などで順序を拘束しなければならないことは分かるのですが http://mevius.5ch.net/test/read.cgi/tech/1639713446/631
632: デフォルトの名無しさん [sage] 2025/01/09(木) 20:13:21.93 ID:xwwTGWUu 評価が全部終わった後じゃないと参照透明性が保証されない。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/632
633: デフォルトの名無しさん [sage] 2025/01/09(木) 20:18:47.77 ID:xwwTGWUu 規制あったはずなんだけどなんか書き込めた。 アクションの生成が完了（コンパイルの終了）。この時点ではみんな純粋。 その後に、アクションの実行（プログラムの実行）が起こって入出力が出る。 アクションの生成時点まですべての関数が純粋関数だということは参照透明性が保証されるということで、ありがたみはその一点にあると思うが。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/633
634: デフォルトの名無しさん [sage] 2025/01/09(木) 21:49:19.20 ID:31eIYKLT 異教徒は汚染物として分離隔離する思想 http://mevius.5ch.net/test/read.cgi/tech/1639713446/634
635: 警備員[Lv.2][新芽] [sage] 2025/01/09(木) 22:58:50.93 ID:vav7Znkh >>632-633 ありがとうございます >>631 です あくアクションの生成までが純粋、でよいことを確認させていただきました でもこれって、Cだろうがアセンブラだろうが、(厳密には違うかもしれませんが)同じソースコードをコンパイル(アセンブリ)すれば同じオブジェクトファイルが生成されるのと何が違うのだろうかと >>634 にある分離隔離のような、何かこう、これまでとは違う何かがあるはず…と、浅知恵で考えるから訳が分からないのです… http://mev
ius.5ch.net/test/read.cgi/tech/1639713446/635
636: デフォルトの名無しさん [sage] 2025/01/09(木) 23:09:19.47 ID:2G6IUNoe >>634 おパンツ分解されたオペラッドのおパンツの中で脱糞してもズボンの裾のお股のどっち側からウンコが転げ出てくるのかわかんないだけかと思ってた。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/636
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 31 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.016s