トップページ⇒tech
1002コメント372KB

関数型プログラミング言語Haskell Part29 [転載禁止]©5ch.io

■ このスレッドは過去ログ倉庫に格納されています
0001岡部メモリリーク健2015/07/14(火) 19:27:09.01ID:jJ1YDtNe
関数型プログラミング言語 Haskell について語るスレです。

　　　　　　　　　,.-―:￣｀ー::::::::::､
　　　　　　　／::::::::::::.::::::::::::::::::::::::::::｀::､､
　　　　　　/::::::::::::::::::::::::::::::::::::::::::::::::::::::｀､
　　　　　 ｌ::::::::::::::::::::::::::::::::::::::::;':l:::::::::::＼::l
　　　 　 l:::::::::::::::::::::::::::::::::,,::::::::;-,:,::::::::::::::::l
　　　　 l::::::::::::::::,＿,.::::,';::::::;:::::: :: l ::::::::::::::l
　　　 　l::::::::::／-/:::/-ニ,.::::／=,.／::::::::::l
　　　　 ヽ::::　´､ひ> ;: 　l .<ひ>'　 ､::::::::/
　　　　ヽ:::::　　 ￣ .)::;　 l　￣　　　ｌ::::/ 　　　＜　毛の壁（岡部健）の話は禁止な
　　　　　､:::::..　　 /:::;　.,-､　　　　 l:::/、
　　　　,―::::::::　　ゝヽ- ｰ' ､　　　 l::/,､ヽ
　　 　 l,､,､,,:､::　/ ,--､,-.､_ l　 　 /::::::,､,､l
　　　ｌ,､,､,､,､,､::､　｀ー￣-'　　　/:::::::::::,､,､l
　　　ｌ,､,､,､,､,､,､::ヽ　　　　　 ／::::::::､,､,､,､,ﾉ:＼

haskell.org (公式サイト)
http://www.haskell.org/

前スレ
関数型プログラミング言語Haskell Part28
http://peace.2ch.net/test/read.cgi/tech/1428535861/
0263デフォルトの名無しさん2015/08/10(月) 23:19:26.21ID:08na6m/L
どのように書かれていたら ID:6CToalvRは「正確に形式化できている」と判断するのだろうか
0264デフォルトの名無しさん2015/08/11(火) 00:48:36.91ID:35SQIDRW
俺が悪いんじゃない、Wadlerの書き方が悪いんだ、と言いたいのかもな
0265デフォルトの名無しさん2015/08/11(火) 06:26:59.37ID:hdf2tNQK
∀型の意味はSystem Fとして厳密に形式化されている。「型システム入門」にも書いてある初歩。
0266デフォルトの名無しさん2015/08/11(火) 06:30:12.53ID:hdf2tNQK
Wadlerの論文でも4節のFigure 2でちゃんと定式化の復習してるじゃねーか。読まずに書くなよ
0267デフォルトの名無しさん2015/08/11(火) 06:36:13.99ID:l/j/VTng
>>262

論文や入門書どころか2chのレスすら読めないのか？

0255 デフォルトの名無しさん 2015/08/10 19:27:08
形式化はイントロ以外の本論か、普通の型理論の入門書を読み直そう。
ID:xfbTbnyl(1)
0268デフォルトの名無しさん2015/08/11(火) 08:39:19.79ID:cH2UxrcD
パラメータ多相はtemplateのようなものに型名を渡すだけで実体化する

