関数型プログラミング言語Haskell Part23

0001デフォルトのモナドさん

2013/08/10(土) NY:AN:NY.AN

関数型プログラミング言語 Haskellについて語るスレです。

前スレ: 関数型プログラミング言語Haskell Part22
http://toro.2ch.net/test/read.cgi/tech/1364009659/

haskell.org
http://www.haskell.org/

日本語サイト
http://www.sampou.org/cgi-bin/haskell.cgi
http://www.shido.info/hs/

過去ログ (10～)
Part21 ttp://toro.2ch.net/test/read.cgi/tech/1358702176/
Part20 ttp://toro.2ch.net/test/read.cgi/tech/1350428908/
Part19 ttp://toro.2ch.net/test/read.cgi/tech/1340760070/
Part18 ttp://toro.2ch.net/test/read.cgi/tech/1331902463/
Part17 ttp://toro.2ch.net/test/read.cgi/tech/1325510368/
Part16 ttp://toro.2ch.net/test/read.cgi/tech/1317958045/
Part15 ttp://hibari.2ch.net/test/read.cgi/tech/1310199414/
Part14 ttp://hibari.2ch.net/test/read.cgi/tech/1299385928/
Part13 ttp://hibari.2ch.net/test/read.cgi/tech/1286706874/
Part12 ttp://hibari.2ch.net/test/read.cgi/tech/1272536128/
Part11 ttp://pc12.2ch.net/test/read.cgi/tech/1252382593/
Part10 ttp://pc12.2ch.net/test/read.cgi/tech/1231861873/

0237デフォルトの名無しさん

2013/09/13(金) 16:18:56.88

wikiに載ってる小難しい数式がそのままプログラムで書けるんだから
ある意味簡単じゃね？

0238デフォルトの名無しさん

2013/09/13(金) 16:19:22.86

>>236
最初から数学理論なんて必要ない、と一蹴してるなら同意する。
だがwikipediaを読むと提案した時点でそういう事ではないんだろ？
本気で理解する事を考えるなら、
素養のない人間には、簡単な概要しかないwikipediaでは足りないだろ。

それとググるって何をだ？
具体的に頼む。

0239デフォルトの名無しさん

2013/09/13(金) 16:32:26.88

>ご教授じゃなくてご教示な。

0240デフォルトの名無しさん

2013/09/13(金) 16:49:50.60

>>239
もしかしてそれが、>>238へに対するレスなのか？
ググってみても、ご教授は質問に答える程度の意味では使わんようだが。
まさか講義しろと？

0241デフォルトの名無しさん

2013/09/13(金) 16:51:33.56

http://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q1311431093
おまえの講釈なんてイラナイから参照をよこせ

0242デフォルトの名無しさん

2013/09/13(金) 16:53:19.99

http://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q1311431093
おまえの講釈なんてイラナイから参照をよこせ

0243デフォルトの名無しさん

2013/09/13(金) 17:07:31.09

>>241-242
あの、まさかそれ反論のつもり？
せめてアンカ付けてくれないか？

まさか自分で墓穴ほってると思わないだろ。
さっきから気味が悪いんだが・・。

0244デフォルトの名無しさん

2013/09/13(金) 17:19:11.49

>>238
本気で理解するなんて研究開発か研究分野の開拓ぐらいで、
そのレベルで理解する必要があるなら少なくとも関連する論文１０稿ぐらい読むだろ
そして、趣味人がPHPの代替にhaskellのコードを書くなんて
レベルの数学理論なんてwikipediaと関連項目で十分だっていってるの

>>243
墓穴を掘っているのはお前。

0245デフォルトの名無しさん

2013/09/13(金) 17:36:26.90

なんだ、よかった別人か。

>>244
>趣味人がPHPの代替にhaskellのコードを書くなんて
>レベルの数学理論なんてwikipediaと関連項目で十分だっていってるの
理解している奴にとってはよくまとまってる(事が多い)が、
実際は概要程度しかないから、全く素養がなければ記事単体で理解は無理。

