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

1 ：2013/08/10 〜 最終レス ：2013/09/25

関数型プログラミング言語 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/

2 ：

過去ログ(〜9)
Part9 ttp://pc11.2ch.net/test/read.cgi/tech/1211010089/
Part8 ttp://pc11.2ch.net/test/read.cgi/tech/1193743693/
Part7 ttp://pc11.2ch.net/test/read.cgi/tech/1174211797/
Part6 ttp://pc11.2ch.net/test/read.cgi/tech/1162902266/
Part5 ttp://pc8.2ch.net/test/read.cgi/tech/1149263630/
Part4 ttp://pc8.2ch.net/test/read.cgi/tech/1140717775/
Part3 ttp://pc8.2ch.net/test/read.cgi/tech/1076418993/
Part2 ttp://pc2.2ch.net/test/read.cgi/tech/1013846140/
Part1 ttp://pc.2ch.net/tech/kako/996/996131288.html

3 ：

関連書籍
・Introduction to Functional Programming Using Haskell (2nd ed.)
　http://www.amazon.co.jp/exec/obidos/ASIN/0134843460/
・Haskell: The Craft of Functional Programming
　http://www.amazon.co.jp/exec/obidos/ASIN/0201342758/
・The Fun of Programming
　http://www.amazon.co.jp/exec/obidos/ASIN/0333992857/
・The Haskell School of Expression: Learning Functional Programming Through Multimedia
　http://www.amazon.co.jp/exec/obidos/ASIN/0521644089/
・入門Haskell
　http://www.amazon.co.jp/exec/obidos/ASIN/4839919623/
・ふつうのHaskellプログラミング
　http://item.rakuten.co.jp/book/4052963/
・Programming in Haskell
　http://www.amazon.co.jp/exec/obidos/ASIN/0521692695/
・Real World Haskell
　http://www.amazon.co.jp/exec/obidos/ASIN/0596514980
・関数プログラミングの楽しみ
　http://www.amazon.co.jp/exec/obidos/ASIN/4274068056
・すごいHaskellたのしく学ぼう!
　http://www.amazon.co.jp/dp/4274068854

4 ：

関連リンク
・GHC Wiki
　http://hackage.haskell.org/trac/ghc/wiki/TitleIndex
・A History of Haskell
　http://research.microsoft.com/en-us/um/people/simonpj/papers/history-of-haskell/
・関数型関連の用語集
　http://sky.zero.ad.jp/~zaa54437/programming/concepts/
・本物のプログラマはHaskellを使う
　http://itpro.nikkeibp.co.jp/article/COLUMN/20060915/248215/?ST=ittrend
・Haskell API search Engine
　http://www.haskell.org/hoogle/
　【簡単な使い方】
　１．検索バーに関数名を入れて検索
　　例　map
　２．検索バーに型名を入れて検索
　　例　(a -> b) -> [a] -> [b]
・Real World Haskell
　http://book.realworldhaskell.org/read/
・Learn You a Haskell for Great Good!
　http://learnyouahaskell.com/chapters

5 ：

OCamlはもうすぐReal World OCaml出るらしいが、Haskellはなんかないんかね
今ある本って初心者向け以外は古いよね

6 ：

Real World Haskell 改訂版か...それが今一番望まれてる？

7 ：

もっとすごいH本ではなかろうか

8 ：

並列、並行
http://chimera.labs.oreilly.com/books/1230000000929
Yesod
http://www.yesodweb.com/book
の本は結構あたらしい

9 ：

イカ娘本買ってきて

10 ：

三:=>

11 ：

オラHaskellでゲーム作るぞと意気込んでたけど
副作用がある部分書こうとするととたんに面倒になるからだんだん飽きてきたぞ

12 ：

"Haskell Arrow"でググったらwhitehackerzのサイトが出てきて
人生の貴重な10秒間をゴミみたいな茶番で無駄にしたんだが
あとGoogleのサイトブロック機能使えなくなってるじゃねえかあーくそ

13 ：

新スレおめでとうございます＾＾

14 ：

>>8
最初の、翻訳版は？

15 ：

ここの人はScala触ったりしないの？
Javaの資産使えたりEclipse使えたり本もHaskellより多そう
俺は勉強中の身なんでHaskellに集中します

16 ：

遅延評価デフォの方が面白い
実用的かどうかは知らんが

17 ：

ScalaはJavaの資産そのままそっくりというわけにはいかない
標準のフレームワークが(結構)重い
そしてHaskellのクラス/インスタンスみたいのをやろうとすると面倒
JVMで動くだけでかなり魅力的だけどね