アドホック多相は実体化する前に
["a", "b"] |-> ["a", "b", "b"],
[1, 2] |-> [2, 1]
のような単相のコードを仕込んでおかないと実体化できない
つまり型名だけでなくコードとか色々な情報を注入している
0269デフォルトの名無しさん2015/08/11(火) 21:39:29.31ID:csNtDDNc
パラメータ多相とかアドホック多相とかいろいろ出てるが
それらに共通の「多相」って何か言ってみろよ
0270デフォルトの名無しさん2015/08/12(水) 10:32:15.38ID:E9Tw94sD
>>269
君はなぜ自分より知識や教養が上の相手にタメ口なんだ
0271デフォルトの名無しさん2015/08/13(木) 12:02:19.75ID:mwGqyG64
>>270
答えられないのか？
ところで君はこのスレをご主人と崇める番犬なんだな？ｗ
0272デフォルトの名無しさん2015/08/13(木) 15:16:34.02ID:M3nW2qvP
基本的用語の検索もできない自称プログラマって生きてて恥ずかしくないの？
https://en.wikipedia.org/wiki/Polymorphism_(computer_science)
0273デフォルトの名無しさん2015/08/13(木) 15:18:03.14ID:d32APRUA
大学1年生か2年生の課題とかじゃない？
0274デフォルトの名無しさん2015/08/13(木) 15:24:02.22ID:Po5dRgtj
多相を分かりやすく言うと「単相ではない」という意味です
単相は昔からみんな知ってたやつなので分かりやすい
0275デフォルトの名無しさん2015/08/13(木) 15:52:21.18ID:Gt0qYtbN
>>271
おまえみたいなダメ学生のレポート代筆を誰が手伝うかってことです。
0276デフォルトの名無しさん2015/08/13(木) 16:02:02.25ID:Gt0qYtbN
田舎の秀才というか、狭い世界で褒められてるうちに
自我が肥大してしまっていつしか
「わからなくてもコツコツ勉強するのは大事」
「世の中わからんこともある」
「わからんのは、教え方が悪いからとは限らず、自分の知力の限界かもしれない」
というようなことを認めようとしないまま中途半端な歳まで来ちゃうと限りなくアウトに
近い。

妙に肥大した自我と釣り合いを取るために、「わたしには
知性も教養も欠けてるのでどうか憐れむと思って教えてください」
の一言が出せずに煽ることしかできない、そういう喧嘩腰が
いつまでも通じると思ってる時点で社会知性が低すぎてダメ。
コンビニのバイトですら務まらないレベル。


狭いサークルで褒められまくっていたせいか、妙な自信と
プライドだけは高いんだが中身はスッカスカ。


たまに親切な誰かが丁寧に教えてやっても礼の一言も述べず
「ふーん、なんか結局モナドって合成できないからプログラミングにとって致命的じゃん」
とか、言ってる本人にも意味不明なワードサラダめいたポエムを投げることしかできない。
0277デフォルトの名無しさん2015/08/13(木) 19:19:34.10ID:mwGqyG64
>>276
君どうしちゃったんだ？ｗ
本題についてだけ静かに語ればいいんだよ
0278デフォルトの名無しさん2015/08/13(木) 19:56:35.31ID:Gt0qYtbN
>>277
まあそんなに落ち込むな。
0279デフォルトの名無しさん2015/08/13(木) 20:09:47.48ID:kVSCQFgg
自演して一人盛り上がってるアホを見た
0280デフォルトの名無しさん2015/08/13(木) 20:16:46.88ID:cFZHcgXb
長文自己紹介とか草
0281デフォルトの名無しさん2015/08/13(木) 23:59:10.02ID:/TT2ZElL
>>276
毛の壁宛なんだろうが、なんとなく流れ弾に中った感がある
0282デフォルトの名無しさん2015/08/14(金) 06:57:25.05ID:UKR1Ens3
体育会系がルールにこだわるのは
ルールがなければ勝ち目のない相手にもルールを守らせれば勝てるからなんだよな
0283デフォルトの名無しさん2015/08/15(土) 12:23:13.66ID:fL/PzS3/
そんなことってあるか？
0284デフォルトの名無しさん2015/08/15(土) 14:50:11.24ID:U2H5mvyM
常識でしょ
「勝ちたいのならルールを作る側になれ」てよく言うじゃん
そういう意味で体育会系を束ねるのは楽だけどな
0285デフォルトの名無しさん2015/08/15(土) 16:27:38.46ID:fL/PzS3/
「常識でしょ」
0286デフォルトの名無しさん2015/08/15(土) 19:01:57.66ID:ijksDLQO
「選択と集中」だとか「勝ちたいのならルールを作る側になれ」とか
カモリーマン相手の自称ベテランコンサルタントが言いそうな言葉っすね。

