21/11/17 16:59:55.76 fpCU2YNN.net
「アプリカティブ関手はモノイド圏における強laxモノイド関手だよ、何か問題でも？」
URLﾘﾝｸ(blog.miz-ar.info)
984:デフォルトの名無しさん
21/11/17 17:27:50.45 f9gix7Cx.net
>>971
多分これの概要部分は見てるんですよね。
URLﾘﾝｸ(en.m.wikipedia.org)
後ろの方はさておき、概要部分は自分はさっぱりでしたが。
985:デフォルトの名無しさん
21/11/30 20:23:52.94 SegqCGCa.net
haskell勉強しようかなって思ってるんですけどおすすめ書籍ってなにかありませんか？
ちなみにocamlでプログラム書いたことあります
型システム入門を原文で7割ほど読破しました
ちなみに大学受験の数学はそこそこ自信あります
一階述語論理の記号扱って解いていました
圏論の知識はありません
986:デフォルトの名無しさん
21/11/30 20:27:04.88 SegqCGCa.net
ちなみにモナドは日本語版wikipediaの記事を読んだのみです
型クラスはわかります
MaybeまではわかりましたがIOモナドで躓きました
ocamlとは違って参照型がない言語だってことは意外に思いました
987:デフォルトの名無しさん
21/12/02 00:19:03.82 c82IwjxK.net
(>>=)がただのデータコンストラクタだったらモナドはただの構文木なのに
data M b = Bind (M a) (a -> M b) | ...
みたいな定義ができない型システムだから
代数的データ型を使わないでラムダをたくさん使うことになってみんな躓く
988:デフォルトの名無しさん
21/12/02 13:13:42.19 kpMV/tat.net
そりゃそうやろ？
データコンストラクタと展開されるべき関数の違いをプログラマが指定しなければ処理系は与えられたexpressionをどこまで展開すべきか決定できんやろ？
989:デフォルトの名無しさん
21/12/02 14:49:59.14 ISSe07L0.net
>>974
Haskellを始める前に仕入れたそのような知識やOCamlの経験が、
Haskellの学習にいったいどんな影響を与えるのか、
楽にするのか、それとも邪魔にしかならないのか、正直まったく分からん。
Haskellで何をしたいのか、目的や目標も分からんし。
なので、Haskell入門者という観点だけで次の2点をすすめる。
さっと要点を学んで早くアプリを作り始めたいのなら、薄い入門書で十分。
「Learn You a Haskell for Great Good!」
が良いと思う。
ガッツリ学びたい、かつ、時間と根気があるのなら、
「Haskell Programming from first principles」
がおすすめ。
詳しくはどちらも公式サイトを参照して。
なにで学習するにしても、手や頭を動かす(プログラミングする)のが主で、
本やドキュメントを読むのは従であることを忘れずに。
990:デフォルトの名無しさん
21/12/02 17:56:37.45 35Q5ApkZ.net
>>978
すみません
関数型言語って敷居が高そうなイメージあってやるにはある程度数学の素養が求められるのかなって思っていろいろ自分なりの知識があるところ挙げてみました
特に型システム入門は型推論の理論とか分かっていたほうがいいのかなと思って読んでいました
まずはLearn youの方を読んで見ようと思います
ありがとうございました
991:デフォルトの名無しさん
21/12/02 20:33:40.95 c82IwjxK.net
>>977
ただし、IOモナドは「展開」できない方がいい
そうすれば処理系がexpressionをどれだけ「展開」しても副作用がない
992:デフォルトの名無しさん
21/12/14 12:11:46.65 78Ep1iUH.net
あの伝説の岡部健が復活！！
URLﾘﾝｸ(twitter.com)
（おまけ情報）
Quoraでも有名だった岡部健、2021年12月にTwitterのアカウントまたまた永久凍結される。
当時のアーカイブは多少ネットに残ってるらしい
URLﾘﾝｸ(twitter.com)
URLﾘﾝｸ(i.imgur.com)
(deleted an unsolicited ad)
993:デフォルトの名無しさん
21/12/14 12:13:53.75 l8dEnSpn.net
毛の壁から国民を守る党 72議席目
ｽﾚﾘﾝｸ(net板)
994:デフォルトの名無しさん
21/12/14 12:34:07.62 iFoIKYew.net
IQ145の人？
995:デフォルトの名無しさん
21/12/14 12:57:57.79 IE9oyXDX.net
>>983
よく覚えてるな
最近はkensmoothってアカウントを連番で取得して、ネトウヨムーブを連発してたんだけど全部凍結されて今のアカウントになってる
あのネトウヨ投稿はなんだったんだろう
996:デフォルトの名無しさん
21/12/14 17:15:27.20 Ad592Fxk.net
>>981
うわあ
997:デフォルトの名無しさん
21/12/14 17:39:35.08 iFoIKYew.net
>>981
なにこの一覧
998:デフォルトの名無しさん
21/12/14 18:35:50.33 SgMFGeMD.net
岡部健、Twitter再開してたのねw
Newbieとはご無沙汰してたから知らんかったわw
999:デフォルトの名無しさん
21/12/14 19:46:12.10 oL+i1N1M.net
ツイッター再開おめでとうございます！
来年はべーやんの年になる！
と良いですね！
1000:デフォルトの名無しさん
21/12/14 22:17:24.22 8Kmj5/YX.net
>>981
こはひどい
1001:デフォルトの名無しさん
21/12/14 22:19:44.63 3V9aUzHV.net
岡部の最近凍結されたアカウントのツイートみっけた
URLﾘﾝｸ(archive.ph)
1002:デフォルトの名無しさん
21/12/14 22:22:42.89 oL+i1N1M.net
べーやんは論客なんだな。
1003:デフォルトの名無しさん
21/12/14 22:38:20.35 sz+GbZW0.net
UCLAを卒業したという話は封印したみたいね
なぜ？
1004:デフォルトの名無しさん
21/12/14 22:53:00.93 oL+i1N1M.net
たまたまでは？
1005:デフォルトの名無しさん
21/12/14 23:06:41.51 dwtzMOq3.net
Quoraでいろいろ回答しているがモナドの解説は見事だぞ
1006:デフォルトの名無しさん
21/12/14 23:16:06.08 NLEjPnNU.net
こんな話で勢いづいてるんじゃないよ君ら
1007:デフォルトの名無しさん
21/12/14 23:42:04.31 iFoIKYew.net
>>994
ハラデイ
1008:デフォルトの名無しさん
21/12/15 00:16:47.05 Xb4w9/yA.net
「モナドについて学んでいるのですが、mapやflatMapは圏論ではどの概念にあたるのですか？」
具体的に例示していてわかりやすい。
1009:にしやま@大阪大学
21/12/15 07:25:32.70 /l12wr0Z.net
嘘つきケンちゃん、相変わらずですねww
久々にわたくしも腹筋がミシミシと鍛えられました
しばらくわたくしも加勢いたします
1010:デフォルトの名無しさん
21/12/15 08:55:33.56 fP8nqGj3.net
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行く
1011:デフォルトの名無しさん
21/12/15 10:41:42.68 BDga5vqT.net
>>981
ぎゃっはっはっはっは
1012:デフォルトの名無しさん
21/12/16 08:29:00.48 kVJbCKwy.net
令和の時代に毛の壁ふたたび
1013:デフォルトの名無しさん
21/12/16 21:29:13.60 k4b05O9+.net
自分でキャラ演出してるだろ
1014:デフォルトの名無しさん
21/12/16 21:38:27.93 Y2CVy/MB.net
URLﾘﾝｸ(togetter.com)
ちょまど氏が首突っ込んでるけど、社名背負ってよくこんな書き込み出来るもんだと、驚いた。
1015:デフォルトの名無しさん
21/12/16 21:46:42.96 OBc86cw8.net
他の人も叩いているから便乗して死体蹴りしようか的な精神が見て取れる
1016:デフォルトの名無しさん
21/12/16 21:55:44.07 iDMhxZSI.net
>>1003
毛の壁氏、ですか、なつかしいですね
1017:デフォルトの名無しさん
21/12/16 21:55:47.51 Y2CVy/MB.net
それはマイクロソフト社の公式見解ですか？って突っ込み入れて欲しいわ。
1018:デフォルトの名無しさん
21/12/16 22:06:47.71 Y2CVy/MB.net
教祖だの洗脳だの言いがかりも甚だしいし、「学術的な真理ではないし」云々という自身の書き込みがそのままブーメランだと思うけど。
これを社名背負ってやるんだから頭おかしいわ。
1019:デフォルトの名無しさん
21/12/16 22:08:34.93 OBc86cw8.net
誰か次スレ立てろよ
1020:デフォルトの名無しさん
21/12/16 22:42:52.47 k4b05O9+.net
結局モナドってなんなのかわからんということにすべて起因してる希ガス
話題になってからもう二十年くらい立つのに結論でないし、数学者でもない限り一生わからんのだろうな
1021:デフォルトの名無しさん
21/12/17 13:01:29.30 NPioGyUL.net
新スレを立てました。当スレ(Part33)が埋まってからの利用をお願いします。
関数型プログラミング言語Haskell Part34
ｽﾚﾘﾝｸ(tech板)
1022:デフォルトの名無しさん
21/12/18 00:42:46.36 om0zr0Am.net
>>1009
結論だせる個人は存在するけど
組織になるとなぜか、結論だせない奴が代表者を気取ってるだけじゃん
1023:デフォルトの名無しさん
21/12/18 11:05:05.98 1fj0JYV9.net
>>1011
結論出せる個人て岡部氏のことっしょ？
そういう勢いでどうこうじゃなくって皆を納得させるような結論はないっていうこと
1024:デフォルトの名無しさん
21/12/18 11:23:52.39 9ehaErM5.net
納得が遅い
1025:デフォルトの名無しさん
21/12/20 09:52:36.40 ZumN5JOf.net
URLﾘﾝｸ(qiita.com)
コメント欄に毛の壁現る。
1026:デフォルトの名無しさん
21/12/20 09:52:54.51 ZumN5JOf.net
また誹謗中傷してるので通報よろ
1027:1001
Over 1000 Thread.net
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 678日 15時間 35分 18秒
1028:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています