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