そういうゴミみたいな言葉を頭に突っ込むとゴミみたいな考えしか出てこないゴミ頭になります。
0287デフォルトの名無しさん2015/08/15(土) 19:48:49.12ID:LE4LycT3
別に俺俺型クラス作ってもいいんやで
0288デフォルトの名無しさん2015/08/15(土) 20:18:09.10ID:R9hEcy+E
うおおお いつの間にかhackageにあるソースコードがリッチになってる！
http://hackage.haskell.org/package/base-4.8.1.0/docs/src/GHC.Base.html#local-1627391929
どうやって作るんだこれ…
0289デフォルトの名無しさん2015/08/15(土) 21:16:49.43ID:2DqmJ2ZC
仕様を作る側って素人でもなれるんだろ
プロは他人が作る仕様 (変更) を予知するべき
0290デフォルトの名無しさん2015/08/16(日) 03:11:32.19ID:uK7XPl3A
ちょっと何言ってるか判らない
0291デフォルトの名無しさん2015/08/16(日) 06:31:17.72ID:aYrENx1a
ﾜﾛﾀ
すげぇなw

https://dl.dropboxusercontent.com/u/7687891/join_to_Monad/join_to_Monad.html
0292デフォルトの名無しさん2015/08/16(日) 18:29:05.94ID:Vkg3e5dl
>>291
若干長いけど良い記事だよね。
0293デフォルトの名無しさん2015/08/17(月) 23:42:32.36ID:E8Zlkk8d
>>291 >>292
とても素直な気持ちのいい記事だね
0294デフォルトの名無しさん2015/08/18(火) 17:03:51.11ID:j5KExTo2
いろいろHaskellが変わったらしいけど
今だとHaskellの入門書としてお勧めってどれになるんです？
0295デフォルトの名無しさん2015/08/18(火) 22:53:30.76ID:1H/7a1LX
>>294
いろいろとか言っても Monad が Applicative になったとかそんな程度じゃないの？
0296デフォルトの名無しさん2015/08/19(水) 03:34:39.76ID:fY37jawe
ねえ

Monad m => m (m a, m b) -> (m a, m b)
ってできるっけ？
0297デフォルトの名無しさん2015/08/19(水) 03:58:30.08ID:fY37jawe
失礼。自己解決しました。
join . liftA (uncurry (liftA2 (,)))
0298デフォルトの名無しさん2015/08/20(木) 02:59:44.72ID:UVdNs5g4
writer関数ってタプルの順番間違ってないか？

> (++) <$> (Sum (42::Int), "apple"::String) <*> (Sum 13,"banana")
(Sum {getSum = 55},"applebanana")

> let flipP (a,b) = (b,a)

> (++) <$> (writer $ flipP (Sum (42::Int), "apple"::String)) <*> (writer $ flipP (Sum 13,"banana")) :: Writer (Sum Int) String
WriterT (Identity ("applebanana",Sum {getSum = 55}))

--
現状、
writer :: Monad m => (a, w) -> WriterT w m a
になってるが、
writer :: Monad m => (w, a) -> WriterT w m a
だったら上記の例のflipPが要らない。
0299デフォルトの名無しさん2015/08/20(木) 07:37:43.38ID:hMgOl3Ol
人には右利きと左利きがあって、左利きは「間違ってないか？」とよく言われるが
その問いに正解はない
0300デフォルトの名無しさん2015/08/21(金) 01:40:51.70ID:fXEaGRk/
リトルエンディアン: しばしばビッグエンディアンより優れているとされる
ビッグエンディアン: しばしばリトルエンディアンより優れているとされる
0301デフォルトの名無しさん2015/08/21(金) 22:08:23.86ID:oak8Xfw5
Wikipediaのエンディアンの項目を見ていて一番ばからしいと思ったのは、
エンディアンを切り替えられるバイエンディアンプロセッサ。
0302デフォルトの名無しさん2015/08/22(土) 00:31:10.13ID:EXDcUcnU
なんか、すごいの来たー！！！
ttp://www.amazon.co.jp/圏論-原著第2版-Steve-Awodey/dp/432011115X/

あとこれも、
ttp://www.amazon.co.jp/圏論の歩き方-圏論の歩き方委員会/dp/4535787204/
以前の数学セミナー（だっけ？）の連載のまとめだと思うけど。