構文覚えさせてソース読ませたほうがまだ早いだろ。
本気で理解の程度の違いについては、見解の相違だろうから何も言わない。

それでググるって何を？

0246デフォルトの名無しさん

2013/09/13(金) 17:45:49.21

>>245
あんなの3、4流の工学部を出てりゃ十分な素養だから

>それと語彙力だけで簡単に人は測れない。ご教授じゃなくてご教示な。
ご教授じゃなくてご教示だと揚げ足を取ったので、
それが正しい日本だと考えた根拠をググッて参照を明確にした上で煽れ

0247デフォルトの名無しさん

2013/09/13(金) 17:56:03.61

>>246
>あんなの3、4流の工学部を出てりゃ十分な素養だから
なら理系出身で無いなら、素養ないって事になるだろ・・。
自分で限定してどうすんだ。

結局、同一人物なの？
どう見ても自分でURL出して墓穴掘ってるのに、
煽り方がどうとか、論点ずらしのつもりなの？
さっきから変な事言い出すし、気味が悪いんだよ。

0248デフォルトの名無しさん

2013/09/13(金) 17:58:56.12

本物のプログラマはHaskellを使うって本当ですか？

0249デフォルトの名無しさん

2013/09/13(金) 18:01:32.17

>>248
このスレをよく見て判断されるとよろしいんではないでしょうか

0250デフォルトの名無しさん

2013/09/13(金) 18:04:40.58

>>247
>なら理系出身で無いなら、素養ないって事になるだろ・・。
本質的に素養のない人間は自分で何も調べることが出来ず、多分、
君にはそういった素養がないし、haskellなんて使わない方が良いよ。
>どう見ても自分でURL出して墓穴掘ってるのに、
URLを出したことが、どのような墓穴になるのか具体的な根拠は？

>結局、同一人物なの？
便所の落書きに個人なんてものは存在しない。全てが共有されて局所最適解へ向かう。

0251デフォルトの名無しさん

2013/09/13(金) 18:11:00.28

無職ニートは何でRuby、Haskellを勉強してるんですか？

0252デフォルトの名無しさん

2013/09/13(金) 18:18:16.90

>>250
ごめん、もういいや。
ありがとな。時間取らせて悪かった。

0253デフォルトの名無しさん

2013/09/13(金) 18:22:46.95

>>251
技術幅が狭く、意図的に責任の重い仕事を避けれるから

0254デフォルトの名無しさん

2013/09/13(金) 18:43:08.72

>>253
ニヤッとしてしまったｗ

0255デフォルトの名無しさん

2013/09/13(金) 18:56:20.36

「wikipedia見てHaskellのプログラミングできるようになる」は、「ブリタニカ辞典読めば法隆寺を建てられる」と同意

0256デフォルトの名無しさん

2013/09/13(金) 19:04:20.85

法隆寺は無理でも犬小屋のようなものぐらい作れるだろ
関数型の概要だけサラッと学ぶのが不十分なら、
本家のtutorialでも順番に読みつつ手でも動かせば？

0257デフォルトの名無しさん

2013/09/13(金) 19:09:40.21

PrologのWikipediaくらいだと、金堂くらいは建つかな。

0258デフォルトの名無しさん

2013/09/13(金) 19:17:30.38

論理プログラミングの定石学ぶなら「～の技芸」とか読んだ方が良いんじゃない？

0259デフォルトの名無しさん

2013/09/13(金) 19:32:43.27

どこらへんで数学嫌いになったか語ろうぜ
おれ三角関数

0260デフォルトの名無しさん

2013/09/13(金) 19:33:19.73

確率論だな

0261デフォルトの名無しさん

2013/09/13(金) 19:35:40.47

割り算（小声）

0262デフォルトの名無しさん

2013/09/13(金) 19:40:17.57

>>258
「Prologの技芸」いいですね。論理学的な背景の説明も厚いし。

0263デフォルトの名無しさん

2013/09/13(金) 19:43:18.48

ゲームプログラマを目指す高校生がアフィン変換や
クォータニオンぐらい卒業前に独習してるって気付いたとき

