[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part33 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
21(1): 2020/02/13(木)04:40:03.75 ID:8j+a4fKo(1) AAS
>>20
それ前にも紹介されてて俺もすげーなと思ったが、よく考えると、
じゃあ今wcやlsのようなLinuxコマンドをhaskellで書きたいかと聞かれれば、
べつにいいやと応える。
もっとこう、せめてSwichやPS4のインディーズゲームや、
窓の杜の人気編集ソフトレベルのアプリで、
Cと張り合う猛者は居ないのかな。
Darcsだって肝心の速度ではgitに敵わなかったわけだし。
前に、ブロック崩しでCと比較した人が居たような気がしたが、
どこのページだったかな。
63: 2020/03/22(日)15:30:18.75 ID:RcMMm8Pa(1) AAS
stackが新しいGHC(を使うStackage LTS)で警告出す件は本家にissue出とるね
Warnings about untested GHC and Cabal
外部ﾘﾝｸ:github.com
stackは去年の7月以来新バージョンのリリースが止まってる
(何かいざこざがあったようなことを目にしたような覚えが…)
外部ﾘﾝｸ:github.com
コミットは止まってないようだけれど
外部ﾘﾝｸ:github.com
66(2): 2020/03/26(木)16:09:50.75 ID:RWnXSfHI(1) AAS
Haskellって勉強しておくといいことある？
118(1): 2020/03/28(土)14:08:13.75 ID:qGbN9Cxf(2/2) AAS
なんかギルガメッシュいてワロタ
雑種！！！
130: 2020/03/30(月)09:41:29.75 ID:rvpoYgUk(1) AAS
モナドがらみだとF#のコンピューテーション式使って
async定義されてるらしいな ちょっと、モナド凄いと思ってしまった
裏で共通作業をするって意味なら分からなくはないけど、
その仕掛けは気になる
F# vNext は何が "ヤバい" のか: Monadic Programming の新時代
外部ﾘﾝｸ:qiita.com
190: 2020/04/06(月)05:06:41.75 ID:kxm5p/Vo(1) AAS
むしろ>>188-189がどういうことなのかわからない
287: 2020/04/28(火)01:57:21.75 ID:zsCbc70d(1) AAS
>>285
嫌うという表現は置いておくとして、
純粋関数と副作用の伴う関数とをあれほど切り分けたがるのは、
その方がメンテし易いというのが大きな理由の一つだと思う。
492: 2020/09/09(水)18:46:46.75 ID:7PwBIIdR(2/4) AAS
>>490
それともHaskellという言語は何でもかんでもある数学的に説明できるように設計されていて気持ちがいいというだけのことでしょうか？
524: 2020/10/31(土)12:29:50.75 ID:cEs7BAmA(1/2) AAS
いいんじゃない？
型の全体は文脈自由文法で規定されるクラスだから木になる希ガス
731(1): 2021/02/14(日)18:40:01.75 AAS
なぜ Haskell スレはワードサラダ bot に狙われてしまうのか
751(1): 2021/02/18(木)10:58:11.75 ID:jy6gqPJ4(1/2) AAS
>>748
客観的な目的というのは難しすぎて誰にも分からない
例えば個人的な借金を減らすことと国の借金を減らすことはどちらが客観的目的か
そうではなく、目的は主観で決めてOKというなら
それは結構面白い答えであって、つまらない答えではない
765: 2021/03/18(木)20:27:07.75 ID:gebFut6o(1) AAS
例えばプログラムをリファクタリングするとき、修正前後での挙動一致を証明できたりするぞ
すごい🤗
(依存型のないHaskellでは出来ないからidrisの例だけど)
外部ﾘﾝｸ:keens.github.io
やりたいことが数学／論理学の勉強とかならcoqのほうがよさげ
858: 2021/07/10(土)09:23:00.75 ID:Qo9dk8cs(2/3) AAS
間違えた
Float classがsinとかいっぱいあって難しいです
926: 2021/10/17(日)21:08:39.75 ID:LTEsEtXo(2/2) AAS
プログラミングの本質を学ぶには圏論について学ぶ必要があるということらしい
学んですぐ役立つというものではないようで、すぐ役立つ知識がお望みなら他をあたってくれ、とか
950(1): 2021/11/16(火)22:40:31.75 ID:t6DDIn3B(1/2) AAS
読んでみたけどよくわかんないなあ。AMPを満たすためにApplicative m => Monad mが必要ってことは書いてあるようだけど
Monadからreturnを削除して、pureに統一する理由って書いてあるかな？
読み飛ばしたかもしれんけど。
return = pureだから、統一しても同じっていうのは分かるんだけど、Applicativeにpureが必要な理由がわからない。
Applicativeの4つのルールを満たすためにpureが必要なことは、Applicativeの定義に書いてあるけど、圏論わかんないから、このルールが何で必要なのか分からん。
Monoidal Functor？とかいうやつの表現のために単位元(零元じゃなかったね)が必要なんだろうけど、圏論わからんないから分からん。
Monoidと関係あるんだろうか。それなら加法のために単位元が必要なのはわかるんだけど。
967: 2021/12/14(火)12:13:53.75 ID:l8dEnSpn(1) AAS
毛の壁から国民を守る党 72議席目
2chｽﾚ:net
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.041s