{- 間違えて sc の方に書き込んだら、まるっきり反応がなかった。 -}
{- で、.net で再投稿 -}
0303デフォルトの名無しさん2015/08/22(土) 01:20:33.93ID:OQor0U0W
Wikipedia
＞圏論を初期の学部生に教授することは強い反対にあっている。

にわかに圏論の勉強を始めない方が良い？
0304デフォルトの名無しさん2015/08/22(土) 01:53:23.77ID:PkWehqCK
買うわ
0305デフォルトの名無しさん2015/08/22(土) 03:47:42.60ID:N1uhek7+
>>303
一言で言うと、Haskellのモナドや多相型の関数の概念を理解し使いこなす、つまり関数プログラミングの実務に圏論は全く必要ないし
知っていても何の役にも立たない、つまりは圏論はそのキーワードをひけらかしていい恰好したいだけの単なるファッションの飾りに過ぎない

他方、本当に計算の理論（例えば表示的意味論を展開する数学的構造な枠組みとしてのScottらの領域理論など）を
勉強して理解し将来的にはその分野で学術誌か国際会議に論文の１つでも通したいのならば、圏論の勉強は不可欠
（Scott理論の古典的で基礎的な部分の学習だけならば別に圏論を知らなくとも一応はできるけれどね）
0306デフォルトの名無しさん2015/08/22(土) 07:42:28.65ID:pHk1lnIK
>>305
その説明もなんか変なんだよな
いい恰好したいなら金持ちか政治家になればいいのに
なんで批判する側もされる側も学者を標的にするのかさっぱりわからない
0307デフォルトの名無しさん2015/08/22(土) 10:28:17.35ID:bUf5bCJ1
一言で言うと、自動車を運転するために熱力学や内燃機関について知る必要は全くないし
知っていても何の訳にもたたない。つまり熱力学だとかカルノーサイクルを勉強してるやつは
カッコつけたいだけのファッションバカにすぎない。

ブレーキは踏めば止まる、エンジンはなんかガソリン入れときゃ動く、ラジエーターだとか
よくわからんものはガソリンスタンドでチェックしてもらえばいいし、タイヤの空気圧が下がってる
事の意味もガソリンスタンドの人が注意してくれるし、物事が動く原理というのは
全く知る必要がない。

原理厨はなにかとあれこれ勉強しないとわからん言って脅してくるけど、俺達は反知性主義の
旗を掲げて徹底抗戦だ。
0308デフォルトの名無しさん2015/08/22(土) 10:33:20.58ID:XZXv5ALV
例えがまるで的外れだ
0309デフォルトの名無しさん2015/08/22(土) 10:39:12.14ID:Hb7eGyOr
「一言で言うと」で始まる長文を書いてる時点で
0310デフォルトの名無しさん2015/08/22(土) 11:04:44.83ID:bUf5bCJ1
反知性主義自体には共鳴してくれるでしょ。圏論要らない。
0311デフォルトの名無しさん2015/08/22(土) 11:07:41.75ID:Hb7eGyOr
「全く〜ない」
とか
「〜だけ」
とか
「〜にすぎない」
が多用されてる文章は確かに反知性主義的な感じがする。
0312デフォルトの名無しさん2015/08/22(土) 12:08:13.94ID:pHk1lnIK
要らないというのはミニマリストの言葉なんです
ミニマリストが反知性の手口を学べばそっくりそのまま応用できる可能性が高い
0313デフォルトの名無しさん2015/08/23(日) 09:18:45.96ID:bL4DWVex
>>302
宣伝乙(良い意味で)
0314デフォルトの名無しさん2015/08/23(日) 09:57:28.55ID:LhCUqlmj
Haskell分かっても圏論が分かったことにはならないの？
どこで違いが出てくるの？
0315デフォルトの名無しさん2015/08/23(日) 11:44:34.87ID:28kORioT
>>314
Haskは圏のなかでもやや特殊。型付のラムダ計算なんかを抽象化して得られる
圏と近い。例えば、Hask圏では A, B という対象に対して A->B という対象を作れるが、
このような性質は「一般の圏」にはない。
0316デフォルトの名無しさん2015/08/24(月) 02:49:24.38ID:UcMD+ccy
まぁhaskellの学習に圏論必要ないってのはほんま
0317デフォルトの名無しさん2015/08/24(月) 08:58:11.78ID:kCQmOeKa
圏論ワードに外来語的なニーズがあるというコンセンサス
0318デフォルトの名無しさん2015/08/24(月) 11:27:43.78ID:/WF09MBN
Haskellの学習に圏論は必要ないし、そもそもプログラミングを学ぶ必要すらない。
俺達先進国の人間はベトナムの優秀なIT技術者を時給50円で死ぬまで使えば良いからだ。
そもそも何かを学ぶということは人間の自然に反する。言語を捨て、文明を捨て、原始に回帰すること
こそ人類の究極の目標である。
0319デフォルトの名無しさん2015/08/24(月) 11:43:02.32ID:OjRQ25eS
知識がどうとかは、個人ベースの話なので、まったくどうでもいいし、着眼点がずれている
個人の人生のテーマなんぞは、本人にしか関係ないし、他人からしたらどうでもいいこと
お前が知識が要らないと考えるなら、そうすればいいし、俺らには関係ない、お好きにどうぞ