0264デフォルトの名無しさん

2013/09/13(金) 19:44:10.60

ゲームプログラマを目指す高校生がアフィン変換や
クォータニオンぐらい卒業前に独習してるって気付いたとき

0265デフォルトの名無しさん

2013/09/13(金) 19:45:55.03

アフィン写像ってあたりまえだけど
affine mapなんだな

0266デフォルトの名無しさん

2013/09/13(金) 19:53:02.97

>>216
Haskellよりは開発効率は高いよ
トラブルシューティングからパフォーマンスチューニングまで
あらゆるノウハウが蓄積されているから「開発効率」は高い

Haskellだとトラブル解決に時間食いまくるだろうね

0267デフォルトの名無しさん

2013/09/13(金) 19:59:25.94

>>266
トラブルの解決には同意するけれども、
コンパイルされるだろうhaskellのパフォーマンスが動的言語より悪いとな？

0268デフォルトの名無しさん

2013/09/13(金) 20:00:34.09

>>266
トラブルの解決には同意するけれども、
コンパイルされるだろうhaskellのパフォーマンスが動的言語より悪いとな？

0269デフォルトの名無しさん

2013/09/13(金) 20:03:10.42

数学の重要性を語り始める、アルゴリズムで数学ができるできないじゃ違う！などと語る（自分が数学ができなさすぎて戒めてる

0270デフォルトの名無しさん

2013/09/13(金) 20:10:16.45

数学について語り始め　数学は大事と戒め始める
論理的な思考に憧れを抱く　女は論理的な思考ができないとバカにし始める　獣と人間の話をし始める
理系に属したがる（注：文系出身で理系職ついてるやつつは文系を利用してギャップ狙いをし文系なのにすげー！！！といわれようとする
スーパープログラマになりたいとわめきだす
無職ニート
RubyとHaskellを学んでいる
難しいことをやりたがる
それって誰でもできるんでしょ？と誰でもできることをバカにする
無職ニートをやり続けこのままでは経歴が作れないのであせりだしネットでウンコプロジェクトを開いて経歴にしようとする

0271デフォルトの名無しさん

2013/09/13(金) 21:01:06.90

よし。無職ニートしか当てはまらないからセーフだ

0272デフォルトの名無しさん

2013/09/13(金) 21:02:07.61

よし。無職ニートしか当てはまらないからセーフだ

0273デフォルトの名無しさん

2013/09/14(土) 00:54:47.58

Leksahを使ってみようと思うのですが、ビルドしたら

>Installing executable(s) in C:\Users\honoka\AppData\Roaming\cabal\bin

で止まってしまって、実行(C+R)しても

>No errors that can be auto resolved

っていうのが返って来てしまいます
何がいけないんですかね…

0274デフォルトの名無しさん

2013/09/14(土) 00:59:17.37

もうcabalは嫌だ

0275デフォルトの名無しさん

2013/09/14(土) 06:56:41.24

キャバルにキャバルものを頂戴

0276デフォルトの名無しさん

2013/09/14(土) 16:51:01.44

さっき最新版をインストールした
だんだんプラットホームのサイズが大きくなってるのが、smalltalkの悪夢の再現のようで怖い

0277デフォルトの名無しさん

2013/09/14(土) 21:35:10.40

2ちゃん●の新システムはHaskellを使ってるらしい

0278デフォルトの名無しさん

2013/09/14(土) 21:42:25.09

不具合起きたらまたPerl忍者に餌与えることになるな

0279デフォルトの名無しさん

2013/09/14(土) 22:25:16.47

perl忍者はjavascriptスレにいるよ

+ JavaScript の質問用スレッド vol.108 +
http://toro.2ch.net/test/read.cgi/hp/1378462421/

ID:J1i2JugH

0280デフォルトの名無しさん

2013/09/15(日) 13:34:10.75

windows に cabal で yesod インストールしたけど、やたらたくさんモジュール使ってるのね

0281デフォルトの名無しさん

2013/09/15(日) 19:59:16.86