18 ：

JVM上で動く実用的なHaskell処理系ってあるのかな？

19 ：

Fregeは結構本気でHaskellをJVMに、って感じでやってるんじゃないの？
使ったことないので言語仕様がどうとかは知らない

20 ：

アセンブラのように低レベルじゃない中途半端な言語使って
製品にも昇華できない
>・本物のプログラマはHaskellを使う
>//itpro.nikkeibp.co.jp/article/COLUMN/20060915/248215/?ST=ittrend
こんなのを誇らしげにテンプレに入れてる
ほかのテンプレの質も低下してる
ゴミが増えてる
論理力も無く、話に一貫性も無く、支離滅裂で感情論たれ流しで、ユーモアも無く、具体的な話しかできない

21 ：

誇らしげだとか質が低下だとか言うけど、前スレのをコピペしただけだよ。
荒らしたがってる所ごめんね。

22 ：

つ鏡
と思ったが俺のことが書いてある。

23 ：

ユーモアは関係ないだろ！！！

24 ：

ユーモアは大切じゃね？

25 ：

バーナム効果にひっかかるゴミクズ

26 ：

論理力って何？論理性なら知ってるけど（アスペ）

27 ：

論理を正しく使う能力のことを言いたいんじゃね？

28 ：

アスペルガー症候群＝天才
イメージが蔓延
天才のフリをする自称アスペが後を絶たない

29 ：

べつにいいんじゃね
天才のフリを見ぬかれるのならバカだし、見ぬかれないのなら天才なんだよ

30 ：

高齢者にもHaskellが大ウケ
http://www.sankeibiz.jp/smp/business/news/130817/bsj1308170700001-s.htm

31 ：

諸君、議論したまえ

32 ：

諸君、

33 ：

すごいHaskell〜を読み終えたんだが、他に何読むといい？
理論派なんで難しければ難しいほど嬉しい。

34 ：

日本語じゃないとダメなの？

35 ：

「関数プログラミングの楽しみ」
「関数プログラミング入門 ―Haskellで学ぶ原理と技法―」
前者が難しいと感じたら後者で勉強する方向で。
あるいは自称理論派ならHaskellなんかやめて依存型にでも進めば？和書はAgdaもCoqも一切ないけど。

36 ：

ありがとうございます。英語は全くわからないので。。。
関数プログラミングの楽しみを読みたいと思います。

37 ：

ちょっと補足しておくと
「関数プログラミングの楽しみ」はその道の研究者が出してるおもしろ論文集みたいなもの
関数プログラミングについてもかなり分かっていて研究論文も普通に読みこなせるレベルの人が読むもの
もし関数プログラミングに触れたのはすごH本が初めて、というのなら
「関数プログラミング入門(IFPH)」を読んでも得るものは大きいはず
あとは多少英語苦手でも関数プログラミングを極める上でなんとしても読むべきって感じなのは
Purely Functional Data Structure(PFDS)とPearls of Functional Algorithm Design(PFAD)
検索してみたらPFADはIFPH訳者の山下伸夫さんが翻訳してるらしいのでそれが本になるのを待つのもありかもね
http://partake.in/events/439f62de-94ae-48d2-a4d8-f931fe26a278

38 ：

Pearls 〜日本語版読みたい！

39 ：

Haskell初心者です
HaskellはIOモナドを用いることで参照透明性を保ったまま入出力を扱える言語だと聞きました
しかしDebug.Traceという関数にはそれ自体に副作用があり参照透明性が守られていないと知りました
http://blog.booklive.jp/?p=225
「Haskellでは絶対に参照透明性が保たれる」は正しくないということでしょうか？

40 ：

何事にも例外はある

41 ：

別人ですけど、副作用部分って出力だけだから参照透明性が保たれてるように見えるけど
そういう場合も保たれてないってことになるのはなんでです？
副作用がある時点で何が起こるかわからないから？

42 ：

trace :: String -> a -> a
この関数は参照透明ではありません。
型情報ではこの関数は純粋関数であると表明されていますが、トレース文字列の出力という副作用を有しています。
> The function is not referentially transparent:
> its type indicates that it is a pure function but it has the side effect of outputting the trace message.
http://www.haskell.org/ghc/docs/7.6-latest/html/libraries/base-4.6.0.1/Debug-Trace.html#v:trace

43 ：