機能性を追及することが、人類の永遠のテーマなのです
分かりやすく言えば、100人の人間が集まって、その100人で、どういう機能を果たすか、ということ
昨今コミュニケーション能力が高らかに叫ばれるのは、そういうこと
ここで、知識は手段に過ぎず、目的になりえない
0320デフォルトの名無しさん2015/08/24(月) 12:00:06.78ID:kCQmOeKa
100人がコミュニケーションすると80人が嘘をつき合計マイナス60人になる場合もある
マイナス60人は1人よりも小さい
0321デフォルトの名無しさん2015/08/24(月) 12:08:55.77ID:OjRQ25eS
そうならないようにするのが、人類のテーマなんです
0322デフォルトの名無しさん2015/08/24(月) 13:50:02.35ID:1q9FvsVI
ワクテカ
http://haskellformac.com
0323デフォルトの名無しさん2015/08/24(月) 13:50:44.81ID:twgtagYC
mac 用IDE がもうすぐリリース
0324デフォルトの名無しさん2015/08/24(月) 13:51:24.77ID:twgtagYC
すまん、かぶった
0325デフォルトの名無しさん2015/08/24(月) 19:00:25.78ID:pjiRa/zc
>>318 建設会社でも行ってこい、
0326デフォルトの名無しさん2015/08/24(月) 19:03:26.28ID:/WF09MBN
>>325
圏論厨を滅ぼすまではダメです
0327デフォルトの名無しさん2015/08/25(火) 02:06:08.16ID:YISO+qUP
>>326 ワロタ、あれは生き残るパターンや。プログラミングの機械化がすすむ以上、おまいらが将来つかうことになるからな
0328デフォルトの名無しさん2015/08/25(火) 02:10:41.85ID:YISO+qUP
そもそも真の圏論厨はlispで独自実装しそうなもんだが
0329デフォルトの名無しさん2015/08/25(火) 07:15:28.00ID:oMRqhMXw
Lispと圏論は全然関係ないからやめろよ
C++使えよ
マクロじゃなくてテンプレートを使うんだぞ
0330デフォルトの名無しさん2015/08/25(火) 10:27:27.34ID:Vmm9Vscj
>>315
それはむしろHaskellをやればCCCがすぐ分かるということだ
Haskellをやっても圏論は分からないという例はないの？