>>280
まあnodeのexpressとかも同じですし

0282デフォルトの名無しさん

2013/09/17(火) 22:26:17.81

関西でhaskellの勉強会やってないかな

0283デフォルトの名無しさん

2013/09/17(火) 22:41:39.89

加古川でやってたと思う

0284デフォルトの名無しさん

2013/09/18(水) 14:41:08.65

九州でhaskellのべんｋｙ(ry

0285デフォルトの名無しさん

2013/09/18(水) 19:07:12.63

うどん県でhaskellの(ry

0286デフォルトの名無しさん

2013/09/18(水) 21:14:47.85

いんたーねっとでみんなでべんきょうかい

0287デフォルトの名無しさん

2013/09/18(水) 21:34:48.59

自分で勉強会を開く気はないのか？

0288デフォルトの名無しさん

2013/09/18(水) 21:57:43.04

それでは諸君、議論したまえ

0289デフォルトの名無しさん

2013/09/18(水) 22:14:28.35

ゲームを作ってみようと思い、とりあえず60fpsで
小さなボールが画面中を跳ねまわるデモを作ったんだが、
設計のことでちょっと訊きたい。

ボールの位置と速度のデータを代数データ型にまとめて、
その値を毎フレーム更新してるんだが、
参照透過性が保たれるから当然次々に使用メモリが増えていくと思う。
（更新前のデータは更新後には一切使わないから無駄なんだが）

今はただのデモで１個のボールが飛んでるだけだからいいけど、
実際にゲームを作るとなると、毎フレームかなりの量のデータが更新され、
その都度使用メモリが急激に増えていくのではないかと思う。

Haskell によるゲーム作りってこういうものなの？

それとも、フレーム毎に更新するデータは全て IORef で持つのが普通なの？

0290デフォルトの名無しさん

2013/09/18(水) 22:36:45.08

モナディウスなんかのコードでも眺めたら？

0291デフォルトの名無しさん

2013/09/18(水) 22:43:42.70

FRP使ってるゲームプログラムでBan Patternで細かく正格指定してるのも
メモリ消費問題を抑え込むためなのかな？
さらには diamond 参照問題とかもあるらしいじゃないですかー
理解がおいつかないおっおっおっ

0292デフォルトの名無しさん

2013/09/18(水) 23:21:04.04

モナディウスはそれでメモリリークに苦しんでたけどな

0293デフォルトの名無しさん

2013/09/19(木) 10:33:11.90

ゲームやOSを高級言語だけで記述しようとすると
理想と現実の狭間に陥って...アーメーマー

0294デフォルトの名無しさん

2013/09/19(木) 10:39:04.12

Haskellが効率に苦しんでいるのは
手続き型でできることを抽象化できてないってことなのか
それとも遅延評価デフォだと書きづらいというだけなのか

0295デフォルトの名無しさん

2013/09/19(木) 11:15:18.79

知見が蓄積されてないだけじゃね？

0296デフォルトの名無しさん

2013/09/19(木) 11:42:48.07

オワコンだしなHaskell

0297デフォルトの名無しさん

2013/09/19(木) 11:44:23.70

ウェブはバカと暇人のもの
Haskellはバカと暇人のもの

0298デフォルトの名無しさん

2013/09/19(木) 12:49:40.72

>>297
あまり面白くない

もうちょっと捻ってくれんか

0299デフォルトの名無しさん

2013/09/19(木) 14:24:28.08

まあオワコンなのは事実だろ

0300デフォルトの名無しさん

2013/09/19(木) 14:29:11.37

オワコンwのスレに態々書込にくる、残念な人達。

0301デフォルトの名無しさん

2013/09/19(木) 14:30:27.04

た…態々

0302デフォルトの名無しさん

2013/09/19(木) 15:11:42.79

>>293
quakeつくったプログラマも関数型に興味持ってたよ

0303デフォルトの名無しさん

2013/09/19(木) 15:12:34.28

オワコン

0304Haskellはオワコン

2013/09/19(木) 15:15:33.96

関数型言語は学習コストが高すぎる。

玩具として、研究者や学生の自己満足として、
教科書や黒板を賑わすアクセサリーとして、
あるいは頭の体操としての価値は認める。
だが、仕事ではほとんど使い物にならない。

やれば作れる、実際に作った、そんな言い分は聞き飽きた。
主要なソフトウェアのほとんどは非関数型で書かれている。
関数型がプチブームだが、爆発的に採用が増えているとも考えられない。
いずれ関数型のブームは去るだろう。
仮に関数型が生き残ることがあったとしても、
手続的な言語における一部の機能としてだろう。

0305デフォルトの名無しさん

2013/09/19(木) 15:19:52.73

>>302
ジョン・カーマックか
ググったらHaskellについて話してるらしい公演が見つかったけど
スライドもなくただぶっ続けで話してるだけだからリスニングきついｗ

0306デフォルトの名無しさん

2013/09/19(木) 15:23:20.50

Haskellブームはとっくに去ったけどな。
今熱いのはOCamlだよ。

0307デフォルトの名無しさん

2013/09/19(木) 15:24:02.77

>>302 カーマックはこないだのQuake Conより前から
「関数こそプログラムの本質だ」と言ってたと思うけど出展を思い出せない

0308デフォルトの名無しさん

2013/09/19(木) 15:25:29.45

>>305
カーマックは巻きが入ってもガン無視で話しつづけるから進行泣かせなんよね

0309デフォルトの名無しさん

2013/09/19(木) 17:59:27.24

>>304
ほとんどの大卒はscheme/prologを学んでるから、haskellの学習コストなんて言うほど高くない
はっきり言えば、動的言語がオワコン。

0310デフォルトの名無しさん

2013/09/19(木) 18:59:06.48

普及率で優劣を騙るやつに聞きたいんだけど、その理屈だと2chに書き込んでる自身が、世間ではオワコンでFAだよね？

0311デフォルトの名無しさん

2013/09/19(木) 19:05:33.24

ttp://blog-imgs-54.fc2.com/h/e/r/heroch/201202265.jpg

0312デフォルトの名無しさん

2013/09/19(木) 20:45:44.62

オワコンHaskell

0313デフォルトの名無しさん

2013/09/19(木) 20:54:55.22

OCamlってなに？perlスレでもみたけど
オワコンなんだろ？Haskellはオワコン

0314デフォルトの名無しさん

2013/09/19(木) 20:56:18.89

いや～Haskellオワコンって書かれると必死に影響力を下げまいと
信者がオワコンじゃないよ、みたいに喚くのが自薦の用心棒ってやつだね
オワコンなんだろ？
こんなにオワコンって書かれてる
オワコンだろう
オワコンHaskellはオワコン

0315デフォルトの名無しさん

2013/09/19(木) 21:12:04.55

オワコンっていうけど、始まってもいないだろ…

0316デフォルトの名無しさん

2013/09/19(木) 21:44:05.26

ハスケルは蛹のまま動かなくなってしまいました
人々は落胆しその場を立ち去りました

季節は巡り、ある暑い日のことです
人々がハスケルを見捨てたのも忘れていたその場所を通りかかった所でした

そこには妖しくこの世の常のものとも思えぬ冬虫夏草が生えていました

0317デフォルトの名無しさん

2013/09/19(木) 21:51:22.91

これは何かの引用？

0318デフォルトの名無しさん

2013/09/19(木) 22:14:16.10

オワコスキー

0319デフォルトの名無しさん

2013/09/19(木) 22:47:59.91

糞言語Haskell
使う価値生し

0320デフォルトの名無しさん

2013/09/19(木) 23:15:33.28

>>317
俺の即興だけど、それを知ってなんになるの？

0321デフォルトの名無しさん

2013/09/19(木) 23:50:59.57

糞過疎Haskell
オワコン

0322デフォルトの名無しさん

2013/09/20(金) 00:11:23.40

ハスケルに足りないものは何か？

0323デフォルトの名無しさん

2013/09/20(金) 00:15:23.68