関数型プログラミング言語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元 削除依頼 ▲

OpenWatcom C++ (754)
Java低速GUI Swing & JavaFX 10 (828)
【SL4】Windows Phone 7 ｱﾌﾟﾘ開発ｽﾚ Part4【XNA】 (429)
Google NaCl プログラミング 2mol (312)
米国国防省の標準高等言語エイダ（Ａｄａ）を語れ！ (809)
くだすれPython(超初心者用) その18 (440)
--log9.info------------------
【BIG ECHO】ビッグエコー Part.4 (251)
ミックスボイス判定スレ48 (102)
自分の声が好きな人 (603)
男が女声で歌うには？part38 (816)
【ヒトカラ】一人でカラオケに行こう！271店舗目 (368)
【ROUND1】ラウンドワンのカラオケ店 2店舗目 (200)
ビブラートが出来るようになった人の話を聞きたい (490)
カラオケで見られるオススメのPV・アニメ映像 5 (393)
【うたスキ】ゴリア６スダレ目【+9隔離】 (201)
新村ボイス (516)
「うたぶたい」を見守るスレ (320)
てりおす評価村85(つ´∀｀)つ (518)
【プロフ実装】DAM★とも 37【何を書く？】 (250)
【声帯】Dir en greyを叫び尽くせ33?【裂傷】 (236)
オク下が発覚した奴が絶望し再び歩き出すスレ33 (929)
俺様がクソねこ▲▲様だ！　パート２ (569)
--log55.com------------------
中央大学法学部都心回帰は高野山大学難波サテライト形式で実現させよう
【私立大学裁可順】�@早稲田�A慶應�B中央�C日大�D法政�E明治【明治は6番目wwwwwwwwww】
反駅の早田速人　スーパースレッドPart 92
旧制の学制/大昔凄かった学校Part8
早稲田と東北大の千の違い
【低学歴詐欺師】再受験秋田大出身早田テイノウ（63）をサンドバッグにして遊ぶスレ【学歴経歴詐称】
マーチ関関同立 格付け
道州制は地域性や言語など語り継がれるべき