>>316
いやその逆で、圏論の学習の替わりにhaskellが使えるか？ということなんだが
0331デフォルトの名無しさん2015/08/25(火) 11:52:16.03ID:oMRqhMXw
例というか、PerlのOOPが異端視されるのと同じ
Perlをいくら完璧に学習しても「OOPを正しく理解していない」と見做される
0332デフォルトの名無しさん2015/08/25(火) 12:14:07.00ID:Vmm9Vscj
OOPと圏論を同列に並べるのはいかがなものか
OOPは茫漠とした思想みたいなもんだが圏論は違うだろ？
0333デフォルトの名無しさん2015/08/25(火) 13:33:39.80ID:oMRqhMXw
違うだろ？ってみんなで答え合わせしないと確信を持てない時点でかなり怪しい
みんなで共有する知識はそういう怪しいものばかり
なので個人で頑張る
0334デフォルトの名無しさん2015/08/25(火) 14:11:55.34ID:nys8WXaq
>>333
Haskellの話に圏論絡めてくる奴は皆殺しにしろとか言い出す
僕みたいな反知性主義者が「答え合わせ」に参加すると結論が歪む。
0335デフォルトの名無しさん2015/08/25(火) 15:35:47.03ID:YISO+qUP
>>334 とりあえず通報しときました。
0336デフォルトの名無しさん2015/08/25(火) 21:13:15.88ID:nys8WXaq
>>335
つうほうせんといてや〜
0337デフォルトの名無しさん2015/08/26(水) 01:43:51.18ID:fE8RXalP
圏論やるより型クラス勉強してモナド使うほうがhaskellの勉強になるから
0338デフォルトの名無しさん2015/08/26(水) 08:31:04.41ID:NnDRip21
>>337
そうやな！圏論いらんわ。
だいたいあいつらちょっと数学が得意だからって調子こいてるよな。
0339デフォルトの名無しさん2015/08/26(水) 12:27:26.78ID:W/3BVY4r
いらんってことはないけどな。
圏論だと思って使わなくても圏論の概念は使うことになるし。
逆に言えばわざわざ圏論を学ばんでもどうせ触れるっつー話でもある。

俺ら日本語の文法をわざわざ学んでから喋っとるわけちゃうみたいに、
実用から入っていけばなんとなく自然な使い方もわかるようになるで。
まあ、どっちから入門してもかまへん。
ただ、圏論から入っていくやつをあえてディスるんはやめよで。
0340デフォルトの名無しさん2015/08/26(水) 13:44:56.04ID:31UMARGP
私は関西人ではないのですが、『やめよで』は『やめような』という意味の関西弁として正統なのでしょうか？
0341デフォルトの名無しさん2015/08/26(水) 14:45:58.21ID:gQwT5cTu
圏論は頭の体操にもなるし論文書いたり新しい技法を開発するレベルまでやりたいなら止めはしないが、
haskellのモナドを人に教えるときに圏論の話を絡める奴は全く信用できん、という程度の話。
0342デフォルトの名無しさん2015/08/26(水) 14:54:08.52ID:H1SEqDeZ
>>337
>>338
>>339
君たち、
「Haskellやモナドを使うのに圏論を知っておく必要は全然ない」てのはよく聞くけど
それって、「そんなの知らなくてもできる仕事は一杯あるからね、下流底辺に。
上流の仕事は圏論が分かる層がやるから気にしなくていいよ。」ってニュアンス？
0343デフォルトの名無しさん2015/08/26(水) 15:30:11.46ID:W/3BVY4r
>>342
「最初からハードル上げるな」という話。
Haskell でプログラミングするだけなら圏論を意識することはない。

圏論で言ってることというのは意識せずとも使える程度のものでしかないんだよ。
ただ、そこに明確な定義を与えて名前を付けたのが圏論という学問領域になってるだけ。
言うなれば数学界のデザインパターンが圏論。

先に Haskell を実用している人が圏論みても、
あ〜このパターンってこういう名前がついてんのね〜、ってくらいの感想だろうよ。
0344デフォルトの名無しさん2015/08/26(水) 15:57:11.19ID:W/3BVY4r
デザインパターンの中には知らなかった (しかし知っていると有用な) パターンだってあるだろうし、
それを学ぶことを無意味と切り捨てることはできない。
圏論として学ばなくても誰かのコードを読んでいるときに知るということもあるだろうから、
圏論という形で学ぶ必要は必ずしも無いけど、
まあほどほどに Haskell を使えるようになった頃に一度くらい斜め読みしてもいいんじゃないのかねとも思う。

