[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part33 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
959(1): 2021/11/30(火)20:23 ID:SegqCGCa(1/2) AAS
haskell勉強しようかなって思ってるんですけどおすすめ書籍ってなにかありませんか？
ちなみにocamlでプログラム書いたことあります
型システム入門を原文で7割ほど読破しました
ちなみに大学受験の数学はそこそこ自信あります
一階述語論理の記号扱って解いていました
圏論の知識はありません
960: 2021/11/30(火)20:27 ID:SegqCGCa(2/2) AAS
ちなみにモナドは日本語版wikipediaの記事を読んだのみです
型クラスはわかります
MaybeまではわかりましたがIOモナドで躓きました
ocamlとは違って参照型がない言語だってことは意外に思いました
961: 2021/12/02(木)00:19 ID:c82IwjxK(1/2) AAS
(>>=)がただのデータコンストラクタだったらモナドはただの構文木なのに
data M b = Bind (M a) (a -> M b) | ...
みたいな定義ができない型システムだから
代数的データ型を使わないでラムダをたくさん使うことになってみんな躓く
962(1): 2021/12/02(木)13:13 ID:kpMV/tat(1) AAS
そりゃそうやろ？
データコンストラクタと展開されるべき関数の違いをプログラマが指定しなければ処理系は与えられたexpressionをどこまで展開すべきか決定できんやろ？
963(1): 2021/12/02(木)14:49 ID:ISSe07L0(1) AAS
>>959
Haskellを始める前に仕入れたそのような知識やOCamlの経験が、
Haskellの学習にいったいどんな影響を与えるのか、
楽にするのか、それとも邪魔にしかならないのか、正直まったく分からん。
Haskellで何をしたいのか、目的や目標も分からんし。
なので、Haskell入門者という観点だけで次の2点をすすめる。
さっと要点を学んで早くアプリを作り始めたいのなら、薄い入門書で十分。
「Learn You a Haskell for Great Good!」
が良いと思う。
ガッツリ学びたい、かつ、時間と根気があるのなら、
「Haskell Programming from first principles」
がおすすめ。
詳しくはどちらも公式サイトを参照して。
なにで学習するにしても、手や頭を動かす(プログラミングする)のが主で、
本やドキュメントを読むのは従であることを忘れずに。
964: 2021/12/02(木)17:56 ID:35Q5ApkZ(1) AAS
>>963
すみません
関数型言語って敷居が高そうなイメージあってやるにはある程度数学の素養が求められるのかなって思っていろいろ自分なりの知識があるところ挙げてみました
特に型システム入門は型推論の理論とか分かっていたほうがいいのかなと思って読んでいました
まずはLearn youの方を読んで見ようと思います
ありがとうございました
965: 2021/12/02(木)20:33 ID:c82IwjxK(2/2) AAS
>>962
ただし、IOモナドは「展開」できない方がいい
そうすれば処理系がexpressionをどれだけ「展開」しても副作用がない
966(4): 2021/12/14(火)12:11 ID:78Ep1iUH(1) AAS
あの伝説の岡部健が復活！！
Twitterﾘﾝｸ:ken74047924
（おまけ情報）
Quoraでも有名だった岡部健、2021年12月にTwitterのアカウントまたまた永久凍結される。
当時のアーカイブは多少ネットに残ってるらしい
Twitterﾘﾝｸ:KenSmooth5
画像ﾘﾝｸ
Twitterﾘﾝｸ:5chan_nel (5ch newer account)
967: 2021/12/14(火)12:13 ID:l8dEnSpn(1) AAS
毛の壁から国民を守る党 72議席目
2chｽﾚ:net
968(1): 2021/12/14(火)12:34 ID:iFoIKYew(1/3) AAS
IQ145の人？
969: 2021/12/14(火)12:57 ID:IE9oyXDX(1) AAS
>>968
よく覚えてるな
最近はkensmoothってアカウントを連番で取得して、ネトウヨムーブを連発してたんだけど全部凍結されて今のアカウントになってる
あのネトウヨ投稿はなんだったんだろう
970: 2021/12/14(火)17:15 ID:Ad592Fxk(1) AAS
>>966
うわあ
971: 2021/12/14(火)17:39 ID:iFoIKYew(2/3) AAS
>>966
なにこの一覧
972: 2021/12/14(火)18:35 ID:SgMFGeMD(1) AAS
岡部健、Twitter再開してたのねw
Newbieとはご無沙汰してたから知らんかったわw
973: 2021/12/14(火)19:46 ID:oL+i1N1M(1/3) AAS
ツイッター再開おめでとうございます！
来年はべーやんの年になる！
と良いですね！
974: 2021/12/14(火)22:17 ID:8Kmj5/YX(1) AAS
>>966
こはひどい
975: 2021/12/14(火)22:19 ID:3V9aUzHV(1) AAS
岡部の最近凍結されたアカウントのツイートみっけた
外部ﾘﾝｸ:archive.ph
976: 2021/12/14(火)22:22 ID:oL+i1N1M(2/3) AAS
べーやんは論客なんだな。
977: 2021/12/14(火)22:38 ID:sz+GbZW0(1) AAS
UCLAを卒業したという話は封印したみたいね
なぜ？
978: 2021/12/14(火)22:53 ID:oL+i1N1M(3/3) AAS
たまたまでは？
979(1): 2021/12/14(火)23:06 ID:dwtzMOq3(1) AAS
Quoraでいろいろ回答しているがモナドの解説は見事だぞ
980: 2021/12/14(火)23:16 ID:NLEjPnNU(1) AAS
こんな話で勢いづいてるんじゃないよ君ら
981: 2021/12/14(火)23:42 ID:iFoIKYew(3/3) AAS
>>979
ハラデイ
982: 2021/12/15(水)00:16 ID:Xb4w9/yA(1) AAS
「モナドについて学んでいるのですが、mapやflatMapは圏論ではどの概念にあたるのですか？」
具体的に例示していてわかりやすい。
983: にしやま@大阪大学 2021/12/15(水)07:25 ID:/l12wr0Z(1) AAS
嘘つきケンちゃん、相変わらずですねww
久々にわたくしも腹筋がミシミシと鍛えられました
しばらくわたくしも加勢いたします
984: 2021/12/15(水)08:55 ID:fP8nqGj3(1) AAS
Hugs> take 10 fibs where fibs = 0 : 1 : zipWith (+) fibs (tail fibs)
[0,1,1,2,3,5,8,13,21,34]
GHCi
Prelude> take 10 fibs where fibs = 0 : 1 : zipWith (+) fibs (tail fibs)
<interactive>:6:14: error: parse error on input ‘where’
言語仕様が微妙に異なる？
オレメモ、バッチファイル
stack ghci
を目的のディレクトリ下(例、e:\haskell)に作ってディスクトップにはバッチファイルへのリンクを作っておくと
ghci起動後カーソルが消えない
貴重なHaskellスレがもう過ぐ1000行く
985: 2021/12/15(水)10:41 ID:BDga5vqT(1) AAS
>>966
ぎゃっはっはっはっは
986: 2021/12/16(木)08:29 ID:kVJbCKwy(1) AAS
令和の時代に毛の壁ふたたび
987: 2021/12/16(木)21:29 ID:k4b05O9+(1/2) AAS
自分でキャラ演出してるだろ
988(1): 2021/12/16(木)21:38 ID:Y2CVy/MB(1/3) AAS
外部ﾘﾝｸ:togetter.com
ちょまど氏が首突っ込んでるけど、社名背負ってよくこんな書き込み出来るもんだと、驚いた。
上下前次1-新書関写板覧索設栞歴
あと 14 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.026s