>>42
純粋でない操作を行った時点で参照透過じゃないんですね。
まだ頭がついていってないですが、意味の理解はできました。
ありがとうございました。

44 ：

種が*->*になるように型[a]をクラスのインスタンスにするには
"instance Functor [] where" などと書けばいいですが
型[(a,a)]をクラスのインスタンスにするにはどうすれば良いでしょうか
気持ちとしては
instance Functor (\a -> [(a,a)]) where
...
なのですが…(Functorはあくまで*->*の一例です)
newtypeやdataは型構成子を書いたり余計な記述が増えるので使いたくありません

45 ：

無理

46 ：

なんで？

47 ：

しらね

48 ：

>>40
汚い流石大人汚い

49 ：

>>46
型レベルにラムダはないし、それに代わるものもないから

50 ：

遅延評価って要はメモリスタックしないって事でいいの？

51 ：

メモリスタックってなんだ？

52 ：

間違い
スタックオーバーフロー

53 ：

違う
遅延評価はそのような利点も持つ場合があるが
定義としては式の簡約の仕方（最外簡約）のこと

54 ：

え、「遅延評価」 と 「最外簡約」 は同値？

遅延評価なら最外簡約、最外簡約なら遅延評価ってこと？

55 ：

サンク溜まってオーバーフローあるじゃん

56 ：

>>55
初めて知った。そんなのあるんか。
サンクサイズってどこで指定するんだ？

57 ：

物理的等価性，構造的等価性の違いみたいなもん？？
頭こんがらがってきた

58 ：

無駄な計算リソースを割かないために
誰かが実際に触れる時までは実行・計算しないという評価方式
スタックオーバーフローは関係ない
末尾再帰でもしてなきゃ普通に起こる

59 ：

例えばmap使って（これって末尾再帰じゃないよね？）
リストでゴリゴリ計算してればオーバーフロー起きるの？

60 ：

試しに誰か
オーバーフローが起きる
短い関数を書いて欲しい

61 ：

foldl

62 ：

>>60
http://ideone.com/h9Pr5n

63 ：

>>59
正格な値に畳み込まなければオーバーフローしない

64 ：

オーバーフローしないんじゃなくて
そういう計算を避けて通れる場合があるってだけだ

65 ：

正格な値に畳み込まなくてもオーバーフローする

66 ：

サンク溜まってオーバーフローするのはスタックじゃなくてヒープじゃね？

67 ：

マシンスタックのみをスタックと呼ぶ風潮？

68 ：

サンク溜まってオーバーフローって具体的にどうすれば起こるの？
サンクってそんなに大幅に増減しないような気がするけど

69 ：

誰も気にしてないけどghcのディスク使用量って大き過ぎないか？
約750MBのうち、280MBがプロファイル付きのスタティックライブラリ(foo-x.yy_p.a)で、
180MBが普通のスタティックライブラリ(foo-x.yy.a)ってのはどうなのよ。

70 ：

誰も気にしてないから別にいいんじゃね

71 ：

ghci みたいにカーソルキーとかで履歴だしたりするインタプリタを実装するにはどうすればいいんだ？

72 ：

>>71
readlineの事なら普通に実装してからrlwrapでも噛ませばいい

73 ：

ghciが使ってるのはhaskeline

74 ：

>>73
GPLの魔の手がこんなところにも・・・

75 ：

>>72
>>73
ありがとう

76 ：

お前らこんなクソ言語使ってないで
javascriptで便利なプラグインとか作ってくれよ
ほんまつかえねーわ

77 ：

君がクソ言語と言って投げ出した言語の方が面白い

78 ：

>>77
気持ちはわかるがスルーしてくれ

79 ：

>>76
ドカタは黙って底辺で働いてろよ

80 ：

パールドカタ最近見ないな

81 ：

勉強しててこんなにワクワクする言語は俺の中では無かった

82 ：

「パール=ド=型」不純なものを隔離するための型。フランス語を語源とする

83 ：

なんか、恥ずかしくなってくるから、正直そういうのやめないか

84 ：

2012年 ビッグデータ/Hadoopブーム
ってのがありました
日本のHaskellユーザーはそのブームで作り上げられた人間でしかない

85 ：

2007年あたりにブームになった後
最近また見掛けるなったと思ったら
Hadoopなのか？

86 ：

洗脳が解かれるのも時間の問題だな
より強い洗脳をしないといけない
そして>>84みたいなやつを消さないといけない

87 ：

寒い自演だな

88 ：

cyokodog/jquery.ex-table-filter

89 ：

