[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part33 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
68: 2020/03/26(木)19:37:30.96 ID:V4QUinUk(1) AAS
綺麗になるんじゃなくてHaskellerにとって読みやすいコードを練成できるようになるだけでは
74(4): 2020/03/27(金)07:23:52.96 ID:7fKLUCpq(1/4) AAS
そんなに間違ってはないけどな。
haskellの解釈としては「命令列」を構成して返しているから副作用はない！
副作用を起こしているのは実行系だ！
みたいな屁理屈だし。
80: 2020/03/27(金)12:26:56.96 ID:1lYTVmI1(2/2) AAS
というか正直モナドなんかそんな何回も何回も繰り返し議論の対象にするほどのもんでもないだろ…
HaskellスレなんだからHaskellerだけでもっとHaskellらしい話題がしたいのに、
定期的にHapkeller以外がきて水差してくよな
他の手続き方言語のスレでわざわざその言語よく知らない奴が来てifとかforの話を延々されたらどんな気分よ
277: 2020/04/27(月)14:12:58.96 ID:AM55pzUu(1) AAS
「Prelude>:browse」の実行結果をテキストファイルにリダイレクトする方法
browse.hsという名前のファイルに:browseを記入して保存
保存したファイルのあるディレクトリでコマンドプロンプトを立ち上げて以下を実行
stack ghci < browse.hs > browse.txt
Redirecting Haskell GHCi output to text file [duplicate]
外部ﾘﾝｸ:stackoverflow.com
281(1): 2020/04/27(月)19:40:47.96 AAS
最新 stack で 7.8.4 をセットアップしようとしたら realgcc.exe を使おうとしてコケる
新しい GHC にはあるみたいだけど古い GHC には mingw\bin に存在しないようだ
なのに使おうとしている
なぜ古いのを入れようとしてるかというと競プロサイトのGHCが古いからだ
最新版で通るコードが向こうで弾かれたりして苛ついたから、じゃあそっちの環境で通るコードを提出してやるよとなってインストールを試みたのだ
スタックで古いバージョンのセットアップに自身ニキ、助けて
357: 2020/06/12(金)03:07:06.96 ID:YpUxhodA(1) AAS
>>356
いえ、お気になさらず。
こちらも勉強になりました。
395(1): 2020/08/19(水)16:24:31.96 ID:amUamLwq(1) AAS
入門書のカリー化の箇所を読めばいいんじゃね
haskell内での関数は一変数関数として扱えて、
add' n m = (add' n) m
というだけ
490(1): 2020/09/09(水)12:59:11.96 ID:7PwBIIdR(1/4) AAS
モナドというのが何なのか知らないのですが、モナドが何か分かっていないとモナドは使えないものなんですか？
647: 2021/01/15(金)04:12:13.96 ID:NAFJshBl(1) AAS
これ意見割れてるけどどっちが正しいの？
有識者諸君のご意見を伺いたい
外部ﾘﾝｸ:www.quora.com
656: 2021/01/20(水)17:07:44.96 ID:aAR5bcpB(1) AAS
>>653
いわれてみればhaskell触るまでこういう特徴が泣くほどうれしいなんて思ってなかったなぁ……
768(4): 2021/03/19(金)01:58:47.96 ID:MuA020tT(1/2) AAS
名前呼び出しの意味が分かりません
769(2): 2021/03/19(金)02:07:37.96 ID:FHn+Zz2I(1/2) AAS
>>766
結局のところ知りたいことは何ですか？
カリーハワード同型対応とプログラムとの関係性ですか？
それとも、カリーハワード同型対応がプログラムの何に役立つのかですか？
それとも、call by name と call by need との違いですか。
それとも、その論文の内容ですか。
(その場合、PDFの5ページ目まで、つまり横線の式が登場する部分まではちゃんと理解できていると思っていいのですか？)
それとも、全く別のことですか？
とりあえず知りたいことをピンポイントに小さく一つに絞り、
それを具体的に質問していただけると助かります。
ところで、>>768 は元の質問者さんですか？
794(1): 2021/04/05(月)21:28:27.96 ID:DOv0Oh8v(1) AAS
idrisを使った型駆動設計の話を聞いて、凄いなぁと思いました。
でもこの型駆動設計って、依存型が開発言語のあるのが前提の方法なんでしょうか？
853: 2021/07/01(木)22:45:34.96 ID:FFAeznD4(1) AAS
quarifiedも使えるよ
お好みで
944(1): 2021/11/15(月)02:14:35.96 ID:jBQU3T8q(1) AAS
>>943
Applicativeクラスにpure関数があるから。
Monad則やApplicative則を満たしてるなら、
まず間違いなく pure = return だから片方で充分。
それにreturnって名前があまりに実態とかけ離れてるしね。
989: 2021/12/16(木)21:46:42.96 ID:OBc86cw8(1/2) AAS
他の人も叩いているから便乗して死体蹴りしようか的な精神が見て取れる
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.034s