上手く使えるようになったつもりでもさー、全然知らなかった概念が頭の中に湧いて出てくるってことはないんだよ。
たとえ話で言えば、字を早く書きたくてペンの性能を目いっぱい追求して満足な結果が出るとするじゃん？
そしたら世の中には実はタイプライターがありました、ワードプロセッサがありました、っていう感じ。
0345デフォルトの名無しさん2015/08/26(水) 16:14:34.56ID:9WcNfeqJ
目的や目標とするレベルが各人バラバラだから話が噛み合わない
0346デフォルトの名無しさん2015/08/26(水) 16:39:39.65ID:U9Ynnj38
参考文献を書く義務とそれを読む自由と読まない自由があるけど
342のように自由というニュアンスを理解できない人が多い
で、自由ってよくわからんから全部義務にしようということで圏論まで強制されてしまう
0347デフォルトの名無しさん2015/08/26(水) 16:50:54.29ID:W/3BVY4r
高度なことをしようと思えば高度な知識が必要だし、
ほどほどでいいならほどほどの知識でいいっていう当たり前の話だよな。

文章にきちんとまとめて発表しようとすると使う言葉が圏論の世界のものに
なってしまうからどうしてもそういう言葉を目にしてしまうだけで。
0348デフォルトの名無しさん2015/08/26(水) 21:07:20.44ID:2om2SE56
数学界のデザパタの前にHaskellのデザパタを知りたい
0349デフォルトの名無しさん2015/08/26(水) 21:21:20.27ID:6+xCvXdx
モナドだろ
0350デフォルトの名無しさん2015/08/26(水) 22:58:54.24ID:H1SEqDeZ
>>346
自由とか義務とかの問題じゃないだろｗ
能力の問題
>>347
やっぱりHaskellより圏論の方が高度ｗってことね
0351デフォルトの名無しさん2015/08/26(水) 23:36:27.51ID:NnDRip21
反知性主義者を代表して言わせてもらうが

「俺は圏論をまったく知らないが、モナドを自由に使えてる。だから圏論は必要ない」

以上です。
0352デフォルトの名無しさん2015/08/26(水) 23:47:35.06ID:H1SEqDeZ
>>351
反知性主義者か。ええなあ。がんばってや
0353デフォルトの名無しさん2015/08/27(木) 05:45:42.82ID:hpMNnVK0
>>351
その圏論を知らずにモナドを自由に使えているあなたが仮に圏論を学べば、
モナドを人に上手く教えたりもっと
自在にモナドを操れるようになるのかも知れないね。
0354デフォルトの名無しさん2015/08/27(木) 05:55:16.94ID:V7YRDu0j
必要に足りてるならそれはそれでいいよ。
0355デフォルトの名無しさん2015/08/27(木) 07:04:42.40ID:gHMFOOrZ
>>353
その例を一つ二つ挙げてみてよ
0356デフォルトの名無しさん2015/08/27(木) 07:15:24.26ID:MMHzsuN9
べつにチューリング完全な言語を超えるような未知の能力を研究してるわけじゃないから
ただ型推論を使って動的型付け言語のレベルに追いつけるかどうかの問題
0357デフォルトの名無しさん2015/08/27(木) 07:48:02.01ID:2fn5iyFt
何言ってんだこいつ？
0358デフォルトの名無しさん2015/08/27(木) 07:58:41.43ID:MMHzsuN9
難聴乙
0359デフォルトの名無しさん2015/08/27(木) 08:41:46.96ID:TbOH8VLZ
静的型付け言語がまるで動的型付け言語に劣っているかのような誤解を招く書き方ですね
0360デフォルトの名無しさん2015/08/27(木) 08:53:04.69ID:2fn5iyFt
チューリング完全の枠を出ないと、超一般的な前提を言いながら、
ffiで各々が呼びだせば解決する程度の話をする頭の悪さ
0361デフォルトの名無しさん2015/08/27(木) 09:24:03.24ID:MMHzsuN9
頭の良さってほんのわずかの差で一喜一憂するところが放射能に似ているよね
0362デフォルトの名無しさん2015/08/27(木) 09:57:44.93ID:8/UVeoJ+
動的型つき言語は、再帰型のある静的型付き言語のサブセットだぞ
■ このスレッドは過去ログ倉庫に格納されています