「すごいhaskellたのしく学ぼう」の2版で入った正誤表ってどこにあるの？
オーム社で電子版買わなかったらアウトやん

90 ：

amazon差額3$で電子版サービス日本でもやらないかなぁ

91 ：

>>89
2版じゃなくて2刷だろｗびびったｗ
手元にある4刷では修正されていたよ
おかしいと思うところがあるなら、原著のページで確認すればいいよ
http://learnyouahaskell.com/chapters

92 ：

第1版第1刷　13.1 アプリカティブファンクターを強化する
ファンクターを導入した動機は、「a -> b 型の関数と、 f a というデータ型があるとして、
どうすれば等の関数を f a から f a への関数に変換できるだろう？」というものでした。
We saw that for this purpose, the Functor type class was introduced
and it had us asking the question: when we have a function of type a
-> b and some data type f a, how do we map that function over the data
type to end up with f b?

93 ：

いや、ちょっとまて...
やっぱり正誤表くらい出してほしいよ。

94 ：

☓：どうすれば等の関数を f a から f a （←誤入力？？）
○：どうすれば当の関数をf a から f b （第4刷）
英語の勉強にもなるし、ものは考えようだよ
オーム社にメールしてみれば対応してくれそうだけど、言わなきゃ絶対に対応してくれないぞ
出版社は少ない人数で業務をまわしているっていうし、ましてHaskell本なんてマイナーだからね

95 ：

いや、1刷だと「f a から f a」なんだよ。
正誤表きっちり出すのが出版に携わる者の役目だとばかり思ってたけど
俺年取ったんだなぁ...

96 ：

13.4の「うゎぁああああああ落ちるぅぅうううああああ」
って原著をそのまま訳したものだとばかり思っていたけど、邦訳で追加されたんだなｗ
ふざけすぎだろｗ

97 ：

くうかい？
とかも邦訳にしかなかったな

98 ：

10円と100円と1000円の買い物をした時に
払う金額のリストを考えてみました
map(sum)[[x,y,z]|x<-[0,10],y<-[0,100],z<-[0,1000]]
これを任意の組に拡張するには
どういう方法があるでしょうか？

99 ：

>>98
こういうこと？
import Control.Monad
f :: [(Int, Int)] -> [Int]
f = map sum . filterM (\_ -> [True, False]) . concatMap (uncurry $ flip replicate)
main = print . f $ [(10,1), (100,1), (1000,1)] -- 10円を1点、100円を1点、1000円を1点

100read 1read

1read 100read
TOP カテ一覧 スレ一覧 2ch元 削除依頼 ▲

【SL4】Windows Phone 7 ｱﾌﾟﾘ開発ｽﾚ Part4【XNA】 (429)
【コボル】COBOL不要論【ただのDSLだよね?】 (353)
【QBASIC互換!?】FreeBasic【GPL】 (530)
OpenMPプログラミング (393)
HSP総合スレ【part 5】 (392)
【SL4】Windows Phone 7 ｱﾌﾟﾘ開発ｽﾚ Part4【XNA】 (429)
--log9.info------------------
まともなＲＡＤファンCome on (131)
何でギターはスタジオですぐピロピロ始めちゃうの？ (221)
女のロックギタリストが絶滅危惧種な件について (299)
バンド募集してもドラムがこない★２ (164)
山口のバンド事情 (190)
Rス新谷をしばく (165)
北九州で凄いバンドつくんね？ (104)
理想のライブハウス！ (294)
★大人数でバンドやらね？ Part2★ (223)
ステージドリンク何飲んでる？ (247)
和歌山限定ﾊﾞﾝﾄﾞ事情ｽﾚ★☆ (364)
文化祭で盛り上がる曲 (584)
鹿児島のバンド事情　其の九 (935)
ミュージシャンの印税 (103)
ライブで帰れコールが巻き起こったｗｗ (128)
グルーヴって何？ (723)
--log55.com------------------
三重県JR伊勢鉄43【関西(名古屋 亀山)紀勢参宮名松】
西武鉄道車両総合スレッド Part48
首都圏の鉄道利用者は転換クロスシート車両での無料優等列車の充実を要求している
ギャハハハ！ 東日本擁護派が各スレでどつき回されまくっとるわ（新爆笑）
皆様一緒に「東日本をぶっ壊す」 by立花
小田急電鉄を語ろう!Part167
【都心】 相鉄・JR ＆ 相鉄・東急 新横浜線 Part67【直通】
北陸新幹線敦賀以西ルートスレ★264