- 1 名前：デフォルトの名無しさん [2015/04/09(木) 08:31:01.42 ID:4yjREsCN.net]
- 関数型プログラミング言語 Haskell について語るスレです。
,.-―:￣｀ー::::::::::､
／::::::::::::.::::::::::::::::::::::::::::｀::､､
/::::::::::::::::::::::::::::::::::::::::::::::::::::::｀､
ｌ::::::::::::::::::::::::::::::::::::::::;':l:::::::::::＼::l
l:::::::::::::::::::::::::::::::::,,::::::::;-,:,::::::::::::::::l
l::::::::::::::::,＿,.::::,';::::::;:::::: :: l ::::::::::::::l
l::::::::::／-/:::/-ニ,.::::／=,.／::::::::::l
ヽ:::: ´､ひ> ;: l .<ひ>' ､::::::::/
ヽ::::: ￣ .)::; l ￣ ｌ::::/ ＜ 毛の壁（岡部健）の話は禁止な
､:::::.. /:::; .,-､ l:::/、
,―:::::::: ゝヽ- ｰ' ､ l::/,､ヽ
l,､,､,,:､:: / ,--､,-.､_ l /::::::,､,､l
ｌ,､,､,､,､,､::､ ｀ー￣-' /:::::::::::,､,､l
ｌ,､,､,､,､,､,､::ヽ ／::::::::､,､,､,､,ﾉ:＼
haskell.org (公式サイト)
www.haskell.org/
前スレ
関数型プログラミング言語Haskell Part27
peace.2ch.net/test/read.cgi/tech/1420718555/
- 210 名前：デフォルトの名無しさん mailto:sage [2015/05/10(日) 19:54:16.77 ID:vvnbmxfh.net]
- LXRとかopengrokとかgonzuiとか、cross referencerと言うのでしょか、
ソースコード見る時にタグづけ・リンク付けしてくれる便利なのがあるけど、
Haskellのソースにつかえるものって何かありませんか
- 211 名前：デフォルトの名無しさん [2015/05/11(月) 07:33:17.87 ID:XnQMQgf4.net]
- qiita.com/iiojun/items/5f63d1cf485cec442ff3
ある種の書籍にみられるAmazonレビューコメント評価の傾向
qiita.com/nonstarter/items/fb5fc7582821d7f98297
『関数型プログラミングに目覚めた！』のレビュー（Day-2）
- 212 名前：デフォルトの名無しさん mailto:sage [2015/05/11(月) 09:40:29.74 ID:OkrNXSSQ.net]
- 査読が機能してない出版業界ってもうダメかもわからんね
we reject kenokabe
- 213 名前：デフォルトの名無しさん mailto:sage [2015/05/11(月) 17:08:39.11 ID:rqU23QV5.net]
- 最近のレビューは商売レビュー屋が書くので当てにならない
- 214 名前：デフォルトの名無しさん mailto:sage [2015/05/11(月) 18:07:53.13 ID:fXdd85Lw.net]
- 本屋にたくさん平積みしていたよ‥世紀末だね‥
- 215 名前：デフォルトの名無しさん mailto:sage [2015/05/11(月) 20:54:00.11 ID:tVwc5MX9.net]
- 毛の壁は張角
IQ本は太平妖術三巻の内の一巻
- 216 名前：岡部健 [2015/05/13(水) 13:19:35.89 ID:7n8Agdd+.net]
- ボレロ、おまえは間違ってる。圏論の理解も間違ってる
- 217 名前：デフォルトの名無しさん [2015/05/13(水) 14:09:57.50 ID:8NL6fUzR.net]
- cabalバージョン違いのパッケージ共存できないのか
サンドバックって付け焼刃みたいな対応とか、cabalがクソ過ぎる
と思ってぐぐるとcabal hellとか出てくるしorz
- 218 名前：デフォルトの名無しさん mailto:sage [2015/05/13(水) 16:04:09.96 ID:ll6glzrw.net]
- 結局人力でパッケージ管理とか何のためのcabalか分からなくなってくる
- 219 名前：デフォルトの名無しさん [2015/05/13(水) 18:24:31.35 ID:ONEyRCsc.net]
- DRYとかいう不気味の谷
全然違うパッケージの共存は許すが殆ど同じものは許さない
- 220 名前：デフォルトの名無しさん mailto:sage [2015/05/13(水) 18:42:00.16 ID:L4VSJ4+X.net]
- ボレロ有名だったのか。Twitterでフォローしてたけど
- 221 名前：デフォルトの名無しさん mailto:sage [2015/05/13(水) 19:02:14.28 ID:TGVGO327.net]
- つまらん揚げ足取りで岡部さんのエネルギを浪費させるのはやめてくれ。
あんな話をしてくれる人は他にいないんだから。
仙台のなんとか先生の話はもういいよ。つまらんから。
- 222 名前：デフォルトの名無しさん mailto:sage [2015/05/13(水) 19:30:03.41 ID:1/KrX9dS.net]
- ボレロって何？
- 223 名前：デフォルトの名無しさん [2015/05/13(水) 23:09:50.99 ID:4wfpqqcc.net]
- >>219
厨二じゃない人だと思います。
- 224 名前：デフォルトの名無しさん [2015/05/14(木) 07:35:02.35 ID:YnCF7Vuv.net]
- 862 ：名無しさん＠ｺﾞｰｺﾞｰｺﾞｰｺﾞｰ！：2015/05/14(木) 07:07:10.96 ID:SRiT9Cuo0
勘違いしてる奴が非常に多いが、岡部がQiitaを除名されたのは、
言説の怪しさではない。
個人情報の暴露を含んだ誹謗中傷をしたから。
これが全て。
直ぐに消されたから、知らないんだろうな。
863 ：名無しさん＠ｺﾞｰｺﾞｰｺﾞｰｺﾞｰ！：2015/05/14(木) 07:09:53.94 ID:SRiT9Cuo0
「記事を丸ごと消してコメントを削除」するということを繰り返していたことは、
運営に睨まれる要因ではあったが、除名されたのは、
「誹謗中傷行為を繰り返したがら」。
これ、大事なことなので忘れないように。
- 225 名前：デフォルトの名無しさん mailto:sage [2015/05/14(木) 18:54:37.99 ID:PqTHUvj6.net]
- kenokabeは爬虫類
- 226 名前：デフォルトの名無しさん mailto:sage [2015/05/14(木) 23:48:35.62 ID:PU6/Ufkb.net]
- 粘着軍は黒光りする昆虫
- 227 名前：デフォルトの名無しさん mailto:sage [2015/05/16(土) 05:26:51.08 ID:f/6HmmLw.net]
- 岡部が言ってるだけなのに、なんであんなに関数業界の人は必死になってんの？
関数業界の人は一般的なニーズと乖離した所ばかり掘ってるよ。
一般的なニーズは、関数型プログラミングでは、どういう成果物が効率よく作れるのか
という実用部分であって、瑣末な部分の理論の正否なんて気にしてないんだよ。
岡部の本に間違いがあるかどうかはともかく、大枠で方向性を示したことは評価できると
思うんだけどな。その辺がわかってないよな。
- 228 名前：デフォルトの名無しさん mailto:sage [2015/05/16(土) 11:10:08.35 ID:m17hPiVk.net]
- オブジェクト指向が衰退したんじゃないかな
今ならOOを倒せるっぽいしその中心にいる人物は英雄になれる
OO全盛期には必死に逆張りしても骨折り損だったが今は違う
- 229 名前：デフォルトの名無しさん [2015/05/16(土) 11:15:10.46 ID:BDaO4G29.net]
- 40台でもう後がない岡部にとってはワンチャンなんでしょ
OO叩きはいい看板なんだよ
- 230 名前：デフォルトの名無しさん mailto:sage [2015/05/16(土) 11:47:43.20 ID:SD2VGHuN.net]
- ぶっちゃけHaskellもLispと一緒で主流にはなれないでしょ
- 231 名前：デフォルトの名無しさん [2015/05/16(土) 13:17:28.79 ID:cTE7t72a.net]
- スピノザならあるいは・・・・。
- 232 名前：デフォルトの名無しさん mailto:sage [2015/05/16(土) 13:35:34.95 ID:ucBctojg.net]
- >>224 >>225
その通り
- 233 名前：デフォルトの名無しさん mailto:sage [2015/05/16(土) 15:58:34.07 ID:Lio5eCYO.net]
- いくらなんでも自演バレバレだろうがよ
バレてないとでも思ってんのかね
- 234 名前：デフォルトの名無しさん mailto:sage [2015/05/16(土) 17:29:33.32 ID:1wcuMTJn.net]
- 関数型 vs ＯＯという対立図式の方が売り込みやすい。マーケティングの
事がわかってない連中だけが騒いでる。ま、炎上して注目されるという
意味では悪い話ではないんだが。
- 235 名前：デフォルトの名無しさん mailto:sage [2015/05/16(土) 20:47:21.57 ID:m17hPiVk.net]
- 多くの人にとって重要なのは対立することではなく簡単に勝てること
つまり逆張りしないことだ
- 236 名前：デフォルトの名無しさん mailto:sage [2015/05/16(土) 20:52:20.70 ID:SD2VGHuN.net]
- 基地外が基地外理論喚いてるならほっとけばいいのに
コミュニティ(笑)の為にとか
発 者 同 . ｡_ ____ 争
生 同 .じ . /´ | (ゝ___) い
.し 士 .レ .__／'r-┴<ゝi,,ノ ro､ は、
.な で .ベ ∠ゝ (ゝ.／/｀ ./｀| }⌒j
.い し .ル } ⌒ ／｀ヽ､_∠l,ノ ・ヽ´
.! ! か の / ´..:.} ＞､､___, .r､ ｿ､｀＼
/ ..:.:.} / |∨ ｀￣
／ ..:.:./ | 丶
/ ＿､ ..:.:.:.{ .{.:.:. ＼
{ ..:Y .ゝ､ {.:.:.:.:. ヽ
|､ ..:/ 丿 .:〉 >.- ⌒ . ヽ
/ {. ..:./ ｿ ..:./ .( ..:.:.:｀ ..:}
./..:.:}.:.:./ ヘ､ ..:./ .＼ ..:.:r＿,ノ､.:.:}
./..:.:/|.:/ {.:./ X.:.:}.} X X
/..:.:/ .}.:| }:/ .Y丶ヽ Y.:Y
. ＿＿／.:／ { } 《.〈､ ＿,,__>.:》丶 Y.:＼
／.:.:.:.:.::／ !.:.:ゝ ゝ.:.￣ヾ ´:.:.:.:.:.:.:.:.:ヾゝ ＼.:￣＞
- 237 名前：デフォルトの名無しさん mailto:sage [2015/05/16(土) 21:25:10.08 ID:m8m9+RQQ.net]
- 実際にQiitaとgoogle検索結果が汚染されたのは事実。
ここでkenokabe擁護？のような真似事している奴も中身について何も言及しないのも事実(>>224)。大枠って何？
日に何度か、書き捨てのようなレスをして荒らしている奴がいるのは事実。
物理板の荒れ方とよく似ているので、よく似た症状の患者がいるのだと推測。
- 238 名前：デフォルトの名無しさん mailto:sage [2015/05/16(土) 22:53:41.06 ID:1wcuMTJn.net]
- 汚染厨来たなｗ
検索結果に文句があるなら、グーグルをdisるしかねぇだろ。
実は、グーグル先生のアルゴリズムでは、騒げば騒ぐほど検索上位になるんだぜ。
あと、qiitaの勝手管理者みたいな真似せず、君らが、独自にブログサービスでも
百科事典でも何でも作ればいいんだよ。人気が全く出ないだろうけど。
それに、無料で使わせてもらってるんだから、管理会社に迷惑かけるなよ。君ら
何様のつもりみたいな傲慢な人が関数界隈には多すぎる。
君らみたいなのが、初心者を遠ざけてしまい、イマイチ人気出ないんだよね。
ちょっとでも間違いがあると、人格まで全否定みたいな極端な奴が多い印象。
- 239 名前：デフォルトの名無しさん mailto:sage [2015/05/16(土) 23:05:15.74 ID:SD2VGHuN.net]
- まあGoogleが汚れるのはGoogleの責任だしQiitaが汚れるのはQiitaの責任だよな
例のアレが基地外なのは疑い様のない事実ではあるけども自称関数型コミュニティの識者()も勘弁してくれって感じ
- 240 名前：デフォルトの名無しさん mailto:sage [2015/05/16(土) 23:19:10.31 ID:ws39nzeu.net]
- いくら自演したって誰もまともに相手になんかしねーよ
自分のブログにでもひっこんでろ
- 241 名前：デフォルトの名無しさん mailto:sage [2015/05/16(土) 23:42:59.03 ID:5WGKvptr.net]
- 騒動の収穫としては、岡部だけじゃなく、仙台の先生も同じく教祖タイプという
ことがわかったことだな。取巻きとしては、仙台の先生を祭上げておかないと
食扶持を失いかねないし、熱心な理由もわかる気がわかる気はする。
両者とも論理を越えたところで戦っているのだ。
一方、ビジネスとして見ると、マーケティング的には岡部は天才的なものを
持っている。キャッチーな用語を上手く編み出すのは天性のものだよ。
- 242 名前：デフォルトの名無しさん mailto:sage [2015/05/16(土) 23:51:25.61 ID:Xo5bM6FI.net]
- もしそうならこんなことにはなってないんじゃないか
- 243 名前：デフォルトの名無しさん mailto:sage [2015/05/17(日) 00:09:05.06 ID:vxP+UTbZ.net]
- 仙台の先生って誰？
- 244 名前：デフォルトの名無しさん mailto:sage [2015/05/17(日) 02:22:27.46 ID:I4gH+GcU.net]
- bristle wall は火消し部隊を雇ったのか？急に書込が増えたな
- 245 名前：デフォルトの名無しさん mailto:sage [2015/05/17(日) 03:46:18.69 ID:KOELu0yT.net]
- 別スレでやれ
- 246 名前：デフォルトの名無しさん [2015/05/17(日) 09:52:55.38 ID:XD8qkQRv.net]
- Haskellは難しいがC++も難しい
争いが絶えないとかいう問題ではなく統一したら難易度が倍になるから分離してるだけだ
- 247 名前：デフォルトの名無しさん mailto:sage [2015/05/17(日) 09:57:22.35 ID:ORYJ+N7V.net]
- > 仙台の先生も同じく教祖タイプ
仙台は教祖なんかじゃないよ。群れたがる三流学徒
- 248 名前：だと確認できたよ []
- [ここ壊れてます]
- 249 名前：デフォルトの名無しさん mailto:sage [2015/05/17(日) 12:28:39.34 ID:bObx+CyQ.net]
- すごいハスキル中の初学者です。
型クラスについて教えてください
Eq とか Ord とかの指定を習いましたが、これは言語処理系で組み込まれているものでしょうか？
それとも、実は自由に設定できる、あるいは自分流型クラスを設定できるように（学習が進めば）なるのでしょうか？
- 250 名前：デフォルトの名無しさん mailto:sage [2015/05/17(日) 16:38:23.79 ID:yjYevIhU.net]
- 型クラスは自分で作れますが、クラスにはインスタンスが2個以上なければ無意味
なので同じ性質を持つ型を2個以上作るのですがそれはDRYの原則に矛盾する可能性があり
初学者にはおすすめ出来ません
- 251 名前：デフォルトの名無しさん mailto:sage [2015/05/17(日) 20:30:26.93 ID:/1M7kTbP.net]
- 学習してる人にDon't Repeat Yourselfて…
既存の型を自作の型クラスのインスタンスにすることも、
自作の型を既存の型クラスのインスタンスにすることも、
既存の型を既存の型クラスのインスタンスにすることも、できる。
既にインスタンス化されている型と型クラスを書き換えるのは少し手間がかかる。
- 252 名前：デフォルトの名無しさん [2015/05/17(日) 22:10:04.28 ID:7pPi0iqf.net]
- > 既にインスタンス化されている型と型クラスを書き換えるのは少し手間がかかる。
えっそんなのできるの？ くわしく
data Foobar = ... deriving Hoge
でHogeを自作するのは可能？
- 253 名前：デフォルトの名無しさん [2015/05/18(月) 02:24:26.93 ID:85kr6JxX.net]
- >>243
C++は簡単だろ。
- 254 名前：デフォルトの名無しさん mailto:sage [2015/05/18(月) 03:09:26.48 ID:eEjXu/P7.net]
- >>248 語弊を与えてしまったと思う。申し訳ない。
newtype MyFoo = MyFoo Fooとかやって、instance C MyFoo where ... みたいにすれば、
オレオレ定義のインスタンス化はできるよっていうだけ。
既にあるインスタンスと、それを使っているコードの動作は変えられないよもちろん。
個人的には>>247の3番目が通るのはどうかと思う。
下手糞が作ったライブラリを使わないといけなくなったら地獄が待ってる。
まだそんな事例には出くわしたことがないけど、塞げる穴じゃないのかこれは。
- 255 名前：デフォルトの名無しさん [2015/05/18(月) 08:33:14.68 ID:PFYZF6oW.net]
- ,.-―:￣｀ー::::::::::､
／::::::::::::.::::::::::::::::::::::::::::｀::､､
/::::::::::::::::::::::::::::::::::::::::::::::::::::::｀､
ｌ::::::::::::::::::::::::::::::::::::::::;':l:::::::::::＼::l
l:::::::::::::::::::::::::::::::::,,::::::::;-,:,::::::::::::::::l
l::::::::::::::::,＿,.::::,';::::::;:::::: :: l ::::::::::::::l
l::::::::::／-/:::/-ニ,.::::／=,.／::::::::::l
ヽ:::: ´､ひ> ;: l .<ひ>' ､::::::::/
ヽ::::: ￣ .)::; l ￣ ｌ::::/
､:::::.. /:::; .,-､ l:::/、
,―:::::::: ゝヽ- ｰ' ､ l::/,､ヽ
l,､,､,,:､:: / ,--､,-.､_ l /::::::,､,､l
ｌ,､,､,､,､,､::､ ｀ー￣-' /:::::::::::,､,､l
ｌ,､,､,､,､,､,､::ヽ ／::::::::､,､,､,､,ﾉ:＼
- 256 名前：デフォルトの名無しさん mailto:sage [2015/05/18(月) 11:41:43.76 ID:1sYrNLv/.net]
- >>250
もし関数型が自然科学なら価値判断より事実が争点になる
「インスタンスになったら地獄」といくら主張しても
「インスタンスである」と事実を宣言されたら勝てない
- 257 名前：デフォルトの名無しさん [2015/05/18(月) 14:08:32.13 ID:J+DllwNy.net]
- >>252
健ちゃ、こんなところまできて自演？
- 258 名前：デフォルトの名無しさん [2015/05/18(月) 14:33:22.46 ID:NV1bgdqX.net]
- 岡部は関数型でどんなアプリ作ったのか見せてくれよ。
自分は作ったことがないのに、「私の本を読めば作れるようになる」じゃ、詐欺だぞ
- 259 名前：デフォルトの名無しさん [2015/05/18(月) 14:34:36.88 ID:NV1bgdqX.net]
- あと岡部よ。アマゾンでてめぇの本をてめぇで高い評価しくさった事についても弁明しろや。
- 260 名前：デフォルトの名無しさん [2015/05/18(月) 14:36:07.03 ID:NV1bgdqX.net]
- おら、365日返金保証の教材野郎。逃げてんじゃねーぞ
- 261 名前：デフォルトの名無しさん mailto:sage [2015/05/18(月) 14:41:12.33 ID:aBJ9oZwQ.net]
- kenokabeもkenokabeアンチも氏ね
トンデモ理論を叩き潰したくなるのはただの同族嫌悪だろうが
- 262 名前：デフォルトの名無しさん [2015/05/18(月) 14:48:21.07 ID:J+DllwNy.net]
- >>257
>トンデモ理論を叩き潰したくなるのはただの同族嫌悪だろうが
意味わがんね
- 263 名前：デフォルトの名無しさん mailto:sage [2015/05/18(月) 17:09:27.48 ID:1sYrNLv/.net]
- 同族嫌悪というか単純に名無しを嫌悪しているから実名を特定したくなるんだろう
正しいか誤りかという以前に名前が分からないのと意味が分からないのを嫌悪している
- 264 名前：デフォルトの名無しさん [2015/05/18(月) 21:42:18.84 ID:Za9DOvVn.net]
- >>249
糞むずいだろ
haskellとは別方向の難しさ
- 265 名前：デフォルトの名無しさん mailto:sage [2015/05/18(月) 22:41:26.79 ID:gkB/bqS0.net]
- C++が難しいとしたら、逆に何が簡単なんだよ。
C#やJavaも同程度には難しいだろ。
プロが使う実用言語で、それで飯食っているやつが居るんだから、
ある程度難しいのは大前提で、この程度で難しいといっていたら何も出来ないよ。
少なくとも、家を建てたり、自動車作るよりは、覚えることも少ないし、ずっと簡単だと思うが。
どこまで甘えるんだよ。
- 266 名前：248 mailto:sage [2015/05/18(月) 22:52:25.55 ID:Se0XfJ+o.net]
- >> 250
なるほど。
instance定義だけをimportしない、って方法はないんだね。知らなかった。
- 267 名前：デフォルトの名無しさん [2015/05/18(月) 23:17:47.47 ID:Za9DOvVn.net]
- >>261
いや例えばcoders at work に出てくるような有名なプログラマでも
「難しすぎ」 「書ける気がしない」 「複雑すぎて何か間違っている」
とか言ってるぞ
Erlang作者「C++は満足に読めも書けもしません。C++は嫌いなんです。何か間違っているように感じます。複雑すぎます」
つかc++を簡単だって言ってる人の方が珍しくないか？
- 268 名前：デフォルトの名無しさん mailto:sage [2015/05/18(月) 23:20:04.82 ID:wsHCJh20.net]
- C++簡単とかいう大きすぎる釣り針にかかってやろうかと思ったがスレチではないかと心配になった
- 269 名前：デフォルトの名無しさん mailto:sage [2015/05/18(月) 23:55:18.12 ID:gkB/bqS0.net]
- だったら何が難しいか具体的に書いてみろよ。
比較対象はC#とJAVAでいいよ。
- 270 名前：デフォルトの名無しさん [2015/05/19(火) 00:18:36.13 ID:JW8ZA2Yc.net]
- constexpr
- 271 名前：デフォルトの名無しさん mailto:sage [2015/05/19(火) 00:21:56.02 ID:jGcxlJfu.net]
- 逆にc++の何が簡単なんだｗ
- 272 名前：デフォルトの名無しさん mailto:sage [2015/05/19(火) 00:24:26.22 ID:F2BOffyE.net]
- 難しいというかデザパタを使わなければならない不自由さが面倒
- 273 名前：デフォルトの名無しさん [2015/05/19(火) 00:27:32.08 ID:NL6C5oh4.net]
- CよりC++の方が簡単になった。
全ての状態に対してテストを行うことは所詮不可能なので、型が厳格なのが
多くのスクリプト言語に対してメリットになってると思う。
- 274 名前：デフォルトの名無しさん mailto:sage [2015/05/19(火) 00:28:32.22 ID:Ri/mEtfG.net]
- TIOBEで申し訳ないが、C++は3位。
www.tiobe.com/index.php/content/paperinfo/tpci/index.html
みんな普通に使っているということ。
普通の人が普通に仕事で使う、普通の実用言語。
F#やHaskellみたいに難しくて人が寄り付かないような言語ではないということ。
そりゃ、BASICなんかのお子ちゃま言語と比べれは難しいかもしれないが、
プロフェッショナルの使う実用言語なんだからある程度は当たり前だろう。
- 275 名前：デフォルトの名無しさん mailto:sage [2015/05/19(火) 00:41:45.17 ID:jGcxlJfu.net]
- 使ってる人多いから簡単とはならなくね
難しいから使わない 簡単だから使うとはならんし
広く使われる言語って 別に言語が優れてるからとか簡単だからって理由で使われるわけではないし
c++はcとの互換性から使われてるし
後 実用言語って何よ
ocamlだってhaskellだってscalaだって実用言語だよ
「簡単」とはみなされないだけで
- 276 名前：デフォルトの名無しさん mailto:sage [2015/05/19(火) 02:04:40.28 ID:Ri/mEtfG.net]
- 道具において、
使っている人が少ないから難しいとはならないが、
使っている人が多いなら簡単は、真だ。
だって、実際多くの人が挫折せずに使えているのだから。
その程度には簡単ということ。理解できないレベルではないということ。
たくさんの関数型言語が有り、そうでない言語より優れているのは
明白なのに、いまいち普及しないのは何故だと考える？
答えは、難しいからだ。
多くの人がCからC++にステップアップした。
今はそうでもないが、その昔は猫も杓子もC++を使っていた。
C++が簡単だったから問題なくステップアップできたわけ。
同じ事が関数型言語でも起こると思う？
Java→Scala、C#→F#にみんな移行出来ると思う？
- 277 名前：デフォルトの名無しさん [2015/05/19(火) 02:09:03.78 ID:JW8ZA2Yc.net]
- ないわーwww
- 278 名前：デフォルトの名無しさん mailto:sage [2015/05/19(火) 02:11:36.89 ID:Ri/mEtfG.net]
- >難しいから使わない 簡単だから使うとはならんし
ここが違うんだよね。
難しいから「使えない」 簡単だから「使える」 が正解。
C++はTIOBEで第三位。多くの人が「使える」言語。
多くの人が理解できない関数型言語と違って。
こんなに誰でも使ってるC++を難しいといってしまってよいの？
世の中には家を建てたり自動車を作ったり心臓移植までしている
人たちが居るというのに。ハードル低すぎじゃね？
- 279 名前：デフォルトの名無しさん [2015/05/19(火) 02:30:37.22 ID:JW8ZA2Yc.net]
- 宣言文の文法がそもそもあんだけトチ狂ってんのに「簡単」とか言われましてもw
- 280 名前：デフォルトの名無しさん [2015/05/19(火) 02:35:55.87 ID:ZmlYhIi9.net]
- std::function<bool(int)> callback = [&](int n)->bool{
return assign(n);
};
大変読みやすいです。
- 281 名前：デフォルトの名無しさん [2015/05/19(火) 02:45:13.52 ID:ZmlYhIi9.net]
- 関数型の欠点は、従来の言語より優れていると言われる割に、優れている部分を
示せないことではないでしょうか。
偉大なる◯◯で使われているという話はよく聞くのですが、BASICもCも偉大なる◯◯で
使われているのは変わりありません。
マップ・リデュースで一万コア・・・なんて話も良く聞かされるのですが、そもそも
一万コアのマシンを持っていませんし、C++にもそういったライブラリはあるのですが、
今のところ使いどころはありません。
ですから全く使いたいと思えないのです。
- 282 名前：デフォルトの名無しさん [2015/05/19(火) 02:53:32.65 ID:JW8ZA2Yc.net]
- 使いドコロがない世界で生きてるんなら使わなきゃいいじゃん。終了。
- 283 名前：デフォルトの名無しさん mailto:sage [2015/05/19(火) 03:22:45.75 ID:zSes0jIt.net]
- C++の機能のそれぞれの背景は多様で、グランドデザインは無いと言っていい。
一貫しているのは「C++が提供している機能を使わないプログラムは、それに伴うコストを負わない」っていう箇所くらいだ。
これに反しない限りはどんな仕様にもなっていく。文法もアドホックな部分が多い。
以下反駁:
>使っている人が少ないから難しいとはならないが、
と言った口で
>答えは、難しいからだ。
と言う論理の無さに震える。
多くの人が使えるなら簡単っていうことは、中国語が簡単だと言いたいんだろうな。
- 284 名前：デフォルトの名無しさん mailto:sage [2015/05/19(火) 03:25:32.55 ID:T8F04qpp.net]
- >>268
そんな宗教じみたもん無視するのがよろし
問題と向きあえば、最適な設計は自ずと導かれるもんよ
- 285 名前：デフォルトの名無しさん mailto:sage [2015/05/19(火) 03:25:54.73 ID:Ri/mEtfG.net]
- 関係ないね。
モナドが難しすぎるから。
これに尽きる。
工学部出てても、圏論なんて聞いたこともねぇってやつがほとんど。
Wikiからして抽象的でそうとうの数学センスを要求される。
ja.wikipedia.org/wiki/%E3%83%A2%E3%83%8A%E3%83%89_%28%E5%9C%8F%E8%AB%96%29
しかもC++のマイナー機能やSFINIEをつかった複雑なテンプレートと違って、
関数型言語においてモナドは必須事項。
慣れてきたらそのうち・・・というわけにはいかない。
- 286 名前：デフォルトの名無しさん mailto:sage [2015/05/19(火) 03:29:07.25 ID:sK241CbT.net]
- ま、一般大衆はC++のサブセットで満足していて、それは彼らが「使える」程度には簡単、ということなんだろうね。
>>272さんの言う通り、使っている人が少ないからって難しいとは限らないが、果たしてHaskellはどうだろう。
個人的には普及の障害になるくらい難しいとは思わないけど…
- 287 名前：デフォルトの名無しさん [2015/05/19(火) 03:32:47.88 ID:ZmlYhIi9.net]
- 難しくてもメリットが上回れば使われると思います。
メリットが示されないので使われないのですよ。
- 288 名前：デフォルトの名無しさん mailto:sage [2015/05/19(火) 03:45:36.89 ID:sK241CbT.net]
- うーんそうかなあ、モナド難しいかあ。
初学者だった頃に引っかかった記憶はあんまりないけどなあ(むしろ(.)と($)にハマった。発狂しそうになった)。
だけど小学生の姪っ子をリストモナド使えるように教習しろって言われたら… 出来る自信ないわ。
ZmlYhIi9さんの意見にはぐうの音もでない。一般人がHaskell使って直接的に嬉しいことって、特にない気がするよ。
でもHaskellのスローガンは「可能なかぎり成功を避けろ」だからね。
人気ないのはむしろいいんだ。
- 289 名前：デフォルトの名無しさん mailto:sage [2015/05/19(火) 03:56:54.04 ID:Ri/mEtfG.net]
- >多くの人が使えるなら簡単っていうことは、中国語が簡単だと言いたいんだろうな。
偏差値40の中国人でも中国語をつかえることを考えると、中国語は簡単なんだろう。
中国語が本当に難しくて偏差値60無いと理解できない言語というなら、中国は滅亡するだろ。
た・だ・し、通訳は難しい。
だから中国語を通訳できる人は少ないし、それだけで飯が食える。
そして、プログラミング言語がネイティブな人は居ない。
しかしこんなことは言葉遊びだ。
TIOBE第三位の多くの人が日々普通に使ってる言語を「難しい」「理解できない」と感じるなら、
単にその人の能力が標準以下なだけ。
多くの人が理解できないほど難しいのであればTIOBE第三位になるのは無理。
関数型言語がまさにそれ。多くの人が理解できない。TIOBE第三位なんて絶対無理。
- 290 名前：デフォルトの名無しさん mailto:sage [2015/05/19(火) 03:58:58.68 ID:T8F04qpp.net]
- 圏論がどうのといって悦に入ってる連中が障害じゃないの
手続き型言語のプログラマで有限オートマトンがどうのという連中はいないもの
Haskellには妙ちくりんな尾びれがついちゃってる感じ
- 291 名前：デフォルトの名無しさん [2015/05/19(火) 04:13:41.82 ID:ZmlYhIi9.net]
- C++は非常に簡単で、簡単であることそのものがメリットになっています。
ですからよく使われるのです。
- 292 名前：デフォルトの名無しさん mailto:sage [2015/05/19(火) 04:31:48.32 ID:F2BOffyE.net]
- 池沼は病院から出すなよ鬱陶しい
- 293 名前：デフォルトの名無しさん [2015/05/19(火) 07:19:11.46 ID:GUw3UG1p.net]
- 関数型言語にモナドは必須ってアホか
必須なのhaskelくらいだろ
そもそもwikiは糞だから参考になんねーよ
それにモナド使うのに圏論いらんし 型クラスの定義見ろ
- 294 名前：デフォルトの名無しさん mailto:sage [2015/05/19(火) 09:13:31.09 ID:WmVvlWKU.net]
- >>284
6年前のSPJ発言か、良い引用だ
しょうもない格付け君は wall of bristle に断絶されてればいいよw
- 295 名前：デフォルトの名無しさん mailto:sage [2015/05/19(火) 09:17:44.17 ID:MzsPfgik.net]
- 理論上は抜けだらけだが実用上問題ないプログラムを書けるかどうか
- 296 名前：デフォルトの名無しさん mailto:sage [2015/05/19(火) 09:45:45.16 ID:JTaO2nL4.net]
- >>285
中国語が難しいか＝C言語が難しいか
通訳が難しいか＝C++が難しいか
ですね、わかります。
- 297 名前：デフォルトの名無しさん [2015/05/19(火) 10:45:34.91 ID:0SacHJgX.net]
- C++が難しいって発言をそのまま捉えてるアホ初めて見た
- 298 名前：デフォルトの名無しさん mailto:sage [2015/05/19(火) 11:35:26.14 ID:ZsRP29y3.net]
- C++コンパイラの保守が難しい
そこまで考えてるやつはC++は難しいと言う
そんなの想定外だとか未来の技術で簡単になるとかいう無責任なやつがC++は簡単と言う
このアンチパターンが半永久的に繰り返されるだろう
- 299 名前：デフォルトの名無しさん mailto:sage [2015/05/19(火) 12:48:04.34 ID:AXTyPS+t.net]
- 言語選定レベルで悩んでいるようじゃ初級プログラマだと言わざるをえない
- 300 名前：デフォルトの名無しさん mailto:sage [2015/05/19(火) 12:59:10.60 ID:AXTyPS+t.net]
- 言語は目標を達成するための道具だろ。
各々好きな言語でプログラミングして、最後に結合する作業が簡単にできるプラットフォームがあれば良いね。
単なるリンカではないぞ。
誰か作ってよ。
- 301 名前：デフォルトの名無しさん mailto:sage [2015/05/19(火) 12:59:54.89 ID:AXTyPS+t.net]
- てか未踏ソフトで応募して見ようかな
- 302 名前：デフォルトの名無しさん mailto:sage [2015/05/19(火) 13:14:35.76 ID:D1tZIuIK.net]
- F# は3月のTIOBE11位 (関数型トップ) です...
- 303 名前：デフォルトの名無しさん [2015/05/19(火) 13:15:13.92 ID:db2F8MVh.net]
- ,.-―:￣｀ー::::::::::､
／::::::::::::.::::::::::::::::::::::::::::｀::､､
/::::::::::::::::::::::::::::::::::::::::::::::::::::::｀､
ｌ::::::::::::::::::::::::::::::::::::::::;':l:::::::::::＼::l
l:::::::::::::::::::::::::::::::::,,::::::::;-,:,::::::::::::::::l
l::::::::::::::::,＿,.::::,';::::::;:::::: :: l ::::::::::::::l
l::::::::::／-/:::/-ニ,.::::／=,.／::::::::::l
ヽ:::: ´､ひ> ;: l .<ひ>' ､::::::::/
ヽ::::: ￣ .)::; l ￣ ｌ::::/
､:::::.. /:::; .,-､ l:::/、
:::::::: ゝヽ- ｰ' ､ l::/, ＜ 結城氏はリスペクトせよ
,:､:: / ,--､,-.､_ l /
,.:':'ﾞ'ﾞ'ﾞ:ﾞ'ﾞ':';. ､::､ ｀ー￣-' /
rﾞ ,.: :;;;:: : : : ､::ヽ ／:
| : ::::~';::--ｰ'ｰ-----ｰｰ;;:'ﾞ .: :` ‐- ､ |
,i ::::::::::::::::::::::::::::::: ::: :ヾ i
ｒ' ::::::::::::::::: : : :::::: ::::: ::::. . /
| :::::::::: : : : : ::: :: :: ｲ
i : : ::::::::::: : : ::::::: : |
| ,.;ｲ-- ., ,... -' i
i ,.;':/ ﾞ'ｰ-.,_ i ,.イ:: /
.i:::: ／:/ ￣i / ﾞi |
│:: ノ::／ | i | |
ｒ':: ｲ:::::iﾞ | | i |
|:: | ヽ '-., ヽ 〈 ヽ ヽ.,
i, , '-, ﾞ'ｰ'ｰ' ヽ、｀,ｰ、 ｀'ｰ'ｰ
- 304 名前：デフォルトの名無しさん [2015/05/19(火) 13:21:14.57 ID:TOz5556s.net]
- https://twitter.com/motoken_tw/status/452009450313097216
岡部事件、
可能であれば、お仲間にもご周知を！
- 305 名前：デフォルトの名無しさん mailto:sage [2015/05/19(火) 20:17:28.97 ID:JXMeaZgm.net]
- たとえば皆、Haskellで各自思い思いに「倉庫番」を作ってみてくれ。
「パックマン」や「スターソルジャー」でもいい。
完成させるのに果たして圏論のどのような理解が必須だろうか？
あるいは、圏論の何を理解していればより効率的に作れる、
またはより効率的なものが作れるだろうか？
モナドはどこまで深く理解していなければならないのだろうか？
実際にやってみれば分かるが、思ってたよりも浅いモナドの理解で作れるはずだ。
恐らく入門書に書かれている程度の理解で十分。
圏論にいたっては意識すらしなくても良いはず（知らずに使ってる事はあるかも知れん）。
今時のマシンで普通に動くこの程度のアプリケーションで良ければ、
モナドが難しすぎるから作れないなんてことは絶対にない。
それなのに、声のでかい一部のバカが無責任に難しいと連呼するから、
門の前で中をうかがっている入門予備軍を怖じ気付かせる。
- 306 名前：デフォルトの名無しさん [2015/05/19(火) 20:30:46.38 ID:JW8ZA2Yc.net]
- 描画の話してんの？ SDLバインディング使うなら単なる手続き型のプログラミング（嬉しくない）。
盤面上のデータ操作でもまあLearn you Haskellくらいを読んでれば十分だろ。
実際のところモナド変換子程度まで理解してれば困ることなんて殆どない。
Haskell難しいと連呼するのはHaskell触ってないやつ（いや確かに難しいけど）。
Haskellerが初心者に向かって圏論が〜なんてわけのわからん
威嚇をする実例はなど別にないと思うのだが。
- 307 名前：デフォルトの名無しさん mailto:sage [2015/05/19(火) 21:15:19.01 ID:Ri/mEtfG.net]
- 現時点でHaskellが難しくないことを証明するのは無理。いくら何言っても無理。
Haskellが普及して、TIOBE第三位になるぐらいに広く使われるようになって初めて、
Haskellは多くの人が理解できる程度に難しくない、ということが、
統計的に証明できる。
- 308 名前：デフォルトの名無しさん mailto:sage [2015/05/19(火) 21:27:02.56 ID:SB6c5oWN.net]
- >>302
圏がどう射がどうとか語り始めるモナドチュートリアルは見たことある
モナドは何であるかじゃなくてどう使うかに絞った解説があればいいのに
Stateモナドもスタック実装して終わりで え？こっからどうやって実用するの！？とか思った記憶
- 309 名前：デフォルトの名無しさん mailto:sage [2015/05/19(火) 21:30:12.17 ID:jGcxlJfu.net]
- だから言語の普及度は言語の難易度で決まるわけじゃないだろ
haskell難しいけど難しいから流行ってないわけじゃない
とういうかhaskellがたとえこの世で最も簡単な言語であったとしても
TIOBE第三位になる事はないから
- 310 名前：デフォルトの名無しさん mailto:sage [2015/05/19(火) 21:31:23.95 ID:1/0u9cTV.net]
- 偏差値40だろうが30だろうが日本人なら日本語使えるから日本語って簡単なんだね
|
 |
