- 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/
- 664 名前：デフォルトの名無しさん mailto:sage [2015/06/24(水) 22:58:58.61 ID:+CIvGoel.net]
- >>653
妙な思い込みをしているようだけど…
グレアムのOn Lispに、簡易Prologみたいなのを実装する非決定性プログラミングの例が載ってるから、
ちょっと勉強してみたら？
- 665 名前：デフォルトの名無しさん mailto:sage [2015/06/25(木) 01:30:55.42 ID:L5oPYlD8.net]
- 二重ループの内側で無限に列挙してしまったら外側は１個めでフリーズする
Haskell使ってもこの問題はなくならない
- 666 名前：デフォルトの名無しさん mailto:sage [2015/06/25(木) 01:49:40.68 ID:tWs5pbMG.net]
- それ、ただの単純ループですやん
非決定性ともバックトラックとも遅延評価とも関係ない…
- 667 名前：デフォルトの名無しさん mailto:sage [2015/06/25(木) 08:02:56.67 ID:L5oPYlD8.net]
- というか、ただの問題だから
出題範囲とか関係ない
- 668 名前：デフォルトの名無しさん [2015/06/25(木) 09:34:06.79 ID:En38UG6V.net]
- 質問なのですが、HASKELLはJAVASCRIPTと比べてどのぐらい力強いですか？
- 669 名前：デフォルトの名無しさん mailto:sage [2015/06/25(木) 10:42:57.71 ID:GMFUAARU.net]
- >>659 (haskell の戦闘力は) 53万です
- 670 名前：デフォルトの名無しさん mailto:sage [2015/06/25(木) 12:46:25.61 ID:jSlSTYLT.net]
- CPUヘビーなことは向かないなんて泣き言いわない
- 671 名前：デフォルトの名無しさん mailto:sage [2015/06/25(木) 13:31:24.59 ID:X9iBWgn+.net]
- >>659
JavaScriptがフリーザだとしたら、Haskellは１８号くらい
- 672 名前：デフォルトの名無しさん mailto:sage [2015/06/25(木) 16:41:37.97 ID:YBkNncXP.net]
- 以下の関数をCPSに書き換えよ。
とか、その後の難しい話の下準備の為に修行できるドリルみたいなサイトありませんか？
なるべく解答付きで。
- 673 名前：デフォルトの名無しさん [2015/06/25(木) 17:09:47.33 ID:B9JLKsO8.net]
- >>663
qiita 7shi で検索。
- 674 名前：デフォルトの名無しさん [2015/06/25(木) 17:20:28.66 ID:B9JLKsO8.net]
- あ、あとCPSは階乗とフィボナッチのCPS版を見つけてきて、
fac(3)とかfib(4)あたりを手で簡約して見ると原理がわかる。
いったん理解すれば、あとは殆ど機械的に変換できるようになるよ。
そういや最初にCPS理解したときはその後しばらくCPS猿みたいなコード書いてたな……
- 675 名前：デフォルトの名無しさん mailto:sage [2015/06/25(木) 17:32:34.99 ID:5pnqx1ov.net]
- でも a -> b -> c を a -> b -> m c に書き換えるのは
arityが見えるとかいう意味不明な能力がないとできないよね
- 676 名前：デフォルトの名無しさん mailto:sage [2015/06/25(木) 21:38:45.58 ID:YBkNncXP.net]
- stack がパッケージの依存地獄を解決すると聞いて駆けつけました！
- 677 名前：デフォルトの名無しさん mailto:sage [2015/06/25(木) 21:40:43.48 ID:YBkNncXP.net]
- >>664
頑張ります
- 678 名前：デフォルトの名無しさん mailto:sage [2015/06/25(木) 23:22:04.84 ID:LfFLypOB.net]
- Freeモナドを上手に役立ててる例、ってなんかないですか？
- 679 名前：デフォルトの名無しさん mailto:sage [2015/06/25(木) 23:33:50.49 ID:eM2m5jCT.net]
- 不便だと思うところに役立てればいいんじゃないかな
- 680 名前：デフォルトの名無しさん mailto:sage [2015/06/26(金) 00:28:21.26 ID:bFSe+PPP.net]
- >>670
料理のレシピのためのミニ言語、は楽しくてよかったんですが、便利か、実用的か、っていうとそうでもない感じがしました。
モナド的側面、つまり、前のコマンドの結果に応じて後に続くコマンドを変えられる、って性質を有効利用できれば良い、と思うのですが、いい案が浮かばず…
たまごを焼きすぎたらスクランブルエッグは諦めてたまご焼きにする。
うーん
- 681 名前：デフォルトの名無しさん [2015/06/26(金) 01:05:51.23 ID:sGcqyMBf.net]
- Freeモナドが使えそうなところでは大抵の場合、
finally taglessな表現/Symanticsを使う方がいい。
- 682 名前：デフォルトの名無しさん mailto:sage [2015/06/26(金) 20:39:02.22 ID:hymME7nU.net]
- なんとなくわかった
returnとjoinを作れないまたは作れるが使いたくない場合にFreeモナドを使うんだろ
- 683 名前：デフォルトの名無しさん [2015/06/28(日) 07:58:01.92 ID:UfM5xTqU.net]
- ほざけ無能ども
- 684 名前：デフォルトの名無しさん mailto:sage [2015/06/28(日) 09:29:10.20 ID:PsA9Isd2.net]
- >>674
どうした突然。何かつらいことでもあったのか。
- 685 名前：デフォルトの名無しさん mailto:sage [2015/06/28(日) 14:22:33.44 ID:eK2mTTNw.net]
- HaskellerはOCamlerを見下してますか？
- 686 名前：デフォルトの名無しさん mailto:sage [2015/06/28(日) 14:45:38.67 ID:oAeIj0m7.net]
- HaskellerかつOCamlerですが何か？
- 687 名前：デフォルトの名無しさん mailto:sage [2015/06/28(日) 15:08:18.01 ID:CsAfdxFY.net]
- オーキャメルってすごいの？
- 688 名前：デフォルトの名無しさん mailto:sage [2015/06/28(日) 15:45:29.76 ID:sCkqyjMf.net]
- ほとんど同じ
型が違うとか批判ばかりで代案を出せないコンパイラと、そいつに逆らえないプログラマ
全然すごくない
- 689 名前：デフォルトの名無しさん mailto:sage [2015/06/28(日) 17:40:06.78 ID:A43RH85D.net]
- 開発環境は、その上で作られた成果物と、
作るのに使ったリソース（人、時間、金など）で比較すべき
まぁ、たいした成果物が挙げられないようでは話にならんがな
- 690 名前：デフォルトの名無しさん mailto:sage [2015/06/28(日) 18:22:42.20 ID:sCkqyjMf.net]
- どうせそう言われるだろうと思って
言われても平気な言語を二つも三つも覚えるんだよね
観賞用、保存用、予備みたいなあれ
- 691 名前：デフォルトの名無しさん mailto:sage [2015/06/28(日) 18:45:49.13 ID:TzgnuxBg.net]
- 寄らば大樹の陰（笑）
- 692 名前：デフォルトの名無しさん mailto:sage [2015/06/28(日) 20:48:17.29 ID:sCkqyjMf.net]
- 同じのを三個買ってきたのに使用頻度のデータを取るのは時間と金の無駄だろ
- 693 名前：デフォルトの名無しさん [2015/06/28(日) 22:57:53.15 ID:GoQYkhEF.net]
- >>677
あなたはHaskellを知ってるOcamlerです。Haskellerではありません。
- 694 名前：デフォルトの名無しさん mailto:sage [2015/06/28(日) 23:08:27.40 ID:PermaxaH.net]
- 宗教かよ
- 695 名前：デフォルトの名無しさん mailto:sage [2015/06/28(日) 23:24:45.18 ID:CsAfdxFY.net]
- じゃあ、ここでEmacsとVimの雌雄を決しようぜ
- 696 名前：デフォルトの名無しさん mailto:sage [2015/06/29(月) 05:59:50.21 ID:Qi5/2Z+9.net]
- Ocamler = 岡村
- 697 名前：デフォルトの名無しさん mailto:sage [2015/06/29(月) 06:43:23.70 ID:brwnweVx.net]
- >>684
調査する側が答えを決めてるなら世論調査とかビッグデータとか無意味だな
- 698 名前：デフォルトの名無しさん [2015/06/29(月) 10:57:15.25 ID:8+Jbzv8W.net]
- >>679
>型が違うとか批判ばかりで代案を出せないコンパイラと、そいつに逆らえないプログラマ
>全然すごくない
才能を感じるw
- 699 名前：デフォルトの名無しさん [2015/06/29(月) 20:28:54.62 ID:UsldY24Z.net]
- おまえらえらそうにほざいてるけど、HaskellでGUIアプリ作れんの？
- 700 名前：デフォルトの名無しさん mailto:sage [2015/06/29(月) 20:34:47.53 ID:I6LM+XSd.net]
- >>690
ほざいてないし作れない
- 701 名前：デフォルトの名無しさん mailto:sage [2015/06/29(月) 22:11:01.07 ID:6j3t6Ku/.net]
- ほざいたし作った
- 702 名前：デフォルトの名無しさん mailto:sage [2015/06/29(月) 23:37:46.91 ID:dOBb6but.net]
- 今 Haskell で GUI アプリを作ることにどれほどの意味がある？
無駄に苦労するだけで、たいしたメリットは得られないと思うが。
C# や Java などの方が意図したことを素直に書けると思うぞ。
- 703 名前：デフォルトの名無しさん [2015/06/29(月) 23:43:17.21 ID:8+Jbzv8W.net]
- >>690
作れるし作っているが楽しくはない。
- 704 名前：デフォルトの名無しさん mailto:sage [2015/06/29(月) 23:46:32.90 ID:QGo7kC4a.net]
- GUI原理主義なんなの？
- 705 名前：デフォルトの名無しさん mailto:sage [2015/06/29(月) 23:56:20.64 ID:NIwVXw8K.net]
- （Haste で javascript にコンパイルして）作ってる
- 706 名前：デフォルトの名無しさん mailto:sage [2015/06/30(火) 00:41:54.66 ID:xJJVLGS/.net]
- >>695
EmacsとVimを懲らしめる主義（適当）
- 707 名前：デフォルトの名無しさん [2015/06/30(火) 01:13:42.18 ID:Jhz+vTOP.net]
- Autocadは基本コマンド。
- 708 名前：デフォルトの名無しさん mailto:sage [2015/06/30(火) 07:58:21.93 ID:c40dQzwL.net]
- >>693 状態のセーブがすげー簡単
苦労は特にない
- 709 名前：デフォルトの名無しさん mailto:sage [2015/06/30(火) 08:02:38.09 ID:c40dQzwL.net]
- というかHaskellだろうが何だろうが
GUIなんかロジックの部分に比べれば簡単
- 710 名前：デフォルトの名無しさん [2015/06/30(火) 12:03:29.96 ID:xY5YXWOJ.net]
- そうやって【自称関数型】のヤカラはいつも逃げる
GUIで使えるアプリも書けない
- 711 名前：デフォルトの名無しさん mailto:sage [2015/06/30(火) 12:19:59.61 ID:avn7235t.net]
- Gtk2hsとか
- 712 名前：デフォルトの名無しさん [2015/06/30(火) 12:55:10.53 ID:g8mVBFW2.net]
- いや普通にwxHaskellでもなんでも使って書けるから。
ただ抽象化が巧く嵌らないから楽しくないだけ。
- 713 名前：デフォルトの名無しさん [2015/06/30(火) 15:13:39.82 ID:X6br0/jB.net]
- ウィンドウシステムで動く以上、オブジェクト指向が一番いいんじゃないの。
ウィンドウってオブジェクトそのものだし。
- 714 名前：デフォルトの名無しさん mailto:sage [2015/06/30(火) 17:14:12.45 ID:vxf+DpiB.net]
- メッセージを受け取る関数 Message -> IO () で引数をパターンマッチすればいいよ
Cのswitch文を使うウィンドウシステムと同じ
- 715 名前：デフォルトの名無しさん mailto:sage [2015/06/30(火) 18:20:38.25 ID:c40dQzwL.net]
- GUIどころかOSごとHaskellで書いた例：programatica.cs.pdx.edu/House/
- 716 名前：デフォルトの名無しさん [2015/06/30(火) 18:42:24.07 ID:X6br0/jB.net]
- >>706
2chで作ってたOSにも及ばない感じに見える。
世界の一流研究者が集って10年かけて作ったものがこれでは、Haskellの
実力が低いように見える。
ドヤって感じで出されると余計。
少なくとも2chで作ってたOSは、もう少し実用性があった。
- 717 名前：デフォルトの名無しさん [2015/06/30(火) 18:51:10.78 ID:X6br0/jB.net]
- 昔、JSはCの二倍速いとか、JavaはCの20倍速いとか言われてて、ベンチマークが
2chのスレに貼り付けられてた。
今のHaskellは同じような感じがする。
JSは、アプリケーションを拡張するのに使えばとても楽な言語だし、Javaは
互換性やわかりやすさに焦点をあてた言語。
良い部分を宣伝したらいいと思うのだけど、どうも原理主義の人は欠点を
否定することに一生懸命になる。
Haskellはこういうことに向いてないね、でも出来ないわけじゃないよって
位で良いんじゃないのかな。
- 718 名前：デフォルトの名無しさん mailto:sage [2015/06/30(火) 19:02:56.27 ID:c40dQzwL.net]
- >>706 言いたいことはわからなくもないが全然「一流研究者が集まって」ないからｗ
- 719 名前：デフォルトの名無しさん mailto:sage [2015/06/30(火) 19:04:08.01 ID:c40dQzwL.net]
- >>707 のまちがいスマソ
- 720 名前：デフォルトの名無しさん mailto:sage [2015/06/30(火) 19:10:15.18 ID:9foLA8yU.net]
- 2chのOSってhigeponが作ってたmonaでしょ。目的が違うし、実用性も同程度だと思うが。
そういえばhigeponさんも関数型erになったが最近どうしてるんだろう
- 721 名前：デフォルトの名無しさん mailto:sage [2015/06/30(火) 19:55:09.60 ID:FWhQ2ahg.net]
- Haskellが得意とする(向いている)アプリケーションとは何でしょうか。
また、なぜそれが他言語に比べてHaskellが有利だと言えるのでしょうか。
- 722 名前：デフォルトの名無しさん [2015/06/30(火) 20:01:42.67 ID:g8mVBFW2.net]
- >>712
構造を持ったデータの処理・操作。
理由は人智を超えない範囲で充実した型システム。
- 723 名前：デフォルトの名無しさん mailto:sage [2015/06/30(火) 20:34:52.77 ID:vxf+DpiB.net]
- リスクの高いアプリケーション
得意なことは何かではなく最悪のケースは何かを考えること
理由は型システム
- 724 名前：デフォルトの名無しさん mailto:sage [2015/06/30(火) 20:54:40.33 ID:FWhQ2ahg.net]
- >>714
リスクというのは人命ですか？
もしかして医療関係のアプリケーションでよく使われていますか？
- 725 名前：デフォルトの名無しさん mailto:sage [2015/06/30(火) 21:54:36.59 ID:vxf+DpiB.net]
- 人命というのは何か違う気がする
単に死ぬことと意図的に殺すことを区別できなくなる
- 726 名前：デフォルトの名無しさん [2015/06/30(火) 21:57:27.47 ID:X6br0/jB.net]
- F-35にHaskellが使われたなら信じる。
- 727 名前：デフォルトの名無しさん mailto:sage [2015/07/01(水) 00:19:00.28 ID:hCLvX6t9.net]
- >>699
>> 状態のセーブがすげー簡単
これどういう意味？ MonadIOの中だったらどこでもliftIO でファイル保存アクション実行できるよ、ってこと？
- 728 名前：デフォルトの名無しさん mailto:sage [2015/07/01(水) 08:39:27.15 ID:tJW6CsdE.net]
- >>704←固定観念に囚われてる愚か者の事例。
- 729 名前：デフォルトの名無しさん mailto:sage [2015/07/01(水) 08:49:50.77 ID:wl+QWyy/.net]
- ちょこっとかじった初心者ですが、
型システムのおかげでバグが出にくいっていう長所は
GUIアプリ作るときにも活かされますか？
- 730 名前：デフォルトの名無しさん mailto:sage [2015/07/01(水) 09:37:31.97 ID:I91Dcp9K.net]
- >>720
Haskellつかったらバグが自動的に減るのではなく、
強力な型システムのお陰で、型レベルのバグがコンパイル時に
検出できるだけ。Cなんかではポインタへの誤ったキャストが
コンパイルを通ってしまい実行時（システムが稼働したとき）にようやく
発見されるという惨事が相次いだので、コンパイル時に前倒し
してエラーを補足できるという点が期待されていた。
現実には型が合っていても実装を間違うことはあるので、
Haskell使ったら「自動的に」高品質になるというのは完全嘘だと思ってる。
- 731 名前：デフォルトの名無しさん [2015/07/01(水) 10:28:08.57 ID:tOajYpeJ.net]
- 自分でHaskell書いたことのない奴が多すぎだろ
713くらいしかまともなこたえがない
- 732 名前：デフォルトの名無しさん mailto:sage [2015/07/01(水) 11:45:24.51 ID:gMCljQ/I.net]
- >>720
GUIはコロコロ仕様が変わるので
むしろバグっぽいコードも書けるというメリットのほうが大きい
- 733 名前：デフォルトの名無しさん mailto:sage [2015/07/01(水) 11:45:40.65 ID:zqTVEjze.net]
- 型が強力なので、バグ以前に、適切な型を考えて、それに従って関数書けば
自然にプログラム書けて楽なことが多い。Type-directedプログラミングというか。
- 734 名前：デフォルトの名無しさん mailto:sage [2015/07/01(水) 11:48:56.78 ID:zqTVEjze.net]
- >>718 いや単に状態が陽だから、何をセーブすれば良いかわかりやすい、というだけ。
まあGUIアプリに限った話ではないか。
- 735 名前：デフォルトの名無しさん mailto:sage [2015/07/01(水) 12:00:05.77 ID:XEDFaQMZ.net]
- テスト駆動とかだったらテストをHaskellで書く筈だが
Type-directedはHaskellを書く機会を減らしてしまう諸刃の剣
- 736 名前：デフォルトの名無しさん mailto:sage [2015/07/01(水) 14:49:29.48 ID:rMwDHu3x.net]
- Haskellで書けばバグが完全に駆逐できるという話をよく聞く。
Haskellは並列化が効率的に行えるのでC++の10倍速いと言う記事を見た。
- 737 名前：デフォルトの名無しさん mailto:sage [2015/07/01(水) 16:22:48.22 ID:YQJkkFEW.net]
- リスクの最たる例が人命というなら、地球を一人の人間と捉えた場合、経済はその血流であろう。血流を止めると地球さんがヤバい
経済界に寄与するソフトウェアを他言語版より多く送り出しているならばHaskellはリスクと戦う最前線の言語だといえよう
- 738 名前：デフォルトの名無しさん [2015/07/01(水) 18:22:25.85 ID:NjN/zNsy.net]
- で、おまえらGUIアプリ書けるのか？
Haskellでカットアンドペーストできるエディタやペイントソフト書けんの？
- 739 名前：デフォルトの名無しさん [2015/07/01(水) 18:22:57.88 ID:NjN/zNsy.net]
- おまえらは「机上」でしか語れない
- 740 名前：デフォルトの名無しさん mailto:sage [2015/07/01(水) 18:35:28.08 ID:wHMLdS0x.net]
- クリックカウンターおじさんのエミュレーションやめろ
- 741 名前：デフォルトの名無しさん [2015/07/01(水) 18:38:03.08 ID:tOajYpeJ.net]
- GUIライブラリのコンポーネント使っていいなら誰にだって書ける。
もちろんHaskellでも問題なく書ける。エディタでバイト列収納しとくための
ロープから実装しろという話ならHaskellはかなり有利だ。
- 742 名前：デフォルトの名無しさん mailto:sage [2015/07/01(水) 19:31:24.61 ID:W0dcBNHQ.net]
- >>730
確かに、机上の空論からのぶっつけ本番は非常に危険だ
しかし机上を危険視するのは間違っている
- 743 名前：デフォルトの名無しさん [2015/07/01(水) 19:53:03.17 ID:XO0z7h0V.net]
- そもそも情報処理って机上がものいう世界だろ
- 744 名前：デフォルトの名無しさん [2015/07/01(水) 19:53:39.62 ID:XO0z7h0V.net]
- クリックカウンターおじさん本人なんじゃないか？
- 745 名前：デフォルトの名無しさん mailto:sage [2015/07/01(水) 20:02:00.78 ID:I91Dcp9K.net]
- 机上の空論よりヘボくても動けるものを作れる奴が偉いとか典型的なマウンティング
- 746 名前：デフォルトの名無しさん mailto:sage [2015/07/01(水) 20:16:46.99 ID:zqTVEjze.net]
- >>726 QuickCheck?
- 747 名前：デフォルトの名無しさん mailto:sage [2015/07/01(水) 20:18:47.95 ID:zqTVEjze.net]
- >>727 それは嘘かhype
- 748 名前：デフォルトの名無しさん mailto:sage [2015/07/01(水) 20:25:01.06 ID:N2f2t6hF.net]
- >>732
Haskellが凄いという話はよく聞く
- 749 名前：し、現代的なGUIエディタの実装に超有利という話も出てきた。
ところが、Haskellで書かれた著名なエディタは無いし、ライブラリやコンポーネントを使うなどと言うけど、
そのライブラリやコンポーネントはHaskellで書かれた著名なものがあるの？
極端な話、そんなに有利なら、Haskellで書かれたコンポーネントをそして
APIを他の言語から使ってるんじゃないの。
凄い凄いという話をよく聞くものの、最終的にC/C++で書かれたライブラリを
呼び出せますよって話になる。
C/C++を呼び出してて本当にHaskellの凄いところであるゼロバグを実現できるの？
言っとくけど、C/C++は容易にバグが紛れ込むし、Haskellのようにゼロバグなんてことは無いよ？
Haskellから呼び出すだけで、C/C++のバグも本当に消えるの？ [] - [ここ壊れてます]
- 750 名前：デフォルトの名無しさん mailto:sage [2015/07/01(水) 20:30:36.90 ID:WaFLqKtq.net]
- ぐうの音もでん
- 751 名前：デフォルトの名無しさん mailto:sage [2015/07/01(水) 20:35:48.17 ID:hkSyx5v6.net]
- C/C++ラッピングに頼るのは、国産OSを開発せずWindowsやUnixやLinuxに頼るようなものだ
Haskellネイティヴなライブラリへの置き換えが必要ではないか
- 752 名前：デフォルトの名無しさん mailto:sage [2015/07/01(水) 20:40:40.77 ID:RlBRpOsX.net]
- >>739 誰もそんなこと言ってない。
どこかよそで読んだなら、まともな話かどうか判定するからソース教えて
- 753 名前：デフォルトの名無しさん mailto:sage [2015/07/01(水) 20:45:43.16 ID:hhCpaelW.net]
- この世界、技術的に良いものが必ずしも広まらないことは日常茶飯事。
逆に、マイナーだから優れている、も成り立たないが。
- 754 名前：デフォルトの名無しさん mailto:sage [2015/07/01(水) 20:56:44.98 ID:4S8xRTlr.net]
- >>739
Haskellで自動回避できるのは型の不整合にまつわるバグであって、算法上のバグを回避できるわけじゃあないよな
システム記述言語としてのHaskellは、他言語に比べて特に凄いということはないよ
動かしながらバグを取る必要があるのはC/C++と同じ
- 755 名前：デフォルトの名無しさん mailto:sage [2015/07/01(水) 20:59:56.29 ID:WaFLqKtq.net]
- まあ、最近Facebookが出して世間を賑わしてるリアクティブプログラミングも元はHaskellで作られたやつだ。
あと、テストライブラリのQuickcheckも色んな言語に輸出されてるね。
思うんだけど、Haskellerのみんなの興味が、売れるアプリ、広く使われるソフト、
で必要とされるもんとズレてんじゃないかな。
1. その言語を使える技術者の確保が容易
2. ハード(スマホ)の最新機能がすぐ使える、
ドキュメントが豊富
- 756 名前：デフォルトの名無しさん mailto:sage [2015/07/01(水) 22:46:09.54 ID:SBuzyDQs.net]
- ArrowがあればMonadは要らんのやな
最初からArrowにしとけばよかったやん
- 757 名前：デフォルトの名無しさん mailto:sage [2015/07/01(水) 22:54:31.49 ID:hkSyx5v6.net]
- 元はHaskellで作られたのに実践は他言語だったの？
Haskellは何か実践的開発上の問題を抱えてるの？
- 758 名前：デフォルトの名無しさん mailto:sage [2015/07/01(水) 23:08:08.48 ID:1n3wggjU.net]
- つまんない煽り愛してないでまともな話しろ
- 759 名前：デフォルトの名無しさん mailto:sage [2015/07/01(水) 23:09:21.21 ID:WaFLqKtq.net]
- >>747
もちろんHaskellのリアクティブライブラリもそれなりに使えるもんだったし、以降今に至るまで派生ライブラリがたくさん作られた。
でも、javascriptの方がより賑わっていて(開発者が多くて)Facebookにも資金力がとても高い、ってことさ。
つまり、Haskellの弱さは人がいないことだ、と俺は思う。
なぜ人がいないかは、理由は色々あるけど、外から見て何が得意なのかがよくわかんないつーのが大きくて、それはHaskellでの目に見える成果があんまり無いからで、その理由は人がいないからで、つまり
- 760 名前：デフォルトの名無しさん mailto:sage [2015/07/01(水) 23:32:51.19 ID:W0dcBNHQ.net]
- >>747
逆に他言語で実践できない部分にガラパゴス化という問題があるとも言える
ガラパゴスが強いと思うか弱いと思うかは人それぞれ
- 761 名前：デフォルトの名無しさん [2015/07/01(水) 23:50:13.91 ID:j1v8qj3k.net]
- つまりクリックカウンターおじさんの言ってることは正しい面もある、と？
- 762 名前：デフォルトの名無しさん [2015/07/02(木) 01:00:22.82 ID:xB5xsyxT.net]
- 言語仕様の話がしたいのか、ライブラリ群の話がしたいのか。
- 763 名前：デフォルトの名無しさん mailto:sage [2015/07/02(木) 01:43:36.68 ID:0H4A+sBi.net]
- 技術的内容を理解していない知ったかぶりの言葉遊びは無用。よそでやれ
- 764 名前：デフォルトの名無しさん mailto:sage [2015/07/02(木) 06:15:08.75 ID:0QJ6vZJG.net]
- 言葉遊びをやめさせるには沈黙するインセンティブが必要
黙秘権とか
逆に、対案を出せなど沈黙しないことが強く求められれば言葉遊びはもっと酷くなる
|
 |
